2008 International Workshop on
Foundations of Object-Oriented Languages

Sponsored by ACM SIGPLAN

Sunday, 13 January 2008
San Francisco, California


Workshop Program and Proceedings

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]