This is the main web page for the 2003 instance of the Foundations of Aspect-Oriented Languages workshop. FOAL 2003 was held at Northeastern University in Boston, on March 17, 2003, in conjunction with AOSD.

This page contains the following information:

We also provide a few other pages with additional information on FOAL 2003:


The complete workshop proceedings are available. We are planning to produce a summary article on the workshop in the coming weeks.


You may also be interested in a printer-friendly version of the agenda.

March 17, 2003
Northeastern University
Boston, Massachusetts

Shillman Hall, Room 415

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

TinyC2: 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)

Program Committee 


Page last modified Saturday, October 31, 2009.