Session 1: DSLs & Applications

Wednesday 11:00-12:30 (90m)
Chair: Jacques Klein

Reify Your Collection Queries for Modularity and Speed!

Paolo G. Giarrusso, Klaus Ostermann, Michael Eichberg, Ralf Mitschke, Tillmann Rendel, Christian Kaestner

Supporting Data Aspects in Pig Latin

Curtis Dyreson, Omar Florez, Akshay Thakre

KFusion: Optimizing Data Flow without Compromising Modularity

Liam Kiemele, Celina Gibbs, Aaron Gulliver, Yvonne Coady

Session 2: Modularity Visions

Wednesday 14:00-15:00 (60m)
Chair: David H. Lorenz

Reactive Behavior in Object-oriented Applications: an Analysis and a Research Roadmap

Guido Salvaneschi and Mira Mezini

+ comments of experts on the vision

Session 3: Modularity and Software Engineering

Thursday 11:00-12:30 (90m)
Chair: Walter Cazzola

Enhancing Design Models with Composition Properties: A Software Maintenance Study

Francisco Dantas, Alessandro Garcia, Jon Whittle, Joao Araujo

Model-Driven Adaptive Delegation

Phu H. Nguyen, Gregory Nain, Jacques Klein, Tejeddine Mouelhi, Yves Le Traon

Refactoring Delta-Oriented Software Product Lines

Oliver Richers, Sandro Schulze, Ina Schaefer

Session 4: Modularity and Software Architecture

Thursday 14:00-15:30 (90m)
Chair: Robert Hirschfeld

Modular Specification and Checking of Structural Dependencies

Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia, Isela Macia

Using Roles to Model Crosscutting Concerns

Fernando Sergio Barbosa, Ademar Aguiar

Aggregation for Implicit Invocations

Sebastian Frischbier, Alessandro Margara, Tobias Freudenreich, Patrick Eugster, David Eyers, Peter Pietzuch

Session 5: Verification and Debugging

Thursday 16:00-17:30 (90m)
Chair: Shigeru Chiba

Specification and Verification of Event Detectors and Responses

Cynthia Disenfeld, Shmuel Katz

Past Expression: Encapsulating Pre-states at Post-conditions by Means of AOP

Jooyong Yi, Robby Robby, Xianghua Deng, Abhik Roychoudhury

A Pointcut Language for Setting Advanced Breakpoints

Haihan Yin, Christoph Bockisch, Mehmet Aksit

Session 6: Formal Reasoning about Modularity

Friday 11:00-12:30 (90m)
Chair: Mario Südholt

Secure and Modular Access Control with Aspects

Rodolfo Toledo, Eric Tanter

A Typed Monadic Embedding of Aspects

Nicolas Tabareau,Ismael Figueroa, Eric Tanter

On Exceptions, Events and Observer Chains

Mehdi Bagherzadeh, Hridesh Rajan, Ali Darvish

Session 7: Advances in Language Design

Friday 14:00-15:00 (60m)
Chair: Eric Bodden

Method Slots: Supporting Methods, Events, and Advices by a Single Language Construct

YungYu Zhuang, Shigeru Chiba

Context Traits: Dynamic Behaviour Adaptation Through Run-Time Trait Recomposition

Sebastian Gonzalez, Kim Mens, Marius Colacioiu, Walter Cazzola