I am an Associate Professor in the Department of Electrical and Computer Engineering at The University of Texas at Austin. My main research interests are in software engineering and formal methods with focus on improving software quality and developers' productivity. I have been working on software testing (test generation and regression testing), proof engineering, systems-supported software engineering, and software engineering for scientific computing. My research has been supported by Army Futures Command, Cisco, DOE, Google, Huawei, NSF, Runtime Verification, and Samsung.

I obtained my Ph.D. from the University of Illinois at Urbana-Champaign in 2015, advised by Darko Marinov. I finished my M.Sc. in Software Engineering at the School of Electrical Engineering, University of Belgrade, Serbia, where I previously received my B.Sc. in Computer Science and Engineering.

1. Abdelrahman Baz, Milos Gligoric, and August Shi
   Impact of JVM Configurations on Test Runtime
   International Conference on Software Maintenance and Evolution
   (ICSME 2024), to appear, Flagstaff, USA, October 2024.
   [bibtex]
   
2. Zhiqiang Zang, Fu-Yao Yu, Aditya Thimmaiah, August Shi, and Milos Gligoric
   Java JIT Testing with Template Extraction
   Symposium on the Foundations of Software Engineering
   (FSE 2024), pages 1129-1151, Porto de Galinhas, Brazil, July 2024.
   [bibtex]  [abstract]
   
3. Yu Liu, Aditya Thimmaiah, Owolabi Legunsen, and Milos Gligoric
   ExLi: An Inline-Test Generation Tool for Java
   Symposium on the Foundations of Software Engineering, formal tool demonstrations
   (FSE Demo 2024), pages 652-656, Porto de Galinhas, Brazil, July 2024.
   [bibtex]  [abstract]  [web]
   
4. Ruys William, Lee Hochan, You Bozhi, Shreya Talati, Jaeyoung Park, James Almgren-Bell, Yineng Yan, Milinda Fernando, George Biros, Mattan Erez, Burtscher Martin, Christopher J. Rossbach, Pingali Keshav, and Milos Gligoric
   A Deep Dive into Task-Based Parallelism in Python
   International Parallel and Distributed Processing Symposium, Workshop
   (IPDPS Workshop 2024), pages 1147-1149, San Francisco, USA, May 2024.
   [bibtex]
   
5. Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, and Milos Gligoric
   Object Graph Programming
   International Conference on Software Engineering
   (ICSE 2024), pages 1-13, Lisbon, Portugal, April 2024.
   [bibtex]  [abstract]  [web]
   
6. Zhiqiang Zang, Aditya Thimmaiah, and Milos Gligoric
   JOG: Java JIT Peephole Optimizations and Tests from Patterns
   International Conference on Software Engineering, Tool Demonstrations Track
   (ICSE Demo 2024), pages 11-15, Lisbon, Portugal, April 2024.
   [bibtex]  [abstract]  [web]
   
7. Jiyang Zhang, Pengyu Nie, Junyi Jessy Li, and Milos Gligoric
   Multilingual Code Co-evolution using Large Language Models
   Symposium on the Foundations of Software Engineering
   (FSE 2023), pages 695-707, San Francisco, USA, December 2023.
   [bibtex]  [abstract]  [web]
   
8. Yu Liu, Pengyu Nie, Anna Guo, Milos Gligoric, and Owolabi Legunsen
   Extracting Inline Tests from Unit Tests
   International Symposium on Software Testing and Analysis
   (ISSTA 2023), pages 1458-1470, Seattle, USA, July 2023.
   [bibtex]  [abstract]  [web]
   
9. Zhiqiang Zang, Aditya Thimmaiah, and Milos Gligoric
   Pattern-based Peephole Optimizations with Java JIT Tests
   International Symposium on Software Testing and Analysis
   (ISSTA 2023), pages 64-75, Seattle, USA, July 2023.
   [bibtex]  [abstract]  [web]
   
10. Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, and Owolabi Legunsen
    More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
    International Symposium on Software Testing and Analysis
    (ISSTA 2023), pages 664-676, Seattle, USA, July 2023.
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)
    [bibtex]  [abstract]  [web]
    
