8:00-8:30

Registration

Location: Theater foyer

8:30-9:00

Opening announcements

Location: Theater

9:00-10:00

Keynote: A Theory of Modularity for Automated Software Development (Don Batory)

Location: Theater

10:00-10:30

Coffee break                                                Poster

Theater Foyer                                              Theater 2^nd floor

10:30-11:30

Research Track: Formal Methods Papers Session 1

Session chair: Gary T. Leavens

Location: Theater

(30 minutes each paper)

Panini: A Concurrent Programming Model for Solving Pervasive and Oblivious Interference  (Mehdi  Bagherzadeh; Hridesh  Rajan)

Dynamic Dispatch for Method Contracts through Abstract Predicates (Wojciech  Mostowski; Mattias  Ulbrich)

Demos Session

Session chair: Philippe Collet

Location: LSC 300

11:30-12:30

Panel

Title: Separation of Concerns: What Comes Next?

Moderator: Somayeh Malakuti

Location: Theater

12:30-2:00

Lunch

Location: North Ballroom

2:00-3:00

Keynote: Feature Modularity (Joanne M. Atlee)

Session chair: Betty Cheng

Location: Theater

3:00-3:30

Coffee break

Theater foyer

3:30-4:30

Research Track: Formal Methods Papers Session 2

Session chair: Henrique Rebelo

Location: Theater

(30 minutes each paper)

Modular Reasoning in the Presence of Event Subtyping  (Mehdi  Bagherzadeh; Robert  Dyer; Rex D.  Fernando; Hridesh  Rajan; Jose  Sanchez)

A Programming Model and Framework for Comprehensive Dynamic Analysis on Android  (Haiyang  Sun; Yudi  Zheng; Lubomír  Bulej; Alex  Villazón; Zhengwei  Qi; Petr  Tůma; Walter  Binder)

Position Papers

Session chair: Gary T. Leavens

Location: LSC 300

(15 minutes each paper)

On Liberating Programs from the von Neumann Architecture via Event-based Modularization  (Somayeh Malakuti and Mehmet Aksit)

Demanding First-Class Equality for Domain Specific Aspect Languages  (Arik Hadas and David Lorenz)

Visualization Algorithms for Feature Models in Concern-Driven Software Development  (Nishanth Thimmegowda and Jörg Kienzle)

Challenges on Software Unbundling: Growing and Letting Go  (João Bosco Ferreira Filho, Mathieu Acher and Olivier Barais)