I am privileged to work with the following group of students and postdocs.
Ph.D. Advisees
* co-advised with Rajeev Alur
1 co-advised with Joe Devietti
Research Fellow
Postdocs
Undergrads
Graduated Ph.D. Students
- Xin Zhang, Ph.D., 2017
Assistant Professor, Peking University, China
Thesis: Combining Logical and Probabilistic Reasoning in Program Analysis
- Xujie Si, Ph.D., 2020
Assistant Professor, University of Toronto, Canada
Thesis: Learning-Aided Program Synthesis and Verification
- Sulekha Kulkarni, Ph.D., 2020
Principal Software Engineer, Microsoft
Thesis: Effective Program Reasoning using Bayesian Inference
- Pardis Pashakhanloo, Ph.D., 2023
Senior Software Engineer, CertiK
Thesis: Integrating Declarative Static Analysis with Neural Models of Code
- Aalok Thakkar*, Ph.D., 2023
Research Scientist, Aptos Labs
Thesis: Example-Guided Synthesis of Relational Queries
* co-advised with Rajeev Alur
Graduated Postdocs
- Woosuk Lee, 2016-2018
Assistant Professor, Hanyang University, Korea
- Mukund Raghothaman, 2017-2019
Assistant Professor, University of Southern California
- Kihong Heo, 2017-2019
Assistant Professor, KAIST, Korea
- Aravind Machiry, 2020-2020
Assistant Professor, Purdue University
- Yuepeng Wang *, 2020-2021
Assistant Professor, Simon Fraser University
* co-advised with Rajeev Alur
Graduated Undergrads
- Jessica Landon, BAS, 2019
Thesis: Mining a Real-World Code Corpus for Guiding the Design of Program Analysis and Repair Tools
Research Engineer, DeepMind
- Jonathan Mendelson, BS, 2022
Authored publications at POPL'20, AAAI'21, and UIST'21.
Quant Trader, Jane Street Capital
Graduated M.S. Students