11. Pengyu Nie, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, and Milos Gligoric
    Learning Deep Semantics for Test Completion
    International Conference on Software Engineering
    (ICSE 2023), pages 2111-2123, Melbourne, Australia, May 2023.
    [bibtex]  [abstract]  [web]
    
12. Zhiqiang Zang, Fu-Yao Yu, Nathaniel Wiatrek, Milos Gligoric, and August Shi
    JAttack: Java JIT Testing using Template Programs
    International Conference on Software Engineering, Tool Demonstrations Track
    (ICSE Demo 2023), pages 6-10, Melbourne, Australia, May 2023.
    [bibtex]  [abstract]  [web]
    
13. Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, and Owolabi Legunsen
    pytest-inline: An Inline Testing Tool for Python
    International Conference on Software Engineering, Tool Demonstrations Track
    (ICSE Demo 2023), pages 161-164, Melbourne, Australia, May 2023.
    [bibtex]  [abstract]  [web]
    
14. Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, and Raymond J. Mooney
    Using Developer Discussions to Guide Fixing Bugs in Software
    Findings of the Conference on Empirical Methods in Natural Language Processing
    (Findings of EMNLP 2022), pages 2292-2301, Abu Dhabi, United Arab Emirates, December 2022.
    [bibtex]  [abstract]  [web]
    
15. James Almgren-Bell, Nader Al Awar, Dilip Geethakrishnan, Milos Gligoric, and George Biros
    A Multi-GPU Python Solver for Low-Temperature Non-Equilibrium Plasmas
    International Symposium on Computer Architecture and High Performance Computing
    (SBACPAD 2022), pages 140-149, Bordeaux, France, November 2022.
    [bibtex]  [abstract]
    
16. Lee Hochan, Ruys William, Yan Yineng, Stephens Sean, You Bozhi, Fingler Henrique, Henriksen Ian, Peters Arthur, Burtscher Martin, Milos Gligoric, Schulz Karl, Pingali Keshav, Christopher J. Rossbach, Mattan Erez, and George Biros
    A Python Orchestration System for Heterogeneous Architectures
    The International Conference for High Performance Computing, Networking, Storage, and Analysis
    (SC 2022), pages 51:1-51:15, Dallas, USA, November 2022.
    [bibtex]  [abstract]  [web]
    
17. Yu Liu, Pengyu Nie, Owolabi Legunsen, and Milos Gligoric
    Inline Tests
    International Conference on Automated Software Engineering
    (ASE 2022), pages 57:1-57:13, Oakland Center, USA, October 2022.
    [bibtex]  [abstract]  [web]
    
18. Zhiqiang Zang, Nathaniel Wiatrek, Milos Gligoric, and August Shi
    Compiler Testing using Template Java Programs
    International Conference on Automated Software Engineering
    (ASE 2022), pages 23:1-23:13, Oakland Center, USA, October 2022.
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)
    [bibtex]  [abstract]
    
19. Jiyang Zhang, Pengyu Nie, Sheena Panthaplackel, Junyi Jessy Li, and Milos Gligoric
    CoditT5: Pretraining for Source Code and Natural Language Editing
    International Conference on Automated Software Engineering
    (ASE 2022), pages 22:1-22:12, Oakland Center, USA, October 2022.
    [bibtex]  [abstract]
    
20. Jiyang Zhang, Ristin Marko, Schanely Phillip, Wernher van de Venn Hans, and Milos Gligoric
    Python-by-Contract Dataset
    Symposium on the Foundations of Software Engineering, formal tool demonstrations
    (FSE Demo 2022), pages 1652-1656, Singapore, November 2022.
    [bibtex]  [abstract]
    
21. Pengyu Nie, Jiyang Zhang, Raymond J. Mooney, Junyi Jessy Li, and Milos Gligoric
    Impact of Evaluation Methodologies on Code Summarization
    Association for Computational Linguistics
    (ACL 2022), pages 4936-4960, Virtual, May 2022.
    [bibtex]  [abstract]
    
22. Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, and Raymond J. Mooney
    Learning to Describe Solutions for Bug Reports Based on Developer Discussions
    Findings of the Association for Computational Linguistics
    (Findings of ACL 2022), pages 2935-2952, Virtual, May 2022.
    [bibtex]  [abstract]  [web]
    
