List of Abstracts for Alexander Aiken

The EECS Research Summary for 2003

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
(4 abstracts total)