| Title | Author(s) | Professor(s) |
|---|---|---|
| Distributed Program Sampling |
Ben Liblit Alice Zheng |
Alexander Aiken |
| Building a Better Backtrace: Techniques for Postmortem Program Analysis | Ben Liblit | Alexander Aiken |
| Implementing Type-Inference-based Deforestation | Kirsten Chevalier | Alexander Aiken |
| Proving Safety of Array Accesses in C Programs | Simon Goldsmith | Alexander Aiken |
| Titanium: A High-Performance Parallel Java Dialect |
Dan Bonachea Kaushik Datta Ed Givelberg Sabrina Merchant Geoff Pike Jimmy Su |
Susan L. Graham Paul N. Hilfinger Katherine A. Yelick |
| Harmonia: High-level Interaction in Software Development |
Andrew Begel Marat Boshernitsan Johnathan Jamison Carol Hurwitz Ryan Stejskal David Marin Michael Toomim Gruia Ioan-Pitigoi Brian Chin Dmitriy Ayrapetov |
Susan L. Graham |
| Spoken Language Support for Software Development | Andrew Begel | Susan L. Graham |
| Program Manipulation via Interactive Transformations | Marat Boshernitsan | Susan L. Graham |
| Checking Software Component Interfaces |
Arindam Chakrabarti Krishnendu Chatterjee Orna Kupferman |
Thomas A. Henzinger |
| Software Verification with BLAST |
Ranjit Jhala Rupak Majumdar |
Thomas A. Henzinger |
| Lightweight Component Models for Embedded Systems | H. John Reekie | Edward A. Lee |
| A Compatible Representation for CCured Metadata | Jeremy Condit | George C. Necula |
| CCured: Type-Safe Retrofitting of Legacy Code |
Jeremy Condit Matthew Harren Scott McPeak Westley Weimer |
George C. Necula |
| Elkhound: A Fast, Practical GLR Parser Generator | Scott McPeak | George C. Necula |
| Use of Randomization in Program Analysis | Sumit Gulwani | George C. Necula |
| Verification and Analysis of Reactive Systems | Westley Weimer | George C. Necula |