Graduated Ph.D. Students and Postdocs

The most fun part of my job is getting to work with and learn from so many excellent students.

    Sai Deep Tetali (co-advised with Rupak Majumdar), Ph.D. 2015, Google
      Program Analyses for Cloud Computations

    Hesam Samimi, Ph.D. 2013, SAP Labs
      From Validation to Automated Repair & Beyond with Constraint Solving

    Jeff Vaughan, Postdoc 2010-12, Google

    Dan Marino, Ph.D. 2011, Symantec Research Labs
      Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection
      Recipient of the 2012 ACM SIGPLAN Outstanding Doctoral Dissertation Award

    Nupur Kothari (co-advisor), USC Ph.D. 2010, Microsoft
      Language Abstractions and Program Analysis Techniques to build Reliable, Efficient, and Robust Networked Systems

    Brian Chin, Ph.D. 2009, Google
      Language Features and Patterns for Developing Interactive Software

    Shane Markstrum, Ph.D. 2009, Assistant Prof at Bucknell University --> Google
      Enforcing and Validating User-Defined Programming Disciplines

    Alex Warth, Ph.D. 2009, Y Combinator Research
      Experimenting with Programming Languages