SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States

The 21st Workshop on Foundations of Object-Oriented Languages (FOOL) at SPLASH 2014.

See the following web sites for further information about FOOL: http://www.cs.cmu.edu/~aldrich/FOOL/ (Home of FOOL) http://homepages.ecs.vuw.ac.nz/~servetto/Fool2014/ (FOOL 2014)

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 2014 will be held in October 2014 as part of SPLASH 2014. The conference venue is the Marriot Hotel in Portland, Oregon, United States.

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.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 20 Oct

Displayed time zone: Tijuana, Baja California change

08:30 - 10:00
Welcome, Introductions, DiscussionFOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
08:30
90m
Other
Informal Group Discussion
FOOL

10:30 - 12:00
Research PapersFOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
10:30
30m
Talk
Program Equivalence through Trace Equivalence
FOOL
Tim Wood Imperial College, Sophia Drossopoulou Imperial College London
File Attached
11:00
30m
Talk
The Problem of Structural Type Tests in a Gradual-Typed Language
FOOL
John Boyland University of Wisconsin, Milwaukee
File Attached
11:30
30m
Talk
Managing Gradual Typing with Message-Safety in Dart
FOOL
File Attached
13:30 - 15:00
FOOF (Future of Object-Oriented Foundations)FOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
13:30
44m
Talk
The Success, Failure, and Future of Distributed Objects
FOOL
A: Jonathan Aldrich Carnegie Mellon University, I: Andrew Black Portland State University
File Attached
14:15
45m
Talk
A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Context-Oriented Programming
FOOL
Harold Ossher IBM Research, David Ungar IBM Research, Doug Kimelman IBM Research, I: James Noble Victoria University of Wellington
File Attached
15:30 - 17:00
KeynoteFOOL at Salon G
Chair(s): Marco Servetto Victoria University of Wellington
15:30
90m
Talk
Extensibilty for the masses
FOOL
William Cook UT Austin
File Attached

Call For Submissions

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.

Submissions for this event are invited in the general area of foundations of object-oriented languages. Topics of interest include language semantics, type systems, type modifiers, memory models, program verification, object capabilities, 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.

We solicit submissions on original research not previously published or currently submitted for publication elsewhere. The program chair should be informed of any related submissions; see the ACM SIGPLAN Republication Policy. Submissions should be PDF in standard SIGPLAN 10pt 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.

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 Re-Publication Policy.

Submissions should be in PDF and follow the SIGPLAN conference format (http://www.acm.org/sigs/sigplan/authorInformation.htm) for a US-letter size page. Please include page numbers (use the preprint option in the LaTeX style).

Papers can be up to 12 pages at 9pt or 15 pages at 10pt; for readability, we prefer that you use 10pt text (the SIGPLAN default is 9pt, so you will need to set the 10pt option). Shorter papers describing promising preliminary work are encouraged and welcome.

Papers must be submitted electronically via EasyChair (http://www.easychair.org/conferences/?conf=fool2014)

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.

NEW: Future of Object-Oriented Foundations session at FOOL 2014

Over the past 20 years, research presented at FOOL has lead to a more solid understanding of the foundations of today’s object-oriented programming languages. At the same time, new object-oriented languages and concepts are constantly being proposed, and there remain core topics that have not yet been fully explored. This year at FOOL 2014, we will hold a special session on the Future of Object-Oriented Foundations (FOOF). For this session, we solicit short papers as well as brief position statements regarding future research in object-oriented foundations:

  • A short paper will have the same format as regular submissions to FOOL, and will be reviewed in a similar way, but will be limited to 4 pages.

  • A position statement includes a title, authors, and 2-3 paragraphs of text summarizing the position. These will be lightly evaluated to ensure the position is of interest to the community.

Authors of short papers will be given short presentation slots to present them in the FOOF session. One author of each position statement will be invited to participate in an panel related to the position statement’s topic. Possible topics include, but are not limited to: brands, tags, and pattern matching; module systems and modularity; protocols, typestate, and sessions; ownership, permissions, and immutability; concurrent and distributed object models; OO logics and reasoning; and gradual/hybrid types and verification.

An informal proceedings will be made publicly available on the 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.

Publication

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.