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

Tuesday, June 8, 2010
Toronto, Canada


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

Presented ideas
  • Outfoxing the Mammoths.
    Marek Olszewski and Saman Amarasinghe, Massachusetts Institute of Technology
    [paper] [talk] [blog]

  • Resource-Based Programming in Plaid.
    Jonathan Aldrich, CMU
    [paper] [talk] [blog]

  • Chaos for a Fast, Secure, and Predictable Future.
    John Criswell and Vikram Adve, UIUC
    [paper] [talk] [blog]

  • Qualitative Evaluation Criteria for Parallel Programming Models.
    Christopher D. Krieger, Andrew Stone, Michelle Mills Strout, Colorado State University
    [paper] [talk] [blog]

  • A New Java Runtime for a Parallel World.
    Christoph Reichenbach and Yannis Smaragdakis, University of Massachusetts, Amherst
    [paper] [talk] [blog]

  • The Unthinkable: Automated Theorem Provers for (Tracing) Just-in-time Compilers.
    Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, Manuel Fahndrich, Microsoft Research
    [paper] [talk] [blog]

  • Dualities in Programming Languages.
    Martin Hirzel and Priya Nagpurkar, IBM Research
    [paper] [talk] [blog]

  • Subject/Observer is Dual to Iterator.
    Erik Meijer, Microsoft
    [paper] [blog]

Other submitted ideas
  • Two Examples of Parallel Programming without Concurrency Constructs (PP-CC).
    Chen Ding, University of Rochester
    [paper] [blog]

  • Design-Oriented Programming: Macro-Driven Literate Programming in Self-Validating PDL.
    Joel Vaughn
    [paper] [blog]

  • Specifying Input/Output by Enumeration.
    Walter W. Wilson and Yu Lei, University of Texas at Arlington
    [paper] [blog]

  • Focusing on the Core.
    Rupesh Nasre, Indian Institute of Science, Bangalore
    [paper] [blog]


The FIT session follows in the spirit of Wild And Crazy Ideas sessions (aka WACI) 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 5-10 minutes talks with time for a few questions. Topics of submission are expected to be consistent with the mission of PLDI. To avoid any bias, 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 (PDF please).

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
    Monday, April 19th, 2010, 5:00PM Pacific Standard Time (PST)
    Monday May 3rd, 2010
Submission Guidelines

Please send submissions by the deadline to 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 for your submission.

Program Committee

  • Vikram Adve, UIUC
  • David Bacon, IBM Research
  • Emery Berger, U. of Massachusetts
  • Dan Grossman, U. of Washington
  • Christos Kozyrakis (chair), Stanford
  • Simon Peyton-Jones, Microsoft Research
  • Martin Rinard, MIT