23. Jiyang Zhang, Yu Liu, Milos Gligoric, Owolabi Legunsen, and August Shi
    Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection
    International Conference on Automation of Software Test
    (AST 2022), pages 17-28, Virtual, May 2022.
    [bibtex]  [abstract]
    
24. Renan Greca, Breno Miranda, Milos Gligoric, and Antonia Bertolino
    Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration
    International Conference on Automation of Software Test
    (AST 2022), pages 115-125, Virtual, May 2022.
    [bibtex]  [abstract]
    
25. Nader Al Awar, Steven Zhu, Neil Mehta, George Biros, and Milos Gligoric
    PyKokkos: Performance Portable Kernels in Python
    International Conference on Software Engineering, Tool Demonstrations Track
    (ICSE Demo 2022), pages 164-167, Virtual, May 2022.
    [bibtex]  [abstract]  [web]
    
26. Nader Al Awar, Kush Jain, Christopher J. Rossbach, and Milos Gligoric
    Programming and Execution Models for Parallel Bounded Exhaustive Testing
    Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2021), pages 1-28, Virtual, October 2021.
    [bibtex]  [abstract]  [web]
    
27. Steven Zhu, Nader Al Awar, Mattan Erez, and Milos Gligoric
    Dynamic Generation of Python Bindings for HPC Kernels
    International Conference on Automated Software Engineering
    (ASE 2021), pages 92-103, Virtual, November 2021.
    [bibtex]  [abstract]  [web]
    
28. Christian Trott, Luc Berger-Vergiat, David Poliakoff, Sivasankaran Rajamanickam, Damien Lebrun-Grandie, Jonathan Madsen, Nader Al Awar, Milos Gligoric, Galen Shipman, and Geoff Womeldorff
    The Kokkos EcoSystem: Comprehensive Performance Portability For High Performance Computing
    Computing in Science and Engineering
    (CISESI 2021), pages 1-9, November 2021.
    [bibtex]  [web]
    
29. Nader Al Awar, Steven Zhu, George Biros, and Milos Gligoric
    A Performance Portability Framework for Python
    International Conference on Supercomputing
    (ICS 2021), pages 467-478, Virtual, June 2021.
    (This paper was nominated for the Best Paper Award.)
    [bibtex]  [abstract]  [web]
    
30. Pengyu Nie, Karl Palmskog, Junyi Jessy Li, and Milos Gligoric
    Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning
    International Conference on Software Engineering, Tool Demonstrations Track
    (ICSE Demo 2021), pages 21-24, Virtual, May 2021.
    [bibtex]  [abstract]  [web]
    
31. Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, and Raymond J. Mooney
    Deep Just-In-Time Inconsistency Detection Between Comments and Source Code
    Conference on Artificial Intelligence
    (AAAI 2021), pages 427-435, Virtual, February 2021.
    [bibtex]  [abstract]  [web]
    
32. Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Junyi Jessy Li, Raymond J. Mooney, and Milos Gligoric
    Leveraging Class Hierarchy for Code Comprehension
    Workshop on Computer-Assisted Programming at NeurIPS
    (CAP Workshop 2020), Virtual, December 2020.
    [bibtex]  [abstract]
    
33. Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, and Milos Gligoric
    Unifying Execution of Imperative Generators and Declarative Specifications
    Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2020), pages 217:1-217:26, Chicago, USA, November 2020.
    [bibtex]  [abstract]  [slides]
    
34. Jaeseong Lee, Pengyu Nie, Junyi Jessy Li, and Milos Gligoric
    On the Naturalness of Hardware Descriptions
    Symposium on the Foundations of Software Engineering
    (FSE 2020), pages 530-542, Sacramento, USA, November 2020.
    [bibtex]  [abstract]  [slides]  [web]
    
35. Pengyu Nie, Karl Palmskog, Junyi Jessy Li, and Milos Gligoric
    Learning to Format Coq Code Using Language Models
    The Coq Workshop
    (The Coq Workshop 2020), Paris, France, July 2020.
    [bibtex]  [abstract]  [slides]
    
36. Pengyu Nie, Ahmet Celik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, and Milos Gligoric
    Debugging the Performance of Maven's Test Isolation: Experience Report
    International Symposium on Software Testing and Analysis
    (ISSTA 2020), pages 249-259, Los Angeles, USA, July 2020.
    [bibtex]  [abstract]  [slides]
    
