I am always excited to serve on PhD committees outside of the
University of Illinois. It exposes me to research ideas and culture
in other places and gives me a chance to participate in many
interesting topics. Below is a list of PhD students whose committees
I have proudly served on. (I
copied
the text from Steve LaValle, because I completely agree with him.)
- Katherine Hough
Khoury College of Computer Sciences,
Northeastern University,
passed proposal exam in March 2024
Advisor: Jon Bell
- Yu Liu
Department of Electrical and Computer Engineering,
University of Texas at Austin,
passed proposal exam in February 2024,
defended in June 2024
Advisor: Milos Gligoric,
Co-advisor: Owolabi Legunsen
- Daniel Elsner
Integrating System and Process Characteristics into Regression Test Optimization
Technische Universität München, Munich, Germany,
defended in November 2023
Advisor: Alexander Pretschner
- Peisen Yao
Solidifying and Scaling SMT-based Program Analysis
Department of Computer Science and Engineering,
Hong Kong University of Science and Technology, Hong Kong, China,
defended in April 2022
Advisor: Charles Zhang
- Emmanouil (Manos) Koukoutos
Scaling Functional Synthesis and Repair
School of Computer and Communication Sciences,
École Polytechnique Fédérale de Lausanne, Switzerland,
defended in June 2018
Advisor: Viktor Kuncak
- Kaiyuan Wang
Automated Synthesis and Debugging of Declarative Models in Alloy
Department of Electrical and Computer Engineering,
University of Texas at Austin,
passed proposal exam in October 2017,
defended in May 2018
Advisor: Sarfraz Khurshid
- Yi Li
Managing Software Evolution Through Semantic History Slicing
Department of Computer Science,
University of Toronto, Canada,
defended in March 2018
Advisor: Marsha Chechik
- Mohammad Amin Alipour
Leveraging Generated Tests
School of Electrical Engineering and Computer Science,
Oregon State University,
preliminary exam in May 2016,
defended in May 2017
Advisor: Alex Groce
- Jonathan (Jon) Bell
Making Software More Reliable by Uncovering Hidden Dependencies
Department of Computer Science,
Columbia University,
defended in May 2016
Advisor: Gail Kaiser
- Linhai Song
Understanding, Detecting, and Diagnosing Real-World Performance Bugs
Department of Computer Sciences,
University of Wisconsin - Madison,
passed proposal exam in December 2013,
defended in October 2015
Advisor: Shan Lu
- Tihomir Gvero
Search Techniques for Code Generation
School of Computer and Communication Sciences,
École Polytechnique Fédérale de Lausanne, Switzerland,
defended in November 2014
Advisor: Viktor Kuncak
- Sai Zhang
Effective Program Analyses for Automated Software Testing and Error Diagnosis
Department of Computer Science & Engineering,
University of Washington,
defended in May 2014
Advisor: Michael Ernst
- Lingming Zhang
Unifying Regression Testing with Mutation Testing
Department of Electrical and Computer Engineering,
University of Texas at Austin,
passed proposal exam in May 2013,
defended in April 2014
Advisor: Sarfraz Khurshid
- Chang Hwan Peter Kim
Systematic Techniques for Efficiently Checking Software Product Lines
Department of Computer Science,
University of Texas at Austin,
passed proposal exam in December 2012,
defended in September 2013
Advisors: Don Batory and
Sarfraz Khurshid
- Mehdi Mirzaaghaei
Automatic Test Suite Evolution
Faculty of Informatics,
University of Lugano, Switzerland,
defended in November 2012
Advisor: Mauro Pezzè
- Junaid Haroon Siddiqui
Improving Systematic Constraint-driven Analysis using Incremental and Parallel Techniques
Department of Electrical and Computer Engineering,
University of Texas at Austin,
passed proposal exam in February 2010, defended in November 2011
Advisor: Sarfraz Khurshid
- Juan Pablo Galeotti
Software Verification using Alloy
Department of Computing, School of Natural and Exact Sciences,
University of Buenos Aires, Argentina,
defended in February 2011
Advisor: Marcelo Frias