Note that attendees are on their own for breakfast, but lunch is provided by AOSD as part of your registration.

Session 1 (Welcome and Invited Talk 1)

9:00am–10:00am

Session Chair: Hidehiko Masuhara —University of Tokoyo, Japan

Welcome and introductions (5 minutes) [Entire proceedings PDF] [Proceedings front matter] [Proceedings contents] [Proceedings preface] [Chair's remarks]

Hridesh Rajan —Iowa State University, USA

Shmuel Katz —Technion–Israel Institute of Technology, Israel

Gary T. Leavens —University of Central Florida, USA

Hidehiko Masuhara —University of Tokoyo, Japan

On Abstraction, Information Hiding, and Crosscutting Modularity (Invited Keynote) (45 minutes + 10 minutes discussion)

[Abstract PDF] [Slides (PDF)]

Mira Mezini —Darmstadt University of Technology, Germany

Break—Coffee, Informal Discussions

10:00am–10:30am

Session 2 (Papers)

10:30am–12:00pm

Session Chair: Hridesh Rajan—Iowa State University, USA

Applying Translucid Contracts for Modular Reasoning about Aspect and Object-Oriented Events (20 minutes + 10 minutes discussion) [PDF letter paper] [PDF A4 paper] [Slides (PDF)]

Mehdi Bagherzadeh —Iowa State University, USA

Gary T. Leavens —University of Central Florida, USA

Robert Dyer —Iowa State University, USA

Compositional Verification of Events and Observers (20 minutes + 10 minutes discussion) [PDF letter paper] [PDF A4 paper] [Slides (PDF)]

Cynthia Disenfeld —Technion—Israel Institute of Technology, Israel

Shmuel Katz —Technion—Israel Institute of Technology, Israel

Supporting covariant return types and generics in type relaxed weaving (20 minutes + 10 minutes discussion) [PDF letter paper] [PDF A4 paper] [Slides (PDF)]

Tomoyuki Aotani —Japan Advanced Institute of Science and Technology

Manabu Toyama —University of Tokyo

Hidehiko Masuhara —University of Tokyo

Lunch—Informal Discussions

12:00pm—1:30pm

Session 3 (Invited Talk 2 and Papers)

1:30pm—3:00pm

Session Chair: Gary T. Leavens—University of Central Florida, USA

Aspects at the crossroads of SE?! (Invited keynote) (50 minutes + 10 minutes discussion)

[Abstract PDF] [Slides (PDF)]

Mario Südholt —École des Mines de Nantes

A Semantics for Execution Levels with Exceptions (20 minutes + 10 minutes discussion) [PDF letter paper] [PDF A4 paper] [Slides (PDF)]

Ismael Figueroa —University of Chile, Chile

Éric Tanter —University of Chile, Chile

Break—Coffee, Informal Discussions

3:00pm—3:30pm

Session 4 (Semantic/Foundational Issues of AOP)

3:30pm—4:30pm

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

ContextFJ: A Minimal Core Calculus for Context-oriented Programming (20 minutes + 10 minutes discussion) [PDF letter paper] [PDF A4 paper] [Slides (PDF)]

Robert Hirschfeld —Hasso-Plattner-Institut Potsdam, Germany

Atsushi Igarashi —University of Kyoto, Japan

Hidehiko Masuhara —University of Tokyo, Japan

Aspect Oriented Programming: a language for 2-categories (20 minutes + 10 minutes discussion) [PDF letter paper] [PDF A4 paper] [Slides (PDF)]

Nicolas Tabareau, —INRIA, France

Session 5 (Open Discussion, especially on Semantic/Foundational Issues)

4:30pm—5:00pm

Page last modified Thursday, February 10, 2011.