Graduated Ph.D. Students

1. Manuel Fähndrich
   • Berkeley, 1999
   • Facebook
   • Thesis: BANE: A Library for Scalable Constraint-Based Program Analysis
2. David Gay
   • Berkeley, 2001
   • Google
   • Thesis: Memory Management with Explicit Regions
3. Jeff Foster
   • Berkeley, 2002
   • Professor, Tufts University
   • Thesis: Type Qualifiers: Lightweight Specifications to Improve Software Quality
4. Zhendong Su
   • Berkeley, 2002
   • Professor, ETH
   • Thesis: Algorithms for and the Complexity of Constraint Entailment
5. Ben Liblit
   • Berkeley, 2004
   • Amazon
   • Thesis: Cooperative Bug Isolation
6. John Kodumal
   • Berkeley, 2006
   • CTO, LaunchDarkly
   • Thesis: Program Analysis with Regularly Annotated Constraints
7. Tachio Terauchi
   • Berkeley, 2006
   • Professor, Waseda University
   • Thesis: Types for Deterministic Concurrency
8. Yichen Xie
   • Stanford, 2006
   • SAC Capital
   • Thesis: Static Detection of Software Errors
9. Sorav Bansal
• Stanford, 2008
• Associate Professor, IIT Delhi
• Thesis: Peephole Superoptimization
10. Simon Goldsmith
    • Berkeley, 2008
    • Coverity
    • Thesis: Measuring Empirical Computational Complexity
11. Mayur Naik
    • Stanford, 2008
    • Professor, University of Pennsylvania
    • Thesis: Effective Static Race Detection for Java
12. Adam Oliner
    • Stanford, 2011
    • Graft
    • Thesis: Using Influence to Understand Complex Systems
13. Isil Dillig
• Stanford, 2011
• Professor, University of Texas at Austin
• Thesis: Precise and Automatic Verification of Containter- Manipulating Programs
14. Thomas Dillig
    • Stanford, 2011
    • Blu Sphinx
    • Thesis: A Modular and Symbolic Approach to Static Program Analysis
15. Brian Hackett
    • Stanford, 2011
    • Replay
    • Thesis: Type Safety in the Linux Kernel
16. Peter Hawkins
    • Stanford, 2012
    • Google
    • Thesis: Data Representation Synthesis
17. Michael Bauer
• Stanford, 2014
• Nvidia Research
• Thesis: Programming Distributed Heterogeneous Architectures with Logical Regions
18. Eric Schkufza
• Stanford, 2015
• Amazon
• Thesis: Stochastic Program Optimization for x86_64 Binaries
19. Rahul Sharma
• Stanford, 2016
• Microsoft Research
• Thesis: Data-Driven Verification
20. Sean Treichler
    • Stanford, 2016
    • Nvidia
    • Thesis: Realm: Performance Portability Through Composable Asynchrony
21. Elliott Slaughter
    • Stanford, 2017
    • SLAC
    • Thesis: Regent: A High Productivity Programming Language for Implicit Parallelism with Logical Regions
22. Osbert Bastani
    • Stanford, 2017
    • Assistant Professor, University of Pennsylvania
    • Thesis: Beyond Deductive Inference in Program Analysis
23. Lazaro Clapp
    • Stanford, 2017
    • Uber
    • Thesis: Specification Mining and Automated Testing of Mobile Applications
24. Stefan Heule
    • Stanford, 2018
    • Google
    • Thesis: Guided Randomized Search Over Programs for Synthesis and Program Optimization
25. Berkeley Churchill
    • Stanford, 2019
    • Thesis: Blackox Equivalence Checking of Program Optimizations
26. Manolis Papadakis
    • Stanford, 2019
    • Nvidia
    • Thesis: New Directions in Uncertainty Quantification using Task-Based Programming
27. Wonchan Lee
    • Stanford, 2019
    • Nvidia
    • Thesis: A Hybrid Approach to Automatic Program Parallelization via Efficient Tasking with Composable Data Partitioning
28. Zhihao Jia
    • Stanford, 2020
    • Assistant Professor, CMU
    • Thesis: Automated Discovery of Machine Learning Optimizations
29. Jason Koenig
    • Stanford, 2022
    • Thesis: Invariant Inference via Quantified Separation
30. Kihiro Bando
    • Stanford, 2023
    • Thesis: Towards High-Performance Discontinuous Galerkin Simulations of Reacting Flows Using Legion
31. Sumith Kulal
    • Stanford, 2023
    • Thesis: Visual Content Creation and Editing via Structural and Functional Hierarchies
32. Lee, Wonyeol
    • Stanford, 2023
    • Thesis: Reasoning About Floating Point in Real-World Systems