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