37. Sheena Panthaplackel, Pengyu Nie, Milos Gligoric, Junyi Jessy Li, and Raymond J. Mooney
    Learning to Update Natural Language Comments Based on Code Changes
    Association for Computational Linguistics
    (ACL 2020), pages 1853-1868, Seattle, USA, July 2020.
    [bibtex]  [abstract]  [slides]  [web]
    
38. Pengyu Nie, Karl Palmskog, Junyi Jessy Li, and Milos Gligoric
    Deep Generation of Coq Lemma Names Using Elaborated Terms
    International Joint Conference on Automated Reasoning
    (IJCAR 2020), pages 97-118, Paris, France, June 2020.
    [bibtex]  [abstract]  [slides]  [web]
    
39. Kush Jain, Karl Palmskog, Ahmet Celik, Emilio Jesus Gallego Arias, and Milos Gligoric
    mCoq: Mutation Analysis for Coq Verification Projects
    International Conference on Software Engineering, Tool Demonstrations Track
    (ICSE Demo 2020), pages 89-92, Seoul, South Korea, May 2020.
    [bibtex]  [abstract]  [web]
    
40. Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, and Sarfraz Khurshid
    Predictive Constraint Solving and Analysis
    International Conference on Software Engineering, New Ideas and Emerging Results
    (ICSE NIER 2020), pages 109-112, Seoul, South Korea, May 2020.
    (This paper won a New Ideas and Emerging Results Distinguished Paper Award.)
    [bibtex]  [abstract]
    
41. Karl Palmskog, Ahmet Celik, and Milos Gligoric
    Practical Machine-Checked Formalization of Change Impact Analysis
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2020), pages 137-157, Dublin, Ireland, April 2020.
    [bibtex]  [abstract]  [web]
    
42. Sheena Panthaplackel, Milos Gligoric, Raymond J. Mooney, and Junyi Jessy Li
    Associating Natural Language Comment and Source Code Entities
    Conference on Artificial Intelligence
    (AAAI 2020), pages 8592-8599, USA, New York, February 2020.
    [bibtex]  [abstract]  [slides]  [web]
    
43. Ahmet Celik, Pengyu Nie, Christopher J. Rossbach, and Milos Gligoric
    Design, Implementation, and Application of GPU-based Java Bytecode Interpreters
    Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2019), pages 177:1-177:28, Athens, Greece, October 2019.
    [bibtex]  [abstract]  [web]
    
44. Ahmet Celik, Karl Palmskog, Marinela Parovic, Emilio Jesus Gallego Arias, and Milos Gligoric
    Mutation Analysis for Coq
    International Conference on Automated Software Engineering
    (ASE 2019), pages 539-551, San Diego, USA, November 2019.
    [bibtex]  [abstract]  [slides]  [web]
    
45. Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, and Sarfraz Khurshid
    Quantifying the Exploration of the Korat Solver for Imperative Constraints
    Java Pathfinder Workshop
    (JPF 2019), pages 44(4):15-19, San Diego, USA, November 2019.
    [bibtex]  [abstract]
    
46. Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, and Zachary Tatlock
    QED at Large: A Survey of Engineering of Formally Verified Software
    Foundations and Trends in Programming Languages
    (FTPL 2019), pages 5(2-3):102-281, September 2019.
    [bibtex]  [abstract]  [web]
    
47. Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, and Marsha Chechik
    Precise Semantic History Slicing through Dynamic Delta Refinement
    Automated Software Engineering Journal
    (ASEJ 2019), pages 757-793, September 2019.
    [bibtex]  [abstract]
    
48. Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, and Milos Gligoric
    A Framework for Writing Trigger-Action Todo Comments in Executable Format
    Symposium on the Foundations of Software Engineering
    (FSE 2019), pages 385-396, Tallinn, Estonia, August 2019.
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)
    [bibtex]  [abstract]  [slides]  [web]
    
49. Chenguang Zhu, Owolabi Legunsen, August Shi, and Milos Gligoric
    A Framework for Checking Regression Test Selection Tools
    International Conference on Software Engineering
    (ICSE 2019), pages 430-441, Montreal, Canada, May 2019.
    [bibtex]  [abstract]  [web]
    
