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.

    Steven Holtzen (co-advised with Guy Van den Broeck), Ph.D. 2021, Assistant Professor at Northeastern University
      Exploiting Program Structure for Scaling Probabilistic Programming

    Lun Liu (co-advised by Madan Musuvathi), Ph.D. 2020, Research Scientist at Facebook
      Safe and Efficient Concurrency for Modern Programming Languages

    Saswat Padhi, Ph.D. 2020, Applied Scientist in Amazon's Automated Reasoning Group
      Data-Driven Learning of Invariants and Specifications

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

    Hesam Samimi, Ph.D. 2013, first employment: SAP Labs, current employment: BSD Academy
      From Validation to Automated Repair & Beyond with Constraint Solving

    Jeff Vaughan, Postdoc 2010-12, Google

    Dan Marino (co-advised by Madan Musuvathi), 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 (primary advisor: Ramesh Govindan), 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, first employment: Assistant Professor at Bucknell University, current employment: Google
      Enforcing and Validating User-Defined Programming Disciplines

    Alex Warth (co-advised with Alan Kay), Ph.D. 2009, first employment: Viewpoints Research Institute, current employment: Google
      Experimenting with Programming Languages