Session 1

9:00am–10:30am

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

Welcome and introductions (15 minutes)

Mira Mezini—Darmstadt University of Technology, Germany

Gary T. Leavens—Iowa State University, USA

Curtis Clifton—Rose-Hulman Institute of Technology, USA

Continuation Join Point (30 minutes + 15 minutes discussion) [Full text] [Slides]

Yusuke Endoh—University of Tokyo, Japan

Hidehiko Masuhara—University of Tokyo, Japan

Akinori Yonezawa—University of Tokyo, Japan

Assurances vs. Capabilities as a Basis for Dispatch (10 minutes + 5 minutes discussion) [Slides]

William Harrison—Trinity College Dublin, Ireland

Are Pointcuts a First-Class Language Feature? (10 minutes + 5 minutes discussion) [Slides]

Stephan Herrmann—Technische Universität Berlin, Germany

Break—Coffee, Informal Discussions

10:30am–11:00am

Session 2

11:00am–12:30pm

Session Chair: Mira Mezini—Darmstadt University of Technology, Germany

Modular Generic Verification of LTL Properties for Aspects (30 minutes + 15 minutes discussion) [Full text] [Slides]

Max Goldman—Technion - Israel Institute of Technology, Israel

Shmuel Katz—Technion - Israel Institute of Technology, Israel

Temporal Aspects as Security Automata (30 minutes + 15 minutes discussion) [Full text] [Slides]

Peter Hui—DePaul University, USA

James Riely—DePaul University, USA

Lunch—Informal Discussions

12:30pm–1:30pm

Session 3

2:00pm–3:30pm

Session Chair: Curtis Clifton—Rose-Hulman Institute of Technology, USA

Fine-Grained Generic Aspects (30 minutes + 15 minutes discussion) [Full text] [Slides]

Tobias Rho—University of Bonn, Germany

Günter Kniesel—University of Bonn, Germany

Malte Appeltauer—University of Bonn, Germany

On The Pursuit of Static and Coherent Weaving (30 minutes + 15 minutes discussion) [Full text] [Slides]

Meng Wang—National University of Singapore, Singapore

Kung Chen—National Chengchi University, Taiwan

Siau-Cheng Khoo—National University of Singapore, Singapore

Break—Coffee, Informal Discussions

3:30pm–4:00pm

Session 4

4:00pm–5:30pm

Session Chair: Mira Mezini—Darmstadt University of Technology, Germany

AOP and the Antinomy of the Liar (20 minutes + 5 minutes discussion) [Full text] [Slides]

Florian Forster—Fernuniversität in Hagen, Germany

Friedrich Steimann—Fernuniversität in Hagen, Germany

Interference of Larissa Aspects (20 minutes + 5 minutes discussion) [Full text] [Slides]

David Stauch—Verimag/INPG, France

Karine Altisen—Verimag/INPG, France

Florence Maraninchi—Verimag/INPG, France

Towards Type Safety of Aspect-Oriented Languages (10 minutes + 5 minutes discussion) [Slides]

Florian Kammüller—Technische Universität Berlin, Germany

Matthias Voesgen—Technische Universität Berlin, Germany

Discussion (25 minutes discussion)

Page last modified Saturday, October 31, 2009.