Session 1

9:00am–10:30am

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

Welcome and introductions (15 minutes) [Proceedings front matter] [Proceedings contents] [Proceedings preface] [Chair's remarks] [Welcome slides]

Gary T. Leavens—Iowa State University, USA

Shmuel Katz—Technion–Israel Institute of Technology, Israel

Foundations of Concern Manipulation (60 minutes + 15 minutes discussion) [Abstract] [Slides]

Harold Ossher—IBM T.J. Watson Research Center, USA

Break—Coffee, Informal Discussions

10:30am–11:00am

Session 2

11:00am–12:30pm

Session Chair: Shmuel Katz—Technion–Israel Institute of Technology, Israel

Requirement Enforcement by Transformation Automata (35 minutes + 10 minutes discussion) [Full text] [Slides]

Douglas R. Smith—Kestrel Institute, USA

Typing For a Minimal Aspect Language: Preliminary Report (35 minutes + 10 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: Gary T. Leavens—Iowa State University, USA

Towards a Type System for Detecting Never-Matching Pointcut Compositions (10 minutes + 5 minutes discussion) [Full text] [Slides]

Tomoyuki Aotani—University of Tokyo, Japan

Hidehiko Masuhara—University of Tokyo, Japan

On the relation of aspects and monads (10 minutes + 5 minutes discussion) [Full text] [Slides]

Christian Hofer—Darmstadt University of Technology, Germany

Klaus Ostermann—Darmstadt University of Technology, Germany

On bytecode slicing and AspectJ interferences (10 minutes + 5 minutes discussion) [Full text] [Slides]

Antonio Castaldo D'Ursi—Politecnico di Milano, Italy

Luca Cavallaro—Politecnico di Milano, Italy

Mattia Monga—Università degli Studi di Milano, Italy

Specializing Continuations A Model for Dynamic Join Points (35 minutes + 10 minutes discussion) [Full text] [Slides]

Christopher J. Dutchyn—University of Saskatchewan, Canada

Break—Coffee, Informal Discussions

3:30pm–4:00pm

Session 4

4:00pm–5:30pm

Session Chair: Shmuel Katz—Technion–Israel Institute of Technology, Israel

Aspects and Modular Reasoning in Nonmonotonic Logic (23 minutes + 7 minutes discussion) [Full text] [Slides]

Klaus Ostermann—Darmstadt University of Technology, Germany

Aspect-Oriented Programming with Type Classes (23 minutes + 7 minutes discussion) [Full text] [Slides]

Martin Sulzmann—National University of Singapore, Singapore

Meng Wang—National University of Singapore, Singapore

Discussion (30 minutes discussion)

Page last modified Saturday, October 31, 2009.