Milos Gligoric

Milos Gligoric is an Associate Professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin. His research focuses on software engineering and formal methods, particularly in software testing (test generation and regression testing), proof engineering, systems-supported software engineering, and software engineering for scientific computing. He holds a Ph.D. from the University of Illinois at Urbana-Champaign (2015) and M.Sc./B.Sc. degrees from the University of Belgrade.

Research Interests: Improving software quality and developer productivity through automated testing techniques, compiler optimizations, and formal verification methods. Recent work explores applications of large language models in test generation and code evolution.

Publication Trends: Recent articles (2023-2025) show strong emphasis on LLM applications for test generation, JIT compiler testing, Python/C++ performance optimization, parallel computing, and innovative testing tools. Work frequently appears at top venues like ICSE, FSE, ISSTA, and OOPSLA.

Scientific Awards:

• ACM SIGSOFT Outstanding Doctoral Dissertation Award
• David J. Kuck Outstanding PhD Thesis Award
• Multiple ACM SIGSOFT Distinguished Paper Awards
• Best Paper Award nominations (ICST 2012, ICS 2021)
• New Ideas and Emerging Results Distinguished Paper Award

Research Support & Advising: Funded by Army Futures Command, Cisco, DOE, Google, Huawei, NSF, Runtime Verification, and Samsung. Mentors 7 PhD students and has graduated 12 PhD/MS students. Maintains industry collaborations with DBT (part-time contractor), Katana Graph, and Samsung.

Labs & Tools: Leads UT Austin's software engineering research group. Developed multiple open-source tools including Ekstazi (regression test selection), mCoq (mutation analysis for Coq), Roosterize (lemma suggestion for Coq), and JAttack (JIT compiler testing).