2011 International Workshop on
Foundations of Object-Oriented Languages

Sponsored by ACM SIGPLAN

Sunday, 23 October 2011
Portland, Oregon, USA
During the workshop days at the beginning of SPLASH/OOPSLA


Workshop Program and Proceedings

08:30-10:00 Session I: Program Specification
Invited talk I: Towards a Program Logic for JavaScript
Philippa Gardner (Imperial College)
[Abstract] [Slides]
TOPL: A Language for Specifying Safety Temporal Properties of Object-Oriented Programs
Radu Grigore, Rasmus Lerchedahl Petersen and Dino Distefano
[Abstract] [Full paper] [Slides]
10:00-10:30 coffee break
10:30-12:00 Session II: Models and Types
An automata-theoretic model of objects
Uday Reddy and Brian Dunphy
[Abstract] [Full paper] [Slides]
Information Flow Control with Errors
Andreas Gampe and Jeffery Von Ronne
[Abstract] [Full paper] [Slides]
Types for Precise Thread Interference
Jaeheon Yi, Tim Disney, Stephen Freund and Cormac Flanagan
[Abstract] [Full paper] [Slides]
12:00-14:00 lunch
14:00-15:30 Session III: Virtual Components
Invited talk II: Virtual Extension Methods for Java
Alex Buckley and Brian Goetz (Oracle)
[Abstract] [Slides]
Reduction and typing of class definitions with complex content
Peter Vanderbilt
[Abstract] [Full paper] [Slides]
15:30-16:00 coffee break
16:00-17:00 Session IV: Mechanical Proofs and Empirical Studies
Proving the Correctness of Fractional Permissions for a Java-like Kernel Language
John Boyland and Chao Sun
[Abstract] [Full paper] [Slides]
An Empirical Study on the Rewritability of the with Statement in JavaScript
Changhee Park, Hongki Lee and Sukyoung Ryu
[Abstract] [Full paper] [Slides]