8:00 – 8:30

Registration

Location: Theater foyer

8:30 – 9:00

Welcome to FOAL'15

Session chair: Gary T. Leavens

Location: Theater

9:00 – 10:00

Keynote: Modular Reasoning about Aliasing using Permissions (John Boyland, University of Wisconsin–Milwaukee).

Session chair: Henrique Rebêlo

Location: Theater

10:00 – 10:30

Coffee break

Location: Theater foyer

10:30 – 11:30

Research Track: Inward

Session chair: Hidehiko Masuhara

Location: Theater

(30 minutes each paper)

Enforcing Information Hiding in Interface Specifications: A Client-Aware Checking Approach (Henrique Rebêlo; Gary T. Leavens)

Essential Retroactive Weaving (Robin Salkeld; Ronald Garcia)

11:30 – 12:30

Keynote: Recent Developments in Context-oriented Programming (Robert Hirschfeld, Hasso-Plattner-Institute).

Session chair: David H. Lorenz

Location: Theater

12:30 – 2:00

Lunch break

Location: North Ballroom

2:00 – 3:00

Research Track: Onward

Session chair: Henrique Rebêlo

Location: Theater

(30 minutes each paper)

Towards Separation of Concerns in Flow-Based Programming (Bahram Zarrin;  Hubert Baumeister)

Towards Modular Instrumentation of Interpreters in JavaScript (Florent Marchand de Kerchove; Jacques Noyé; Mario Südholt)

3:00 – 3:30

Coffee break

Location: Theater foyer

3:30 – 4:30

Keynote: Modular Performance Reasoning of Data-Intensive Programs (Yu David Liu,  SUNY at Binghamton).

Session chair: Hidehiko Masuhara

Location: Theater

4:30 – 5:00

Discussion

Session chair: Gary T. Leavens

Location: Theater