This is the main web page for the 2009 instance of the Foundations of Aspect-Oriented Languages workshop. FOAL 2009 will be held in conjunction with AOSD 2009 in Charlottesville, Virginia, USA, March 2, 2009.
This page contains the following information:
The call for papers is still available, although the submittal deadline has passed.
Status
FOAL 2009 will be held on March 2, 2009 in conjuction with the 8th International Conference on Aspect-Oriented Software Development in Charlottesville, Virginia, USA.
Proceedings
The workshop proceedings (in pdf format) are now available.
Agenda
You may also be interested in a printer-friendly version of the agenda.
Monday, 2 March 2009
Commonwealth Room (room 388), Newcomb Hall
University of Virginia, Charlottesville, Virginia, USA
Note also that attendees are on their own for breakfast and lunch, as these are not provided by AOSD.
Session 1
9:00am–10:30am
Session Chair: Gary T. Leavens—University of Central Florida, USA
Welcome and introductions (15 minutes) [Entire proceedings PDF] [Proceedings front matter] [Proceedings contents] [Proceedings preface] [Chair's remarks]
Mario Südholt —École des Mines de Nantes
Shmuel Katz —Technion–Israel Institute of Technology, Israel
Gary T. Leavens —University of Central Florida, USA
Mira Mezini —Darmstadt University of Technology, Germany
A Type System for Functional Traversal-Based Aspects (20 minutes + 10 minutes discussion) [Full Text] [Full Text (A4)] [Slides (PDF)]
Bryan Chadwick Northeastern University, USA
Karl Lieberherr Northeastern University, USA
Modular Verification of Strongly Invasive Aspects (30 minutes + 15 minutes discussion) [Full text] [Full text (A4)] [Slides (PDF)] [Slides (PPT)]
Emilia Katz —Technion–Israel Institute of Technology, Israel
Shmuel Katz—Technion–Israel Institute of Technology, Israel
Break—Coffee, Informal Discussions
10:30am–11:00am
Session 2
11:00am–12:30pm
Session Chair: Hidehiko Masuhara—University of Tokyo
Unweaving the Impact of Aspect Changes in AspectJ (7 minutes + 3 minutes discussion) [Full Text] [slides (PDF)] [slides (PPT)]
Luca Cavallaro Politecnico di Milano, Italy
Mattia Monga Politecnico di Milano, Italy
Enhancing Base-code Protection in Aspect-Oriented Programs (30 minutes + 15 minutes discussion) [Full Text] [Slides (PDF)] [Slides (PPT)]
Mohamed ElBendary University of Wisconsin Milwaukee, USA
John Boyland University of Wisconsin Milwaukee, USA
Demonstration: Graph-Based Specification and Simulation of Featherweight Java with Around Advice (20 minutes + 10 minutes discussion) [Full Text] [Full Text (A4)]
Tom Staijen University of Twente, Netherlands
Arend Rensink University of Twente, Netherlands
Lunch (on your own)—Informal Discussions
12:30pm–2:00pm
Session 3
2:00pm–3:30pm
Session Chair: Mario Südholt—École des Mines de Nantes
Interface-Based aspect-oriented programming in Compose*: Its language independency, semantic point-cuts and aspect interference detection possibilities [Abstract] [Slides (PDF)] (Invited talk, 45 minutes)
Mehmet Akşit University of Twente, Netherlands
A Machine-Checked Model of Safe Composition (30 minutes + 15 minutes discussion) [Full text] [Full text (A4)] [Slides (PDF)]
Benjamin Delaware University of Texas at Austin, USA
William R. Cook University of Texas at Austin, USA
Don Batory University of Texas at Austin, USA
Break—Coffee, Informal Discussions
3:30pm–4:00pm
Session 4
4:00pm–5:00pm
Session Chair: Shmuel Katz—Technion–Israel Institute of Technology, Israel
Open Session: New Ideas, Open Questions, and Work in Progress (3 minute talks + discussion)
Any attendees interested in posing some issues or briefly describing their ideas or ongoing work related to FOAL topics are invited to present 3 minute talks, with up to 2 slides.
Program Committee
We are pleased to have assembled another exceptional program committee for FOAL this year:
- Mario Südholt (Program Committee Chair) — École des Mines de Nantes
- Curtis Clifton — Rose-Hulman Institute of Technology
- Erik Ernst — University of Aarhus
- Pascal Fradet — INRIA
- Shmuel Katz — Technion–Israel Institute of Technology
- Karl Lieberherr — Northeastern University
- David H. Lorenz — The Open University of Israel
- Hidehiko Masuhara — University of Tokyo
- Mira Mezini — Darmstadt University of Technology
- Klaus Ostermann — Darmstadt University of Technology
- James Riely — DePaul University
- Damien Sereni — Oxford
Organizers
- Gary T. Leavens — University of Central Florida
- Curtis Clifton — Rose-Hulman Institute of Technology
- Mira Mezini — Darmstadt University of Technology
- Shmuel Katz — Technion–Israel Institute of Technology
Page last modified Saturday, October 31, 2009 .