Darko Marinov's External PhD Committees

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.)

  1. Katherine Hough
    Khoury College of Computer Sciences, Northeastern University, passed proposal exam in March 2024
    Advisor: Jon Bell

  2. 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

  3. 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

  4. 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

  5. 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

  6. Yi Li
    Managing Software Evolution Through Semantic History Slicing
    Department of Computer Science, University of Toronto, Canada, defended in March 2018
    Advisor: Marsha Chechik

  7. 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

  8. Jonathan (Jon) Bell
    Making Software More Reliable by Uncovering Hidden Dependencies
    Department of Computer Science, Columbia University, defended in May 2016
    Advisor: Gail Kaiser

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. Mehdi Mirzaaghaei
    Automatic Test Suite Evolution
    Faculty of Informatics, University of Lugano, Switzerland, defended in November 2012
    Advisor: Mauro Pezzè

  15. 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

  16. 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