AOSD 2011

This is the main web page for the 2011 instance of the Foundations of Aspect-Oriented Languages workshop. FOAL 2011 will be held in conjunction with AOSD 2011 in Porto de Galinhas, Pernambuco, Brazil on March 21, 2011.

This page contains the following information:

The call for regular papers is still available, although the submittal deadline has passed.

Status 

FOAL 2011 will be held on March 21, 2011 in conjuction with the 10th International Conference on Aspect-Oriented Software Development in Porto de Galinhas, Pernambuco, Brazil

Agenda 

You may also be interested in a printer-friendly version of the agenda.

Monday, 21 March 2011
Hotel Armação
Porto de Galinhas, Pernambuco, Brazil

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

Program Committee 

We are pleased to have another outstanding program committee for FOAL:

Organizers 

The organizers thank Henrique Rebêlo for providing help with local arrangements and with the proceedings for FOAL 2011.

Page last modified Monday, March 28, 2011 .