PLDI'2010 Fitness Blog

Two Examples of Parallel Programming without Concurrency Constructs (PP-CC)

2010-05-24T16:50:00.002-07:00

by Chen Ding, University of Rochester

[paper]

Design-Oriented Programming: Macro-Driven Literate Programming in Self-Validating PDL

2010-05-24T16:50:00.001-07:00

by Joel Vaughn

[paper]

Specifying Input/Output by Enumeration

2010-05-24T16:49:00.001-07:00

by Walter W. Wilson and Yu Lei, University of Texas at Arlington

[paper]

Focusing on the Core

2010-05-24T16:48:00.001-07:00

by Rupesh Nasre, Indian Institute of Technology, Bangalore

[paper]

Subject/Observer is Dual to Iterator

2010-05-24T16:44:00.000-07:00

by Erik Meijer, Microsoft

[paper]

Dualities in Programming Languages

2010-05-24T16:43:00.001-07:00

by Martin Hirzel and Priya Nagpurkar, IBM Research

[paper][talk]

The Unthinkable: Automated Theorem Provers for (Tracing) Just-in-time Compilers

2010-05-24T16:41:00.000-07:00

Nikolai Tillmann, Michal Moskal, Wolfram Schulte, Herman Venter, Manuel Fahndrich, Microsoft Research

[paper][talk]

A New Java Runtime for a Parallel World

2010-05-24T16:39:00.000-07:00

by Christoph Reichenbach and Yannis Smaragdakis, University of Massachusetts, Amherst

[paper][talk]

Qualitative Evaluation Criteria for Parallel Programming Models

2010-05-24T16:22:00.000-07:00

by Christopher D. Krieger, Andrew Stone, Michelle Mills Strout, Colorado State University

[paper][talk]

Chaos for a Fast, Secure, and Predictable Future

2010-05-24T15:56:00.000-07:00

by John Criswell and Vikram Adve, University of
Illinois at Urbana-Champaign

[paper][talk]

Resource-Based Programming in Plaid

2010-05-24T15:55:00.000-07:00

by Jonathan Aldrich, CMU

[paper][talk]

Outfoxing the Mammoths

2010-05-24T14:16:00.000-07:00

by Marek Olszewski and Saman Amarasinghe, Massachusetts Institute of Technology

[paper][talk]

FIT 2010 Overview

2010-05-24T14:08:00.000-07:00

This year's PLDI in Toronto, Canada features the 2nd FIT session for Fun Ideas and Thoughts. FIT follows in the spirit of sessions held at other conferences that feature Wild And Crazy Ideas (aka WACI). As FIT organizers, we believed that such venues can nurture budding ideas, and evidence has shown that ideas presented in such venues eventually materialize into high quality conference publications.

We evaluated 12 submissions in response to the call for Fun and Interesting Thoughts, and selected 8 for presentation. We received permission to post all 12 submission to this blog. For the presented papers, we will also post the slides after the conference. We encourage everyone to comment on the ideas, but please do so respectfully and critically: convince the reader why your point of view is valid.

We hope that this online forum fosters ongoing discussion of fun and interesting thoughts and in turn provides positive feedback to the authors, potentially leading to new research, collaboration, and opportunities.

Your interest and feedback will make FIT a success.