| Implementing Type-Inference-based Deforestation | Kirsten Chevalier |
| Distributed Program Sampling |
Ben Liblit Alice Zheng |
| Building a Better Backtrace: Techniques for Postmortem Program Analysis | Ben Liblit |
| Proving Safety of Array Accesses in C Programs | Simon Goldsmith |