Ph.D. Dissertations - George Necula

End-User Program Analysis
Bor-Yuh Evan Chang [2008]

Dependent Types for Assembly Code Safety
Matthew Thomas Harren [2007]

Dependent Types for Safe Systems Software
Jeremy Paul Condit [2007]

Implementing Certified Programming Language Tools in Dependent Type Theory
Adam Chlipala [2007]

Program Analysis with Regularly Annotated Constraints
John P. Kodumal [2006]

Exceptional Situations and Program Reliability
Westley R. Weimer [2005]

Program Analysis Using Random Interpretation
Sumit Gulwani [2005]

Verification of Pointer-Intensive Programs
Scott G. McPeak [2005]