Advised by Rajiv Gupta
- Rastislav Bodik, University of California, Berkeley, Dept. of Computer Science
Dissertation: Path and Value Sensitive Code Optimizations (November 1999).
Recipient of the SIGPLAN Outstanding Doctoral Dissertation Award, 2001.
NSF CAREER Award, 2001.
- Evelyn Duesterwald, IBM Research, Yorktown
Dissertation: A Demand Driven Approach for Efficient Interprocedural Data Flow Analysis
My advisor's John Regehr dissertation (not really that similar):
- Using Hierarchical Scheduling to Support Soft Real-Time Applications on General-Purpose Operating Systems,
PhD thesis, University of Virginia, May 2001.
Advised by George Necula
- Sumit Gulwani
Program Analysis using Random Interpretation, PhD Dissertation, UC-Berkeley, 2005, Sumit Gulwani, Winner of the ACM SIGPLAN Doctoral Dissertation Award
Advised by Alex Aiken
- Manuel Faehndrich
Thesis: BANE: A Library for Scalable Constraint-Based Program Analysis
- John Kodumal
Thesis: Program Analysis with Regularly Annotated Constraints
- Yichen Xie
Thesis: Static Detection of Software Errors