50. Ben Buhse, Thomas Wei, Zhiqiang Zang, Aleksandar Milicevic, and Milos Gligoric
    VeDebug: Regression Debugging Tool for Java
    International Conference on Software Engineering, Tool Demonstrations Track
    (ICSE Demo 2019), pages 15-18, Montreal, Canada, May 2019.
    [bibtex]  [abstract]  [web]
    
51. Ben Fu, Sasa Misailovic, and Milos Gligoric
    Resurgence of Regression Test Selection for C++
    International Conference on Software Testing, Verification, and Validation
    (ICST 2019), pages 323-334, Xi'an, China, April 2019.
    [bibtex]  [abstract]
    
52. Nima Dini, Cagdas Yelen, Milos Gligoric, and Sarfraz Khurshid
    Extension-Aware Automated Testing Based on Imperative Predicates
    International Conference on Software Testing, Verification, and Validation
    (ICST 2019), pages 25-36, Xi'an, China, April 2019.
    [bibtex]  [abstract]  [slides]
    
53. Wenxi Wang, Kaiyuan Wang, Milos Gligoric, and Sarfraz Khurshid
    Incremental Analysis of Evolving Alloy Models
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2019), pages 174-191, Prague, Czechia, April 2019.
    [bibtex]  [abstract]
    
54. Jongwook Kim, Don Batory, and Milos Gligoric
    Code Transformation Issues in Move-Instance-Method Refactorings
    International Workshop on Refactoring
    (IWoR 2019), pages 17-22, Montreal, Canada, May 2019.
    [bibtex]  [abstract]
    
55. Karl Palmskog, Milos Gligoric, Lucas Pena, and Grigore Rosu
    Verifying Finality for Blockchain Systems
    International Workshop on Coq for Programming Languages
    (CoqPL 2019), Cascais/Lisbon, Portugal, January 2019.
    [bibtex]  [abstract]  [slides]
    
56. Kaiyuan Wang, Chenguang Zhu, Ahmet Celik, Jongwook Kim, Don Batory, and Milos Gligoric
    Towards Refactoring-Aware Regression Test Selection
    International Conference on Software Engineering
    (ICSE 2018), pages 233-244, Gothenburg, Sweden, May 2018.
    [bibtex]  [abstract]  [slides]  [web]
    
57. Ahmet Celik, Young Chul Lee, and Milos Gligoric
    Regression Test Selection for TizenRT
    Symposium on the Foundations of Software Engineering, Industrial Track
    (FSE Industry 2018), pages 845-850, Lake Buena Vista, USA, November 2018.
    [bibtex]  [abstract]  [slides]  [web]
    
58. Ahmet Celik, Karl Palmskog, and Milos Gligoric
    A Regression Proof Selection Tool for Coq
    International Conference on Software Engineering, Tool Demonstrations Track
    (ICSE Demo 2018), pages 117-120, Gothenburg, Sweden, May 2018.
    [bibtex]  [abstract]  [slides]  [web]
    
59. Karl Palmskog, Ahmet Celik, and Milos Gligoric
    piCoq: Parallel Regression Proving for Large-scale Verification Projects
    International Symposium on Software Testing and Analysis
    (ISSTA 2018), pages 344-355, Amsterdam, Netherlands, July 2018.
    [bibtex]  [abstract]  [slides]  [web]
    
60. Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, and Sarfraz Khurshid
    A Progress Bar for the JPF Search Using Program Executions
    Java Pathfinder Workshop
    (JPF 2018), pages 43(4):55-59, Lake Buena Vista, USA, November 2018.
    [bibtex]  [abstract]
    
61. Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, and Sasa Misailovic
    Approximate Transformations as Mutation Operators
    International Conference on Software Testing, Verification, and Validation
    (ICST 2018), pages 285-296, Vasteras, Sweden, April 2018.
    [bibtex]  [abstract]
    
62. Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, and Milos Gligoric
    Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves
    Workshop on NLP for Software Engineering, Long presentation
    (NL4SE 2018), pages 775-778, New Orleans, USA, February 2018.
    [bibtex]  [abstract]
    
