Session 1

9:00–10:30

Welcome (15 minutes)

Gary T. Leavens—Iowa State University

Ralf Lämmel—CWI and Vrije Universiteit, Amsterdam

Curtis Clifton—Iowa State University

Diagnosis of Harmful Aspects Using Regression Verification (10 minutes) [Full text] [Slides]

Shmuel Katz—The Technion

Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented Programming (45 minutes) [Full text]

Jonathan Aldrich—Carnegie Mellon University

Discussion (20 minutes)

Session 2

11:00–12:30

Invited Talk—Formal AOP: Opportunities Abound (1 hour) [Slides]

James Riely—DePaul University

Discussion, “Open Microphone” (30 minutes)

Lunch—Informal Discussions

12:30–14:00

Session 3

14:00–15:30

Call and Execution Semantics in AspectJ (25 minutes) [Full text]

Ohad Barzilay—Tel Aviv University

Yishai A. Feldman—The Interdisciplinary Center, Herzliya

Shmuel Tyszberowicz—The Academic College of Tel Aviv Yaffo

Amiram Yehudai—Tel Aviv University

Using Program Slicing to Analyze Aspect Oriented Composition (25 minutes) [Full text]

Davide Balzarotti—Politecnico di Milanow

Mattia Monga—Università degli Studi di Milano

Aspect Reasoning by Reduction to Implicit Invocation (25 minutes) [Full text]

Jia Xu—University of Virginia

Hridesh Rajan—University of Virginia

Kevin Sullivan—University of Virginia

Discussion (15 minutes)

Session 4

16:00–17:30

On the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems (25 minutes) [Full text] [Slides]

Mika Katara—Tampere University of Technology

Reino Kurki-Suonio—Tampere University of Technology

Tommi Mikkonen—Tampere University of Technology

Exploring Aspects in the Context of Reactive Systems (25 minutes) [Full text] [Slides]

Karine Altisen—Verimag/INPG, Grenoble

Florence Maraninchi—Verimag/INPG, Grenoble

David Stauch—Verimag/INPG, Grenoble

Discussion, Workshop Summary (40 minutes)

Please note:

• Listed times for talks include both presentation time and time for questions. Forty-five minute talks include 30 minutes for presentation, 25 minute talks include 20 minutes for presentation, and 10 minutes talks include 7 minutes for presentation. Our invited talk is scheduled for 45 minutes with 15 minutes of discussion.
• Lunch and all breaks will be served in the George Fox Building Foyer. This is also the location of the Workshop Reception hosted by the Computer Department at Lancaster University, beginning at 18:30 on Monday evening.

Page last modified Saturday, October 31, 2009.