Fun Ideas and Thoughts: FIT is Fun
at the 2009 Conference on Programming Language Design and Implementation (PLDI).

Tuesday, June 16, 2009
Dublin, Ireland

Program

We thank everyone who submitted a FIT paper. The following 7 papers were selected for presentation. You can read these papers, and a few of the other submissions on the FITness blog or follow the individual links below.

Presented ideas
  • Gradual programming: bridging the semantic gap.
    Bor-Yuh Chang, Amer Diwan and Jeremy Siek, University of Coloroda Boulder
    [paper] [talk] [blog]

  • Productivity programming for future computers.
    Ras Bodik, Justin Bonnar and Doug Kimelman, University of California Berkeley and IBM Research
    [paper] [talk] [blog]

  • One representation to rule them all.
    Paul Biggar and David Gregg, Trinity College.
    [paper] [talk] [blog]

  • A block-based bytecode format to simplify and improve JITs.
    Christian Wimmer, University of California Irvine
    [paper] [talk] [blog]

  • A determinizing compiler.
    Nalini Vasudevan and Stephen Edwards, Columbia University
    [paper] [talk] [blog]

  • Mutable state in parallel programs.
    Matteo Frigo, Cilk Arts
    [paper] [talk] [blog]

  • Simple thread semantics require race detection.
    Hans Boehm, HP Labs
    [paper] [talk] [blog]

Other submitted ideas
  • Dependency-driven parallel programming.
    Eva Burrows and Magne Haveraaen, University of Bergen
    [paper] [blog]

  • A proposal for targeting streaming languages with the value state dependence graph.
    James Stanier and Des Watson, University of Sussex
    [paper] [blog]

  • Towards a new definition of object types.
    Cong-Cong Xing, Fantasia International Incorporated
    [paper] [blog]


Overview

FIT follows in the spirit of Wild And Crazy Ideas (aka WACI) presented at past ASPLOS, DAC, and other conferences. FIT provides a venue for ideas that present fresh insights, unveil surprising ideas, identify hidden trends, or that are simple neat and fun for a PLDI audience. Unlike PLDI conference talks that typically propose complete solutions with a full set of results, Fun and Interesting Thoughts should promote revolutionary ideas and inspire discussion. The format of the session is anticipated to be a series of 8-10 minutes talks with time for a few questions. Topics of submission are expected to be consistent with the mission of PLDI. We explicitly decline to list specific topic areas.


Call for FIT Papers

We are looking for new ideas, insights, concepts and problem formulations, not for definitive and polished answers to long-standing problems. Speakers will have to convince the audience with insights that their forward-looking idea is worth thinking about. Here are some very general guidelines for a "fit" submission:

  • A description of a genuinely forward-looking, radical and innovative idea in the area of programming language design and implementation.
  • Controversy is good. Incrementalism is bad.
  • A writeup of no more than two pages.

Submitted papers will be published online in a FITness blog. We hope that "fit" papers will generate a buzz that lasts beyond the conference. Attendees and the community will be encouraged to blog their reactions and comments to the papers.

Important Dates
  • Submission
  • Notification of Acceptance
    May 15, 2009 (Friday), 5:00PM Eastern
    May 29, 2009 (Friday)
Submission Guidelines

Please send submissions by the deadline to pldi.fit@gmail.com. Include a complete list of authors, their affiliations and contact information (e.g., address, telephone number, and email address), and please identify the corresponding author with your submission.

Program Committee

  • Ras Bodik, UC Berkeley
  • Hans Boehm, HP Labs
  • Alain Darte, ENS Lyon
  • Jim Larus, Microsoft Research
  • Rodric Rabbah, (chair) IBM Research