63. Ahmet Celik, Karl Palmskog, and Milos Gligoric
    iCoq: Regression Proof Selection for Large-Scale Verification Projects
    International Conference on Automated Software Engineering
    (ASE 2017), pages 171-182, Urbana-Champaign, USA, November 2017.
    [bibtex]  [abstract]  [slides]  [web]
    
64. Kaiyuan Wang, Sarfraz Khurshid, and Milos Gligoric
    JPR: Replaying JPF Traces Using Standard JVM
    Java Pathfinder Workshop
    (JPF 2017), pages 42(4):1-5, Urbana-Champaign, USA, November 2017.
    [bibtex]  [abstract]
    
65. Ahmet Celik, Sreepathi Pai, Sarfraz Khurshid, and Milos Gligoric
    Bounded Exhaustive Test-Input Generation on GPUs
    Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2017), pages 94:1-94:25, Vancouver, Canada, October 2017.
    [bibtex]  [abstract]
    
66. Ahmet Celik, Marko Vasic, Aleksandar Milicevic, and Milos Gligoric
    Regression Test Selection Across JVM Boundaries
    Symposium on the Foundations of Software Engineering
    (FSE 2017), pages 809-820, Paderborn, Germany, September 2017.
    [bibtex]  [abstract]  [slides]
    
67. Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, and Milos Gligoric
    File-level vs. Module-level Regression Test Selection for .NET
    Symposium on the Foundations of Software Engineering, Industrial Track
    (FSE Industry 2017), pages 848-853, Paderborn, Germany, September 2017.
    [bibtex]  [abstract]  [web]
    
68. Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, and August Shi
    Mutation Testing Meets Approximate Computing
    International Conference on Software Engineering, New Ideas and Emerging Results
    (ICSE NIER 2017), pages 3-6, Buenos Aires, Argentina, May 2017.
    [bibtex]  [abstract]  [slides]
    
69. Ripon Saha and Milos Gligoric
    Selective Bisection Debugging
    Fundamental Approaches to Software Engineering
    (FASE 2017), pages 60-77, Uppsala, Sweden, April 2017.
    [bibtex]  [abstract]
    
70. Ahmet Celik, Alex Knaust, Aleksandar Milicevic, and Milos Gligoric
    Build System with Lazy Retrieval for Java Projects
    Symposium on the Foundations of Software Engineering
    (FSE 2016), pages 643-654, Seattle, USA, November 2016.
    [bibtex]  [abstract]
    
71. Nima Dini, Allison Sullivan, Milos Gligoric, and Gregg Rothermel
    The Effect of Test Suite Type on Regression Test Selection
    International Symposium on Software Reliability Engineering
    (ISSRE 2016), pages 47-58, Ottawa, Canada, October 2016.
    [bibtex]  [abstract]
    
72. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov
    Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites
    Transactions on Software Engineering and Methodology
    (TOSEM 2015), pages 24(4):22:1-22:33, August 2015.
    [bibtex]  [abstract]  [web]
    
73. Milos Gligoric, Lamyaa Eloussi, and Darko Marinov
    Practical Regression Test Selection with Dynamic File Dependencies
    International Symposium on Software Testing and Analysis
    (ISSTA 2015), pages 211-222, Baltimore, USA, July 2015.
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)
    [bibtex]  [abstract]  [slides]  [web]
    
74. Milos Gligoric, Lamyaa Eloussi, and Darko Marinov
    Ekstazi: Lightweight Test Selection
    International Conference on Software Engineering, Tool Demonstrations Track
    (ICSE Demo 2015), pages 713-716, Florence, Italy, May 2015.
    [bibtex]  [abstract]  [web]
    
75. Milos Gligoric
    Regression Test Selection: Theory and Practice
    PhD thesis, The University of Illinois at Urbana-Champaign, Urbana-Champaign, USA, August 2015.
    (The thesis won ACM SIGSOFT Outstanding Doctoral Dissertation Award.)
    (The thesis won David J. Kuck Outstanding PhD Thesis Award.)
    [bibtex]  [abstract]  [web]
    
76. Milos Gligoric, Stas Negara, Owolabi Legunsen, and Darko Marinov
    An Empirical Evaluation and Comparison of Manual and Automated Test Selection
    International Conference on Automated Software Engineering
    (ASE 2014), pages 361-372, Vasteras, Sweden, September 2014.
    [bibtex]  [abstract]
    
77. Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, and Darko Marinov
    Regression Test Selection for Distributed Software Histories
    International Conference on Computer Aided Verification
    (CAV 2014), pages 293-309, Vienna, Austria, July 2014.
    [bibtex]  [abstract]
    
78. August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, and Darko Marinov
    Balancing Trade-offs in Test-suite Reduction
    Symposium on the Foundations of Software Engineering
    (FSE 2014), pages 246-256, Hong Kong, China, November 2014.
    [bibtex]  [abstract]
    
79. Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, and Benjamin Livshits
    Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring
    Conference on Object-Oriented Programming, Systems, Languages, and Applications
    (OOPSLA 2014), pages 599-616, Portland, USA, October 2014.
    [bibtex]  [abstract]
    
80. Milos Gligoric and Rupak Majumdar
    Model Checking Database Applications
    International Conference on Tools and Algorithms for the Construction and Analysis of Systems
    (TACAS 2013), pages 549-564, Rome, Italy, March 2013.
    [bibtex]  [abstract]
    
81. Aleksandar Milicevic, Milos Gligoric, Darko Marinov, and Daniel Jackson
    Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications
    International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software
    (Onward! 2013), pages 17-36, Indianapolis, USA, October 2013.
    [bibtex]  [abstract]
    
82. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, and Darko Marinov
    Comparing Non-Adequate Test Suites using Coverage Criteria
    International Symposium on Software Testing and Analysis
    (ISSTA 2013), pages 302-313, Lugano, Switzerland, July 2013.
    (This paper was invited for journal submission.)
    [bibtex]  [abstract]  [slides]  [web]
    
83. Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, and Darko Marinov
    Systematic Testing of Refactoring Engines on Real Software Projects
    European Conference on Object-Oriented Programming
    (ECOOP 2013), pages 629-653, Montpellier, France, July 2013.
    [bibtex]  [abstract]  [web]
    
84. Lingming Zhang, Milos Gligoric, Darko Marinov, and Sarfraz Khurshid
    Operator-based and Random Mutant Selection: Better Together
    International Conference on Automated Software Engineering
    (ASE 2013), pages 92-102, Palo Alto, USA, November 2013.
    [bibtex]  [abstract]
    
85. Milos Gligoric, Vilas Jagannath, Qingzhou Luo, and Darko Marinov
    Efficient Mutation Testing of Multithreaded Code
    Software Testing, Verification and Reliability
    (STVR 2013), pages 23(5):375-403, August 2013.
    [bibtex]
    
86. Milos Gligoric, Lingming Zhang, Cristiano Pereira, and Gilles Pokam
    Selective Mutation Testing for Concurrent Code
    International Symposium on Software Testing and Analysis
    (ISSTA 2013), pages 224-234, Lugano, Switzerland, July 2013.
    [bibtex]  [abstract]
    
87. Milos Gligoric, Peter C. Mehlitz, and Darko Marinov
    X10X: Model Checking a New Programming Language with an 'Old' Model Checker
    International Conference on Software Testing, Verification, and Validation
    (ICST 2012), pages 11-20, Montreal, Canada, April 2012.
    (This paper was nominated for the Best Paper Award.)
    [bibtex]  [abstract]
    
88. Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, and Darko Marinov
    Testing Container Classes: Random or Systematic?
    Fundamental Approaches to Software Engineering
    (FASE 2011), pages 262-277, Saarbrucken, Germany, March 2011.
    [bibtex]  [abstract]  [web]
    
89. Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, and Darko Marinov
    Improved Multithreaded Unit Testing
    Symposium on the Foundations of Software Engineering
    (FSE 2011), pages 223-233, Szeged, Hungary, September 2011.
    [bibtex]  [abstract]  [web]
    
90. Samira Tasharofi, Milos Gligoric, Darko Marinov, and Ralph Johnson
    Setac: A Framework for Phased Deterministic Testing of Scala Actor Programs
    Scala Workshop
    (Scala 2011), Stanford, USA, June 2011.
    [bibtex]  [abstract]  [web]
    
