MODULARITY:aosd•2012

Hasso-Plattner-Institut Potsdam, Germany, March 25–30, 2012

Papers Program

Research Results and Modularity Visions

Session 1: Features
Chair: David Lorenz

Separation of Concerns in Feature Modeling: Support and Applications (Research results)
Mathieu Acher, University of Namur
Philippe Collet, University of Nice Sophia Antipolis
Philippe Lahire, University of Nice Sophia Antipolis
Robert France, Colorado State University Fort Collins
Intraprocedural Dataflow Analysis for Software Product Lines (Research results)
Claus Brabrand, IT University of Copenhagen
Márcio Ribeiro, Federal University of Pernambuco
Társis Tolêdo, Federal University of Pernambuco
Paulo Borba, Federal University of Pernambuco
Features and Object Capabilities: Reconciling Two Visions of Modularity (Modularity visions)
Salman Saghafi, Worcester Polytechnic Institute
Kathi Fisler, Worcester Polytechnic Institute
Shriram Krishnamurthi, Brown University

Session 2: Debugging
Chair: Wouter Joosen

Two-Way Traceability and Conflict Debugging for AspectLTL Programs (Research results)
Shahar Maoz, RWTH Aachen
Yaniv Sa'ar, Weizmann Institute of Science
A Debug Interface for Debugging Multiple Domain Specific Aspect Languages (Research results)
Yoav Apter, The Open University Of Israel
David Lorenz, The Open University Of Israel
Oren Mishali, The Open University Of Israel
A Fine-Grained Debugger for Aspect-Oriented Programming (Research results)
Haihan Yin, University of Twente
Christoph Bockisch, University of Twente
Mehmet Aksit, University of Twente

Session 3: Languages
Chair: Mario Südholt

A Monadic Interpretation of Execution Levels and Exceptions for AOP (Research results)
Nicolas Tabareau, Inria
Adaptable Generic Programming with Required Type Specifications and Package Templates (Research results)
Eyvind W. Axelsen, University of Oslo
Stein Krogdahl, University of Oslo
Do We Really Need to Extend Syntax for Advanced Modularity? (Modularity visions)
Shigeru Chiba, Tokyo Institute of Technology
Michihiro Horie, Tokyo Institute of Technology
Kei Kanazawa, Tokyo Institute of Technology
Fuminobu Takeyama, Tokyo Institute of Technology
Yuuki Teramoto, Tokyo Institute of Technology

Session 4: Interference
Chair: Mira Mezini

A Closer Look at Aspect Interference and Cooperation (Research results)
Cynthia Disenfeld, Technion
Shmuel Katz, Technion
Management of Feature Interactions with Transactional Regions (Research results)
Thomas Cottenier, UniqueSoft, LLC
Aswin Van Den Berg, UniqueSoft, LLC
Thomas Weigert, Missouri University of Science and Technology
Method Shelters: Avoiding Conflicts among Class Extensions Caused by Local Rebinding (Research results)
Shumpei Akai, Tokyo Institute of Technology
Shigeru Chiba, Tokyo Institute of Technology

Session 5: Empirical
Chair: Stefan Udo Hanenberg

An Exploratory Study of the Design Impact of Language Features for Aspect-oriented Interfaces (Research results)
Robert Dyer, Iowa State University
Hridesh Rajan, Iowa State University
Yuanfang Cai, Drexel University
Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines for Robustness Testing (Research results)
Shaukat Ali, Simula Research Laboratory and The University of Oslo
Tao Yue, Simula Research Laboratory
Zafar Malik, Academy of Educational Planning and Management, Ministry of Education
Are Automatically-Detected Code Anomalies Relevant to Architectural Modularity? An Exploratory Analysis of Evolving Systems (Research results)
Isela Macia Bertrán, Pontifical Catholic University of Rio de Janeiro
Joshua Garcia, University of Southern California
Daniel Popescu, University of Southern California
Alessandro Garcia, Pontifical Catholic University of Rio de Janeiro
Nenad Medvidovic, University of Southern California
Arndt Von Staa, Pontifical Catholic University of Rio de Janeiro

Session 6: Modularity in Systems Software
Chair: Michael Haupt

LARA: An Aspect-Oriented Programming Language for Embedded Systems (Research results)
João Cardoso, Universidade do Porto
Tiago Carvalho, Universidade do Porto
José Coutinho, Imperial College London
Wayne Luk, Imperial College London
Ricardo Nobre, INESC-ID
Pedro Diniz, INESC-ID
Zlatko Petrov, Honeywell International s.r.o.
ContextErlang: Introducing Context-oriented Programming in the Actor Model (Research results)
Guido Salvaneschi, Politecnico di Milano
Carlo Ghezzi, Politecnico di Milano
Matteo Pradella, Politecnico di Milano
Fine-grained Modularity and Reuse of Virtual Machine Components (Modularity visions)
Christian Wimmer, University of California, Irvine
Stefan Brunthaler, University of California, Irvine
Per Larsen, University of California, Irvine
Michael Franz, University of California, Irvine

Session 7: Architecture and Design
Chair: Eric Bodden

Multi-View Refinement of AO-Connectors in Distributed Software Systems (Research results)
Steven Op de beeck, KU Leuven
Marko van Dooren, KU Leuven
Bert Lagaisse, KU Leuven
Wouter Joosen, KU Leuven
Weaving Dynamical Aspects in HiLA (Research results)
Gefei Zhang, Arvato Systems
Matthias Hölzl, LMU Munich

Session 8: Implementing Languages
Chair: Hidehiko Masuhara

An Object-oriented Framework for Aspect-oriented Languages (Research results)
Marko van Dooren, KU Leuven
Eric Steegmans, KU Leuven
Wouter Joosen, KU Leuven
Reusing Non-Functional Concerns Across Languages (Research results)
Myoungkyu Song, Virginia Tech
Eli Tilevich, Virginia Tech
DiSL: a Domain-Specific Language for Bytecode Instrumentation (Research results)
Lukas Marek, Charles University
Alex Villazon, Universidad Privada Boliviana
Yudi Zheng, Shanghai Jiao Tong University
Danilo Ansaloni, University of Lugano
Walter Binder, University of Lugano
Zhengwei Qi, Shanghai Jiao Tong University