2009 International Workshop on
Foundations of Object-Oriented Languages
(FOOL'09)

Sponsored by ACM SIGPLAN

Saturday, 24 January 2009
Savannah, Georgia, USA

o

Workshop Program and Proceedings


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