91. Elton Alves, Milos Gligoric, Vilas Jagannath, and Marcelo d'Amorim
    Fault Localization Using Dynamic Slicing and Change-Impact Analysis
    International Conference on Automated Software Engineering, Short paper
    (ASE 2011), pages 520-523, Lawrence, USA, November 2011.
    [bibtex]  [abstract]
    
92. Milos Gligoric, Darko Marinov, and Sam Kamin
    CoDeSe: Fast Deserialization via Code Generation
    International Symposium on Software Testing and Analysis
    (ISSTA 2011), pages 298-308, Toronto, Canada, July 2011.
    [bibtex]  [abstract]  [web]
    
93. Milos Gligoric, Sandro Badame, and Ralph Johnson
    SMutant: A Tool for Type-Sensitive Mutation Testing in a Dynamic Language
    Symposium on the Foundations of Software Engineering, formal tool demonstrations
    (FSE Demo 2011), pages 424-427, Szeged, Hungary, September 2011.
    [bibtex]  [abstract]  [web]
    
94. Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, and Darko Marinov
    IMUnit: Improved Multithreaded Unit Testing
    International Workshop on Multicore Software Engineering
    (IWMSE 2010), pages 48-49, Cape Town, South Africa, May 2010.
    [bibtex]  [abstract]  [web]
    
95. Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, and Gul Agha
    Mutation Operators for Actor Systems
    International Workshop on Mutation Analysis
    (Mutation 2010), pages 157-162, Paris, France, April 2010.
    [bibtex]  [abstract]
    
96. Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, and Darko Marinov
    Test Generation through Programming in UDITA
    International Conference on Software Engineering
    (ICSE 2010), pages 225-234, Cape Town, South Africa, May 2010.
    (This paper won an ACM SIGSOFT Distinguished Paper Award.)
    (This paper was invited for journal submission.)
    [bibtex]  [abstract]  [web]
    
97. Rohan Sharma, Milos Gligoric, Vilas Jagannath, and Darko Marinov
    A Comparison of Constraint-based and Sequence-based Generation of Complex Input Data Structures
    Workshop on Constraints in Software Testing, Verification and Analysis
    (CSTVA 2010), pages 337-342, Paris, France, April 2010.
    [bibtex]  [abstract]
    
98. Milos Gligoric, Vilas Jagannath, and Darko Marinov
    MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code
    International Conference on Software Testing, Verification, and Validation
    (ICST 2010), pages 55-64, Paris, France, April 2010.
    (This paper was invited for journal submission.)
    [bibtex]  [abstract]
    
99. Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, and Sarfraz Khurshid
    Optimizing Generation of Object Graphs in Java PathFinder
    International Conference on Software Testing, Verification, and Validation
    (ICST 2009), pages 51-60, Denver, USA, April 2009.
    [bibtex]  [abstract]
    
100. Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, and Sarfraz Khurshid
     State Extensions for Java PathFinder
     International Conference on Software Engineering, Tool Demonstrations Track
     (ICSE Demo 2008), pages 863-866, Leipzig, Germany, May 2008.
     [bibtex]  [abstract]
     

• Chip: Change impact analysis in Coq and OCaml
• CoCo: Comparison of non-adequate test suites using coverage criteria
• CoDeSe: Dataset for fast deserialization via code generation
• Coring: Command line option parsing for Java
• Coverage: Container classes instrumented for predicate coverage
• Ekstazi: Lightweight regression test selection
• Ekstazi#: Class-level regression test selection for .NET
• gobash: A library to improve programming experience in Bash (GitHub)
• iCoq: Regression Proof Selection for Large-Scale Coq Projects
• IMUnit: Improved multithreaded unit testing
• mCoq: Mutation Analysis for Coq Verification Projects
• Roosterize: A tool for suggesting lemma names in verification projects that use the Coq proof assistant
• RTR: Systematic testing of refactoring engines
• RTSCheck: A framework for testing regression test selection tools
• Selfection: Regression test selection tool for C
• Setac: Test framework for (Scala) actor programs
• SMutant: Mutation testing tool for Smalltalk
• TrigIt: A Framework for Writing Trigger-Action Todo Comments in Executable Format
• UDITA: Test generation using declarative and imperative test abstractions
• VeDebug: Regression debugging tool for Java