(Last updated: 2014/04/22)
Tue, April 22
| 13.00 - 18.30 |
Registration Desk (main entrance)
|
||
|
14.00 - 15.00 |
FOAL: Keynote (auditorium)
Chair: Gary T. Leavens
|
||
| 15.00 - 15.30 |
Coffee break
|
||
| 15.30 - 17.30 |
FOAL: Papers (auditorium) Event-based Modularization
(Somayeh Malakuti, Mehmet Aksit)
Static Verification of PtolemyRely Programs Using OpenJML
(Jose Sanchez, Gary Leavens)
Specification of Domain-Specific Languages Based on Concern Interfaces
(Matthias Schöttle, Omar Alam, Gunter Mussbacher, Jörg Kienzle)
Context Holders: Realizing Multiple Layer Activation Mechanisms in a Single Context-Oriented Language
(Tomoyuki Aotani, Tetsuo Kamina, Hidehiko Masuhara)
ECAlogic: Hardware-Parametric Energy-Consumption Analysis of Algorithms
(Marc Schoolderman, Jascha Neutelings, Rody Kersten, Marko van Eekelen)
|
Demos (room 351) TouchRAM: A Multitouch-Enabled Software Design Tool Supporting Concern-Oriented Reuse
(Matthias Schöttle, Omar Alam, Franz-Philippe Garcia, Gunter Mussbacher, Jörg Kienzle) Finding Bugs in Program Generators by Dynamic Analysis of Syntactic Language Constraints
(Sebastian Erdweg, Vlad Vergu, Mira Mezini, Eelco Visser) Modularizing Crosscutting Contracts with AspectJML
(Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeb, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm)
iArch: An IDE for Supporting Fluid Abstraction
(Di Ai, Naoyasu Ubayashi, Peiyuan Li, Daisuke Yamamoto, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei)
Neverlang 2 - A Framework for Modular Language Implementation
(Edoardo Vacchi, Diego Mathias Olivares, Albert Shaqiri, Walter Cazzola)
|
Student Research Competition |
| 18.00 onwards |
Reception with posters
|
||
Wed, April 23
| 8.00 - 17.00 |
Registration Desk (main entrance)
|
||
| 8.50 - 9.00 |
Opening (auditorium)
|
||
| 9.00 - 10.00 |
Keynote (auditorium)
Chair: Hidehiko Masuhara
(Eelco Visser) |
||
| 10.00 - 10.30 |
Coffee break
|
||
| 10.30 - 12.30 |
Session: Language Mechanisms I (auditorium) Delegation Proxies: The Power of Propagation
(Erwann Wernli, Oscar Nierstrasz, Camille Teruel, Stéphane Ducasse)
Composable User-Defined Operators That Can Express User-Defined Literals
(Kazuhiro Ichikawa, Shigeru Chiba)
REScala: Bridging Between Object-oriented and Functional Style in Reactive Applications
(Guido Salvaneschi, Gerold Hintz, Mira Mezini)
FlowR: Aspect Oriented Programming for Information Flow Control in Ruby
(Thomas F. J.-M. Pasquier, Jean Bacon, Brian Shand)
|
||
| 12.30 - 14.30 |
Lunch
|
||
|
14.30 - 16.30 |
Session: Software Evolution (auditorium)  Assessing Modularity using Co-Change Clusters(Luciana Lourdes Silva, Marco Tulio Valente, Marcelo de A. Maia) Awarded as Best Paper of Modularity'14 Blending and Reusing Rules for Architectural Degradation Prevention
(Alessandro Gurgel, Isela Macia, Alessandro Garcia, Arndt von Staa, Mira Mezini, Michael Eichberg, Ralf Mitschke)
Automated Software Remodularization Based on Move Refactoring - A Complex Systems Approach
(Marcelo Serrano Zanetti, Claudio Juan Tessone, Ingo Scholtes, Frank Schweitzer)
Session: Modularity Visions (auditorium) Context-Oriented Software Engineering: A Modularity Vision
(Tetsuo Kamina, Tomoyuki Aotani, Hidehiko Masuhara, Tetsuo Tamai)
|
Demos (room 351) TouchRAM: A Multitouch-Enabled Software Design Tool Supporting Concern-Oriented Reuse
(Matthias Schöttle, Omar Alam, Franz-Philippe Garcia, Gunter Mussbacher, Jörg Kienzle)
Finding Bugs in Program Generators by Dynamic Analysis of Syntactic Language Constraints
(Sebastian Erdweg, Vlad Vergu, Mira Mezini, Eelco Visser) Modularizing Crosscutting Contracts with AspectJML
(Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeb, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm) iArch: An IDE for Supporting Fluid Abstraction
(Di Ai, Naoyasu Ubayashi, Peiyuan Li, Daisuke Yamamoto, Yu Ning Li, Shintaro Hosoai, Yasutaka Kamei) Neverlang 2 - A Framework for Modular Language Implementation
(Edoardo Vacchi, Diego Mathias Olivares, Albert Shaqiri, Walter Cazzola) |
|
Thu, April 24
| 8.00 - 15.30 |
Registration Desk (main entrance)
|
||
| 8.50 - 9.00 |
Chair: David H. Lorenz
|
||
| 9.00 - 10.00 |
Keynote (auditorium)
Chair: Shigeru Chiba
|
||
| 10.00 - 10.30 |
Coffee break
|
||
| 10.30 - 12.00 |
Session: Understanding Programmers (auditorium) Type Names without Static Type Checking already Improve the Usability of APIs (As Long as the Type Names are Correct) - An Empirical Study
(Samuel Spiza, Stefan Hanenberg) How Do Programmers Use Optional Typing? An Empirical Study
(Carlos Souza, Eduardo Figueiredo) An Empirical Study on How Developers Reason about Module Cohesion
(Bruno C. da Silva, Claudio N. Sant'Anna, Christina von F. G. Chavez) |
||
| 12.00 - 13.30 |
Lunch
|
||
| 13.30 - 15.00 |
Session: The Meaning of Programs (auditorium) Compositional Reasoning About Aspect Interference
(Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter)
Reusable Components of Semantic Specifications
(Martin Churchill, Peter D. Mosses, Paolo Torrini)
AspectJML: Modular Specification and Runtime Checking for Crosscutting Contracts
(Henrique Rebêlo, Gary T. Leavens, Mehdi Bagherzadeh, Hridesh Rajan, Ricardo Lima, Daniel M. Zimmerman, Márcio Cornélio, Thomas Thüm)
|
||
| 15.00 onwards |
Excursion + banquet
|
||
Fri, April 25
| 8.00 - 16.00 |
Registration Desk (main entrance)
|
||
| 8.50 - 9.00 |
Best Paper Award and Winner of the Student Research Competition (auditorium)
Chairs: Erik Ernst and Christoph Bockisch
|
||
| 9.00 - 10.00 |
Keynote (auditorium)
Chair: Naoyasu Ubayashi
|
||
| 10.00 - 10.30 |
Coffee break
|
||
| 10.30 - 12.30 |
Session: Software Product Lines (auditorium) Probabilistic Model Checking for Energy Analysis in Software Product Lines
(Clemens Dubslaff, Sascha Klüppelholz, Christel Baier)
Systematic Derivation of Static Analyses for Software Product Lines
(Jan Midtgaard, Claus Brabrand, Andrzej Wasowski)
Session: Concurrency (auditorium)
Chair: Gary T. Leavens Aspectual Session Types
(Nicolas Tabareau, Mario Südholt, Éric Tanter)
JEScala: Modular Coordination with Declarative Events and Joins
(Jurgen M. Van Ham, Guido Salvaneschi, Mira Mezini, Jacques Noyé)
|
||
| 12.30 - 14.30 |
Lunch
|
||
| 14.30 - 16.00 |
Session: Language Mechanisms II (auditorium) Designing Information Hiding Modularity for Model Transformation Languages
(Andreas Rentschler, Dominik Werle, Qais Noorshams, Lucia Happe, Ralf Reussner)
JavaScript Module System: Exploring the Design Space
(Junhee Cho, Sukyoung Ryu)
Modular Specification and Dynamic Enforcement of
Syntactic Language Constraints when Generating Code
(Sebastian Erdweg, Vlad Vergu, Mira Mezini, Eelco Visser)
|
||
| 16.00 - 16.10 | Closing (auditorium) | ||
| 16.10 - 16.30 |
Ice cream
|
||