| 09:00-10:00 | Invited Talk I |
| Adding
Static Typing to Ruby Jeff Foster (University of Maryland) |
|
| 10:00-10:30 |
Coffee |
| 10:30-12:00 |
Paper
Session I: Verification |
| Recency
Types for
Dynamically-Typed, Object-Based Languages Phillip Heidegger and Peter Thiemann |
|
| Dynamic
Interfaces Vasco T. Vasconcelos, Simon J. Gay, Antonio Ravara, Nils Gesbert, and Alexandre Z. Caldeira |
|
| Modular
Verification with Shared
Abstractions Uri Juhasz, Noam Rinetzky, Arnd Poetzsch-Heffter, Mooly Sagiv and Eran Yahav |
|
| 12:00-2:00 |
Lunch |
| 2:00-3:00 |
Invited
Talk II |
| Generalized
Interfaces for Java Peter Thiemann (Universität Freiburg) |
|
| 3:00-3:30 |
Coffee |
| 3:30-5:00 |
Paper
Session II: Language Design |
| CZ: Multiple Inheritance Without
Diamonds Donna Malayeri |
|
| Flattening
versus direct semantics
for Featherweight Jigsaw Giovanni Lagorio, Marco Servetto and Elena Zucca |
|
| Growing a Syntax Eric Allen, Ryan Culpepper, Janus Dam Nielsen, Jon Rafkind and Sukyoung Ryu |