| Use of Randomization in Program Analysis | Sumit Gulwani |
| A Compatible Representation for CCured Metadata | Jeremy Condit |
| CCured: Type-Safe Retrofitting of Legacy Code |
Jeremy Condit Matthew Harren Scott McPeak Westley Weimer |
| Elkhound: A Fast, Practical GLR Parser Generator | Scott McPeak |
| Verification and Analysis of Reactive Systems | Westley Weimer |