I am privileged to work with the following group of students and postdocs.
Ph.D. Advisees
- Elizabeth Dinella
- Jiani Huang
- Ziyang Li
- Aaditya Naik
- Pardis Pashakhanloo 1
- Adam Stein (first year)
- Aalok Thakkar 2
2 co-advised with Rajeev Alur
Masters
- Harsh Parekh
Postdocs
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, McGill University, Canada
Thesis: Learning-Aided Program Synthesis and Verification - Sulekha Kulkarni, Ph.D., 2020
Principal Software Engineer, Microsoft
Thesis: Effective Program Reasoning using Bayesian Inference
Graduated Postdocs
- Yuepeng Wang *, 2020-2021
Assistant Professor, Simon Fraser University - Aravind Machiry, 2020-2020
Assistant Professor, Purdue University - Kihong Heo, 2017-2019
Assistant Professor, KAIST, Korea - Mukund Raghothaman, 2017-2019
Assistant Professor, University of Southern California - Woosuk Lee, 2016-2018
Assistant Professor, Hanyang University, Korea
Graduated Undergrads
- Jessica Landon,
BAS, Computer and Cognitive Science, 2019
Research Engineer, DeepMind
Thesis: Mining a Real-World Code Corpus for Guiding the Design of Program Analysis and Repair Tools
Graduated M.S. Students
- Aravind Machiry, M.S., 2013
Thesis: Automated Input Generation for Android Apps