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:
- Status
- Agenda, which has links to the papers
- Program Committee
- Organizers
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:
- Hridesh Rajan (Program Committee Chair) — Iowa State University
- Werner M. Dietl — University of Washington
- Juergen Dingel — Queen's University
- Erik Ernst — University of Aarhus
- David Garlan — Carnegie Mellon University
- Atsushi Igarashi — Kyoto University
- Radha Jagadeesan — DePaul University
- Oscar Nierstrasz — University of Berne
- Bruno C. d. S. Oliveira — Seoul National University
- Jeremy Siek — University of Colorado, Boulder
- Neelam Soundarajan — Ohio State University
- Mario Südholt — École des Mines de Nantes
- Mitch Wand — Northeastern University
Organizers
- Gary T. Leavens — University of Central Florida
- Hidehiko Masuhara — University of Tokyo
- Shmuel Katz — Technion–Israel Institute of Technology
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 .