| 09:00-10:00 | Invited talk I |
| Gradual Typing with Inference | |
| Jeremy Siek (Univ. of Colorado) | |
| [Abstract] [Slides] | |
| 10:00-10:30 | coffee break |
| 10:30-12:00 | Session I: Types and Verification |
| A Unified Framework for Verification Techniques for Object Invariants | |
| Sophia Drossopoulou, Adrian Francalanza and Peter Mueller | |
| [Abstract] [Full paper] [Slides] | |
| Ownership Type Systems and Dependent Classes | |
| Werner Dietl and Peter Mueller | |
| [Abstract] [Full paper] | |
| A Theory of Linear Objects | |
| Matthew Kehrt and Jonathan Aldrich | |
| [Abstract] [Full paper] | |
| 12:00-13:30 | lunch |
| 13:30-14:30 | Invited talk II |
| Newspeak: Not just for English Socialists Anymore | |
| Gilad Bracha (Cadence Design Systems) | |
| [Abstract] [Slides] | |
| 14:30-15:30 | Session II: Language Mechanisms |
| OOMatch: Pattern Matching as Dispatch in Java | |
| Adam Richard and Ondrej Lhotak | |
| [Abstract] [Full paper] [Slides] | |
| Safe Type-level Abstraction in Scala | |
| Adriaan Moors, Frank Piessens and Martin Odersky | |
| [Abstract] [Full paper] [Slides] | |
| 15:30-16:00 | coffee break |
| 16:00-17:30 | Session III: Semantics |
| A Step-indexed Semantics of Imperative Objects | |
| Catalin Hritcu and Jan Schwinghammer | |
| [Abstract] [Full paper] [Slides] | |
| Computational Soundness and Adequacy for Typed Object Calculus | |
| Johan Glimming | |
| [Abstract] [Full paper] | |
| Type Safe Nondeterminism - A Formal Semantics of Java Threads | |
| Andreas Lochbihler | |
| [Abstract] [Full paper] [Slides] |