List of Abstracts for George C. Necula

The EECS Research Summary for 2003

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