Session 1

9:00am–10:30am

Session Chair: Gary T. Leavens—Iowa State University, USA

Welcome (5 minutes)

David Walker—Princeton University, USA

Gary T. Leavens—Iowa State University, USA

Ralf Lämmel—Microsoft Research, USA

Proving aspect-oriented programming laws (30 minutes + 15 minutes discussion) [Full text] [Slides, powerpoint]

Leonardo Cole—Federal University of Pernambuco, Brazil

Paulo Borba—Federal University of Pernambuco, Brazil

Alexandre Mota—Federal University of Pernambuco, Brazil

A join point for loops in AspectJ (30 minutes + 15 minutes discussion) [Full text] [slides, pdf]

Bruno Harbulot—University of Manchester, UK

John R. Gurd—University of Manchester, UK

Break—Coffee, Informal Discussions

10:35am–11:00am

Session 2

11:00am–12:30pm

Session Chair: Jonathan Aldrich—Carnegie Mellon University, USA

How to Compile Aspects with Real-Time Java (20 minutes + 10 minutes discussion) [Full text] [Slides, powerpoint]

Pengcheng Wu—Northeastern University, USA

Slicing AspectJ Woven Code (20 minutes + 10 minutes discussion) [Full text] [Slides, powerpoint]

Davide Balzarotti—Politecnico di Milano, Italy

Antonio Castaldo D'Ursi—Politecnico di Milano, Italy

Luca Cavallaro—Politecnico di Milano, Italy

Mattia Monga—Università degli Studu di Milano, Italy

Back to the Future: Pointcuts as Predicates over Traces (20 minutes + 10 minutes discussion) [Full text] [Slides, pdf]

Karl Klose—Darmstadt University of Technology, Germany

Klaus Ostermann—Darmstadt University of Technology, Germany

Lunch—Informal Discussions

12:30pm–2:00pm

Session 3

2:00pm–3:30pm

Session Chair: Dave MacQueen—University of Chicago, USA

Aspectual Caml: an Aspect-Oriented Functional Language (30 minutes + 15 minutes discussion) [Full text] [Slides, powerpoint]

Hideaki Tatsuzawa —University of Toyko, Japan

Hidehiko Masuhara —University of Toyko, Japan

Akinori Yonezawa—University of Toyko, Japan

MiniMAO: Investigating the Semantics of Proceed (30 minutes + 15 minutes discussion) [Full text] [Slides, pdf]

Curtis Clifton—Iowa State University, USA

Gary T. Leavens—Iowa State University, USA

Break—Coffee, Informal Discussions

3:30pm–4:00pm

Session 4

4:00pm–5:30pm

Session Chair: Hidehiko Masuhara—University of Tokyo, Japan

Expressiveness and Complexity of Crosscut Languages (30 minutes + 15 minutes discussion) [Full text] [Slides, powerpoint]

Karl J. Lieberherr—Northeastern University, USA

Jeffrey Palm—Northeastern University, USA

Ravi Sundaram—Northeastern University, USA

Panel Discussion on Modularity (45 minutes) [Findler's slides, pdf] [Aldrich's slides, powerpoint] [Kiczales's slides, powerpoint]

Moderator: David Walker—Princeton University, USA

Gregor Kiczales—University of British Columbia, Canada

Robby Findler—The University of Chicago, USA

Jonathan Aldrich—Carnegie Mellon University, USA

Page last modified Saturday, October 31, 2009.