Main Page

AOSD 2012

AOSD'12 Companion






Compilation Author Index

AOSD 2012 Proceedings Table of Contents

MODULARITY: aosd.12–Chairs’ Welcome 
Robert Hirschfeld, Eric Tanter, Richard P. Gabriel, Michael Haupt, & Kevin Sullivan

MODULARITY: aosd.12-Organization 

MODULARITY: aosd.12-Sponsor & Supporters 

AOSD 2012 Proceedings Author Index

Session 1: Features
Session Chair: David Lorenz (The Open University of Israel)

Separation of Concerns in Feature Modeling: Support and Applications  (Page 1)
Mathieu Acher (University of Namur)
Philippe Collet (Université Nice Sophia Antipolis)
Philippe Lahire (Université Nice Sophia Antipolis)
Robert B. France (Colorado State University)

Intraprocedural Dataflow Analysis for Software Product Lines  (Page 13)
Claus Brabrand (IT University of Copenhagen & Federal University of Pernambuco)
Márcio Ribeiro (Federal University of Pernambuco & Federal University of Alagoas)
Társis Tolędo (Federal University of Pernambuco)
Paulo Borba (Federal University of Pernambuco)

Features and Object Capabilities: Reconciling Two Visions of Modularity  (Page 25)
Salman Saghafi (WPI)
Kathi Fisler (WPI)
Shriram Krishnamurthi (Brown University)

Session 2: Debugging
Session Chair: Wouter Joosen (Katholieke Universiteit Leuven)

Two-Way Traceability and Conflict Debugging for AspectLTL Programs  (Page 35)
Shahar Maoz (RWTH Aachen University)
Yaniv Sa'ar (Weizmann Institute of Science)

A Debug Interface for Debugging Multiple Domain Specific Aspect Languages  (Page 47)
Yoav Apter (Open University of Israel)
David H. Lorenz (Open University of Israel)
Oren Mishali (Open University of Israel)

A Fine-Grained Debugger for Aspect-Oriented Programming  (Page 59)
Haihan Yin (University of Twente)
Christoph Bockisch (University of Twente)
Mehmet Akşit (University of Twente)

Session 3: Languages
Session Chair: Mario Südholt (École des Mines de Nantes)

A Monadic Interpretation of Execution Levels and Exceptions for AOP  (Page 71)
Nicolas Tabareau (INRIA)

Adaptable Generic Programming with Required Type Specifications and Package Templates  (Page 83)
Eyvind W. Axelsen (University of Oslo)
Stein Krogdahl (University of Oslo)

Do We Really Need to Extend Syntax for Advanced Modularity?  (Page 95)
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
Session Chair: Hidehiko Masuhara (The University of Tokyo)

A Closer Look at Aspect Interference and Cooperation  (Page 107)
Cynthia Disenfeld (Technion - Israel Institute of Technology)
Shmuel Katz (Technion - Israel Institute of Technology)

Management of Feature Interactions with Transactional Regions  (Page 119)
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  (Page 131)
Shumpei Akai (Tokyo Institute of Technology)
Shigeru Chiba (Tokyo Institute of Technology)

Session 5: Empirical
Session Chair: Stefan Udo Hanenberg (University of Duisburg-Essen)

An Exploratory Study of the Design Impact of Language Features for Aspect-oriented Interfaces  (Page 143)
Robert Dyer (Iowa State University)
Hridesh Rajan (Iowa State University)
Yuanfang Cai (Drexel University)

Comprehensively Evaluating Conformance Error Rates of Applying Aspect State Machines  (Page 155)
Shaukat Ali (University of Oslo)
Tao Yue (University of Oslo)
Zafar I. Malik (Ministry of Education)

Are Automatically-Detected Code Anomalies Relevant to Architectural Modularity? An Exploratory Analysis of Evolving Systems  (Page 167)
Isela Macia (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
Session Chair: Michael Haupt (Oracle Labs)

LARA: An Aspect-Oriented Programming Language for Embedded Systems  (Page 179)
Joăo M. P. Cardoso (Universidade do Porto)
Tiago Carvalho (Universidade do Porto)
José G. F. Coutinho (Imperial College London)
Wayne Luk (Imperial College London)
Ricardo Nobre (INESC-ID)
Pedro C. Diniz (INESC-ID)
Zlatko Petrov (Honeywell International s.r.o.)

ContextErlang: Introducing Context-oriented Programming in the Actor Model  (Page 191)
Guido Salvaneschi (Politecnico di Milano)
Carlo Ghezzi (Politecnico di Milano)
Matteo Pradella (Politecnico di Milano)

Fine-Grained Modularity and Reuse of Virtual Machine Components  (Page 203)
Christian Wimmer (Oracle Labs)
Stefan Brunthaler (University of California, Irvine)
Per Larsen (University of California, Irvine)
Michael Franz (University of California, Irvine)

Session 7: Implementing Languages
Session Chair: Eric Bodden (Technische Universität Darmstadt)

An Object-Oriented Framework for Aspect-Oriented Languages  (Page 215)
Marko van Dooren (KU Leuven)
Eric Steegmans (KU Leuven)
Wouter Joosen (KU Leuven)

Reusing Non-Functional Concerns Across Languages  (Page 227)
Myoungkyu Song (Virginia Tech)
Eli Tilevich (Virginia Tech)

DiSL: A Domain-Specific Language for Bytecode Instrumentation  (Page 239)
Lukáš Marek (Charles University)
Alex Villazón (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)

Session 8: Architecture and Design
Session Chair: Mira Mezini (Technische Universität Darmstadt)

Multi-View Refinement of AO-Connectors in Distributed Software Systems  (Page 251)
Steven Op de beeck (KU Leuven)
Marko van Dooren (KU Leuven)
Bert Lagaisse (KU Leuven)
Wouter Joosen (KU Leuven)

Weaving Semantic Aspects in HiLA  (Page 263)
Gefei Zhang (arvato Systems Technologies GmbH)
Matthias Hölzl (Ludwig-Maximilians-Universität München)