19th International Workshop on
Foundations of Object-Oriented Languages
FOOL 2012

Tucson, AZ, USA; October 22, 2012

A satellite workshop of SPLASH 2012



Location: SALON B

08:30 Welcome (Organizer chair: Jeremy Siek)

08:35-10:00 Session 1 (chair: John Boyland)

  1. Invited Talk: David Herman, Rust: Engineering a Safe, Practical Systems Language.
    Rust is an open source programming language being led by Mozilla Research. The goal of Rust is to produce a safer foundation for building high-performance, concurrent systems like web browsers. Rust achieves these goals by combining an efficient memory model with task-based concurrency and an expressive type system that enforces memory safety and task isolation. In this talk I will discuss the motivations and challenges of Rust, as well as several interesting semantic considerations in the design.
  2. Nada Amin, Adriaan Moors, Martin Odersky. Dependent Object Types. Slides: PDF

10:30-12:00 Session 2 (chair: Sukyoung Ryu)

  1. Atsushi Igarashi, Robert Hirschfeld, Hidehiko Masuhara. A Type System for Dynamic Layer Composition. Slides: PDF
  2. Pottayil Harisanker Menon, Zachary Palmer, Scott Smith, Alexander Rozenshteyn. A Practical, Typed Variant Object Model. Slides: PDF
  3. Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi. Semantics and Types for Objects with First-Class Member Names.

13:30-15:00 Session 3 (chair: Jonathan Aldrich)

  1. Stephanie Balzer, Thomas Gross, Peter Müller. Selective Ownership: Combining Object and Type Hierarchies for Flexible Sharing. Slides: PDF
  2. Paley Li, Nicholas Cameron, James Noble. Sheep Cloning with Ownership Types. Slides: PPTX or PDF
  3. S Tucker Taft. ParaSail: Pointer-Free Path to Object-Oriented Parallel Programming. Slides: PDF or PPT

15:30-17:00 Session 4 (chair: Scott Smith)

  1. Wei Huang, Ana Milanova. Inferring AJ Types for Concurrent Libraries.
  2. Ana Milanova, Wei Huang. Dataflow and Type-based Formulations for Reference Immutability.
  3. Hongki Lee, Sooncheol Won, Joonho Jin, Junhee Cho, Sukyoung Ryu. SAFE: Formal Specification and Implementation of a Scalable Analysis Framework for ECMAScript. Slides: PDF
(Download all papers)

Important Dates

August 5, 2012
Deadline for submission of abstract
August 12, 2012
Deadline for submission of full paper
September 7, 2012
September 21, 2012
Deadline for early registration to SPLASH 2012
September 30, 2012
Deadline for final version of paper
for informal proceedings
October 22, 2012

Program Committee


Steering Committee


The search for sound principles for object-oriented languages has given rise to much work during the past two decades, leading to a better understanding of the key concepts of object-oriented languages and to important developments in type theory, semantics, program verification, and program development. FOOL 2012 will be held in Tucson, Arizona, USA on Monday, 22 October 2012 during the workshop days at the beginning of SPLASH.

Submissions for this event are invited in the general area of foundations of object-oriented languages. Topics of interest include language semantics, type systems, memory models, program verification, formal calculi, concurrent and distributed languages, database languages, and language-based security issues.

Papers are welcome to include formal descriptions and proofs, but these are not required; the key consideration is that papers should present novel and valuable ideas or experiences. The main focus in selecting workshop contributions will be the intrinsic interest and timeliness of the work, so authors are encouraged to submit polished descriptions of work in progress as well as papers describing completed projects.

Submission Instructions

We solicit submissions on original research not previously published or currently submitted for consideration elsewhere. The program chair should be informed of any related submissions; see the ACM SIGPLAN Republication Policy. Submissions should be PDF in standard SIGPLAN 9pt conference format for a US-letter size page. While submissions can be up to 12 pages, shorter papers describing promising preliminary work are also encouraged. Papers must be submitted electronically via EasyChair.

A PC member, other than the chair, may be an author or co-author on any paper under consideration but will be excluded from any evaluation or discussion of the paper, and will get access to reviews of the paper(s) only in the same manner and time as other authors.


An informal proceedings will be made publicly available on this web page. However, presentation at FOOL does not count as prior publication, and many of the results presented at FOOL have later been published at ECOOP, OOPSLA, POPL, and other main conferences.

Call for papers (PDF or plain text).

FOOL: International Workshops on Foundations of Object-Oriented Languages

Last modified: September 7, 2012