This is the main web page for the 2004 instance of the Foundations of Aspect-Oriented Languages workshop. FOAL 2004 was held in conjunction with AOSD 2004 in Lancaster, UK, on Tuesday, 23 March 2004.
This page contains the following information:
The original call for papers is also available, though the submittal deadline has passed.
Status
FOAL 2004 was held in conjunction with AOSD 2004 in Lancaster, UK, on Tuesday, 23 March 2004. The proceedings and slides from a few of the talks (linked from the agenda below) are available.
Proceedings
The workshop proceedings (in pdf format) are now available.
Agenda
You may also be interested in a printer-friendly version of the agenda.
Tuesday, 23 March 2004
Lancaster University
Lancaster, UK
George Fox Building, Room LT4
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.
Committee
We are pleased to have assembled an exceptional program committee for FOAL this year:
- Ralf Lämmel (Program Committee Chairperson) — CWI and Vrije Universiteit, Amsterdam
- Lodewijk Bergmans — University of Twente
- John Tang Boyland — University of Wisconsin, Milwaukee
- Curtis Clifton — Iowa State University
- William R. Cook — University of Texas at Austin
- Tzilla Elrad — Illinois Institute of Technology
- Kathleen Fisher — AT&T Labs–Research
- Radha Jagadeesan — DePaul University
- Shmuel Katz — Technion–Israel Institute of Technology
- Shriram Krishnamurthi — Brown University
- Gary T. Leavens — Iowa State University
- Mira Mezini — Darmstadt University of Technology
- Todd Millstein — University of California, Los Angeles
- Benjamin C. Pierce — University of Pennsylvania
- Henny Sipma — Stanford University
- Mario Südholt — École des Mines de Nantes
- David Walker — Princeton University
Organizers
- Gary T. Leavens — Iowa State University
- Ralf Lämmel — CWI and Vrije Universiteit, Amsterdam
- Curtis Clifton — Iowa State University
Page last modified Saturday, October 31, 2009.