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.

• 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]

• 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]

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.

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.

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.