2011 International Workshop on
Foundations of Object-Oriented Languages
(FOOL'11)

Sponsored by ACM SIGPLAN

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

Accepted papers

• John Boyland and Chao Sun. Proving the Correctness of Fractional Permissions for a Java-like Kernel Language.
• Andreas Gampe and Jeffery Von Ronne. Information Flow Control with Errors.
• Radu Grigore, Rasmus Lerchedahl Petersen and Dino Distefano. TOPL: A Language for Specifying Safety Temporal Properties of Object-Oriented Programs.
• Changhee Park, Hongki Lee and Sukyoung Ryu. An Empirical Study on the Rewritability of the with Statement in JavaScript.
• Uday Reddy and Brian Dunphy. An automata-theoretic model of objects.
• Peter Vanderbilt. Reduction and typing of class definitions with complex content
• Jaeheon Yi, Tim Disney, Stephen Freund and Cormac Flanagan. Types for Precise Thread Interference.