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
(July 1996).
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
Microsoft Research
Thesis: BANE: A Library for Scalable Constraint-Based Program Analysis - John Kodumal
Coverity
Thesis: Program Analysis with Regularly Annotated Constraints - Yichen Xie
DE Shaw
Thesis: Static Detection of Software Errors