MODULARITY: aosd•13 > Program: Papers Program

Papers Program

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