Session 1—Techniques for Comparing Aspect-Oriented Languages

9:00 a.m.–10:30 a.m.

Welcome, Workshop Goals Discussion (20 minutes)

Gary T. Leavens—Iowa State University

Curtis Clifton—Iowa State University

Composition Graphs, a Foundation for Reasoning about Aspect-Oriented Composition (30 minutes) [Full text]

István Nagy—University of Twente

Mehmet Aksit—University of Twente

Lodewijk Bergmans—University of Twente

A Formal Model for Cross-cutting Modular Transition Systems (30 minutes) [Full text]

Henny B. Sipma—Stanford University

Discussion (10 minutes)

Session 2—Composition

11:00 a.m.–12:30 p.m.

On Composition and Reuse of Aspects (30 minutes) [Full text]

Jörg Kienzle—McGill University

Yang Yu—McGill University

Jie Xiong—McGill University

TinyC²: Towards building a dynamic weaving aspect language for C (30 minutes) [Full text]

Charles Zhang—University of Toronto

Hans-Arno Jacobsen—University of Toronto

Discussion (30 minutes)

Lunch—Informal Discussions

12:30 p.m.–2:00 p.m.

So that we can continue discussions informally over lunch, we will attempt to reserve a group of tables together at the workshop and tutorial luncheon. Attendees should register for the Monday lunch ticket from AOSD.

Session 3—Analysis and Formal Methods

2:00 p.m.–3:30 p.m.

Interference Analysis for AspectJ (30 minutes) [Full text]

Maximilian Störzer—University of Passau

Jens Krinke—University of Passau

Compositional Reasoning About Aspects Using Alternating-time Logic (30 minutes) [Full text]

Benet Devereux—University of Toronto

Model Checking Applications of Aspects and Superimpositions (30 minutes) [Full text]

Marcelo Sihman—Technion–Israel Institute of Technology

Shmuel Katz—Technion–Israel Institute of Technology

Session 4—Semantics and Interpreters

4:00 p.m.–5:30 p.m.

Understanding AOP through the Study of Interpreters (15 minutes) [Full text]

Robert E. Filman—NASA Ames Research Center

Adding Superimposition To a Language Semantics (30 minutes) [Full text]

Ralf Lämmel—CWI and Vrije Universiteit

Discussion, Workshop Summary (45 minutes)

Page last modified Saturday, October 31, 2009.