This is the main web page for the 2007 instance of the Foundations of Aspect-Oriented Languages workshop. FOAL 2007 will be held in conjunction with AOSD 2007 in the Galiano room of the Sheraton Wall Center, in Vancouver, British Columbia, Canada, on Tuesday, 13 March 2007.
This page contains the following information:
- Status
- Agenda, which has links to the papers
- Proceedings
- Program Committee
- Organizers
Authors of accepted papers should refer to the Instructions for Authors for details on formatting and submitting their papers. Final versions of papers are due by 23:00 GMT, 1 March 2007.
The original call for papers is also available, though the submittal deadline has passed.
Status
The early registration deadline for the AOSD conference is 16 February 2007. You must register at the AOSD site to attend FOAL.
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, 13 March 2007, 9:00am-5:30pm
Sheraton Vancouver Wall Centre
1088 Burrard Street Vancouver
British Columbia V6Z 2R9, Canada
Session 1
9:00am–10:30am
Session Chair: Gary T. Leavens—Iowa State University, USA
Welcome and introductions (15 minutes) [Proceedings front matter] [Proceedings contents] [Proceedings preface] [Chair's remarks] [Welcome slides]
Gary T. Leavens—Iowa State University, USA
Shmuel Katz—Technion–Israel Institute of Technology, Israel
Foundations of Concern Manipulation (60 minutes + 15 minutes discussion) [Abstract] [Slides]
Harold Ossher—IBM T.J. Watson Research Center, USA
Break—Coffee, Informal Discussions
10:30am–11:00am
Session 2
11:00am–12:30pm
Session Chair: Shmuel Katz—Technion–Israel Institute of Technology, Israel
Requirement Enforcement by Transformation Automata (35 minutes + 10 minutes discussion) [Full text] [Slides]
Douglas R. Smith—Kestrel Institute, USA
Typing For a Minimal Aspect Language: Preliminary Report (35 minutes + 10 minutes discussion) [Full text] [Slides]
Peter Hui—DePaul University, USA
James Riely—DePaul University, USA
Lunch—Informal Discussions
12:30pm–1:30pm
Session 3
2:00pm–3:30pm
Session Chair: Gary T. Leavens—Iowa State University, USA
Towards a Type System for Detecting Never-Matching Pointcut Compositions (10 minutes + 5 minutes discussion) [Full text] [Slides]
Tomoyuki Aotani—University of Tokyo, Japan
Hidehiko Masuhara—University of Tokyo, Japan
On the relation of aspects and monads (10 minutes + 5 minutes discussion) [Full text] [Slides]
Christian Hofer—Darmstadt University of Technology, Germany
Klaus Ostermann—Darmstadt University of Technology, Germany
On bytecode slicing and AspectJ interferences (10 minutes + 5 minutes discussion) [Full text] [Slides]
Antonio Castaldo D'Ursi—Politecnico di Milano, Italy
Luca Cavallaro—Politecnico di Milano, Italy
Mattia Monga—Università degli Studi di Milano, Italy
Specializing Continuations A Model for Dynamic Join Points (35 minutes + 10 minutes discussion) [Full text] [Slides]
Christopher J. Dutchyn—University of Saskatchewan, Canada
Break—Coffee, Informal Discussions
3:30pm–4:00pm
Session 4
4:00pm–5:30pm
Session Chair: Shmuel Katz—Technion–Israel Institute of Technology, Israel
Aspects and Modular Reasoning in Nonmonotonic Logic (23 minutes + 7 minutes discussion) [Full text] [Slides]
Klaus Ostermann—Darmstadt University of Technology, Germany
Aspect-Oriented Programming with Type Classes (23 minutes + 7 minutes discussion) [Full text] [Slides]
Martin Sulzmann—National University of Singapore, Singapore
Meng Wang—National University of Singapore, Singapore
Discussion (30 minutes discussion)
Program Committee
We are pleased to have assembled another exceptional program committee for FOAL this year:
- Shmuel Katz (Program Committee Chairperson)— Technion–Israel Institute of Technology
- Curtis Clifton — Rose-Hulman Institute of Technology
- Rémi Douence — Ecole des Mines de Nantes, Inria, Lina
- Pascal Fradet — INRIA
- Stephan Herrmann — Technische Universität Berlin
- Alan Jeffrey — Bell Labs
- Ralf Lämmel — Microsoft
- Gary T. Leavens — Iowa State Univeristy
- Karl Lieberherr — Northeastern University
- David Lorenz — University of Virginia
- Mira Mezini — Darmstadt University of Technology
- Todd Millstein — University of California, Los Angeles
- James Riely — DePaul University
- Mitchell Wand — Northeastern University
Organizers
- Gary T. Leavens — Iowa State University
- Curtis Clifton — Rose-Hulman Institute of Technology
- Mira Mezini — Darmstadt University of Technology
Page last modified Saturday, October 31, 2009 .