This is the main web page for the 2014 instance of the Foundations of Aspect-Oriented Languages workshop. FOAL 2014 will be held in conjunction with MODULARITY'14 at the University of Lugano (USI), Switzerland.
This page contains the following information:
- Status
- Agenda, which has the list of papers to be presented.
- Program Committee
- Organizers
The old call for papers is still available, although the submittal deadline has passed.
Status
FOAL 2014 will be held on April 22, 2014 in conjuction with the MODULARITY'14 conference at the University of Lugano (USI), Switzerland.
Agenda
You may also be interested in a printer-friendly version of the agenda.
Tuesday, 22 April 2014
USI Auditorium, University of Lugano, Lugano, Switzerland
FOAL will be held in the USI Auditorium. The entrance is on the 3rd floor of the USI Main Building.
Session 1 (Welcome and Keynote)
1:45pm–3:00pm
Session Chair: Gary T. Leavens —University of Central Florida, USA
Welcome and introductions (15 minutes)
Eric Bodden —Fraunhofer SIT / TU Darmstadt, Germany
Gary T. Leavens —University of Central Florida, USA
Hidehiko Masuhara —University of Tokoyo, Japan
Hridesh Rajan —Iowa State University, USA
To be destructive or not to be, that is the question on modularity (Invited Keynote) (50 minutes + 10 minutes discussion)
Shigeru Chiba —The University of Tokyo
Break—Coffee, Informal Discussions
3:00pm–3:30pm
Session 2 (Papers)
3:30pm–5:30pm
Session Chair: Eric Bodden —Fraunhofer SIT / TU Darmstadt, Germany
Event-based Modularization (25 minutes + 5 minutes discussion)
Somayeh Malakuti —Technical University of Dresden, Germany
Mehmet Aksit —University of Twente, The Netherlands
Static Verification of PtolemyRely Programs Using OpenJML (25 minutes + 5 minutes discussion)
José Sánchez —University of Central Florida, USA
Gary T. Leavens —University of Central Florida, USA
Specification of Domain-Specific Languages Based on Concern Interfaces (25 minutes + 5 minutes discussion)
Matthias Schöttle —McGill University, Canada
Omar Alam —McGill University, Canada
Gunter Mussbacher —McGill University, Canada
Jörg Kienzle —McGill University, Canada
Context Holders: Realizing Multiple Layer Activation Mechanisms in a Single Context-Oriented Language (10 minutes + 5 minutes discussion)
Tomoyuki Aotani —Tokyo Institute of Technology, Japan
Tetsuo Kamina —The University of Tokyo, Japan
Hidehiko Masuhara —Tokyo Institute of Technology, Japan
ECAlogic: Hardware-Parametric Energy-Consumption Analysis of Algorithms (10 minutes + 5 minutes discussion)
Marc Schoolderman —Radboud University Nijmegen, The Netherlands
Jascha Neutelings —Radboud University Nijmegen, The Netherlands
Rody Kersten —Radboud University Nijmegen, The Netherlands
Marko van Eekelen —Radboud University Nijmegen, The Netherlands
Program Committee
We are pleased to have assembled another exceptional program committee for FOAL this year:
- Eric Bodden (Program Committee Chair) — Head of Secure Software Engineering at Fraunhofer SIT / TU Darmstadt
- Sven Apel — University of Passau
- Paulo Borba — Federal University of Pernambuco
- Somayeh Malakuti — University of Twente
- Cynthia Disenfeld — Technion
- Robert Dyer — Iowa State University
- Marieke Huisman — University of Twente
- Gary T. Leavens — University of Central Florida
- Hidehiko Masuhara — Tokyo Institute of Technology
- Hridesh Rajan — Iowa State University
- Guido Salvaneschi — TU Darmstadt
- Nicolas Tabareau — INRIA
Organizers
- Gary T. Leavens — University of Central Florida
- Hidehiko Masuhara — Tokyo Institute of Technology
- Hridesh Rajan — Iowa State University
Page last modified Monday, March 3, 2014 .