I am privileged to work with the following group of students and postdocs.
Graduated Ph.D. Students
- Xin Zhang, Ph.D., 2017
Thesis: Combining Logical and Probabilistic Reasoning in Program Analysis
Graduated M.S. Students
- Aravind Machiry, M.S., 2013
Thesis: Dynodroid: An Input Generation System for Android Apps