Milos Gligoric
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
64
Venues
19
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
64 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ECOOP | Automated Inline-Test Generation without Relying on Method-Level Unit Tests. | Pengyue Jiang, Yu Liu, Anna Guo, Milos Gligoric, Owolabi Legunsen |
| 2025 | CGO | Speeding up the Local C++ Development Cycle with Header Substitution. | Nader Al Awar, Zijian Yi, George Biros, Milos Gligoric |
| 2025 | CLOUD | VLCs: Managing Parallelism with Virtualized Libraries. | Yineng Yan, William Ruys, Hochan Lee, Ian Henriksen, Arthur Michener Peters, Sean Stephens, Bozhi You, Henrique Fingler, Martin Burtscher, Milos Gligoric, Keshav Pingali, Mattan Erez, George Biros, Christopher J. Rossbach |
| 2025 | ECOOP | In-Memory Object Graph Stores. | Aditya Thimmaiah, Zijian Yi, Joseph Kenis, Christopher J. Rossbach, Milos Gligoric |
| 2025 | ICSE | exLong: Generating Exceptional Behavior Tests with Large Language Models. | Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric |
| 2024 | ICSE | Object Graph Programming. | Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric |
| 2024 | ICSE | JOG: Java JIT Peephole Optimizations and Tests from Patterns. | Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric |
| 2023 | ICSE | pytest-inline: An Inline Testing Tool for Python. | Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen |
| 2023 | ICSE | Learning Deep Semantics for Test Completion. | Pengyu Nie, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric |
| 2023 | ICSE | JATTACK: Java JIT Testing using Template Programs. | Zhiqiang Zang, Fu-Yao Yu, Nathan Wiatrek, Milos Gligoric, August Shi |
| 2023 | ISSTA | More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. | Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, Owolabi Legunsen |
| 2023 | ISSTA | Extracting Inline Tests from Unit Tests. | Yu Liu, Pengyu Nie, Anna Guo, Milos Gligoric, Owolabi Legunsen |
| 2023 | ISSTA | Pattern-Based Peephole Optimizations with Java JIT Tests. | Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric |
| 2022 | ACL | Impact of Evaluation Methodologies on Code Summarization. | Pengyu Nie, Jiyang Zhang, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric |
| 2022 | ACL | Learning to Describe Solutions for Bug Reports Based on Developer Discussions. | Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney |
| 2022 | AST | Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration. | Renan Greca, Breno Miranda, Milos Gligoric, Antonia Bertolino |
| 2022 | AST | Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection. | Jiyang Zhang, Yu Liu, Milos Gligoric, Owolabi Legunsen, August Shi |
| 2022 | EMNLP | Using Developer Discussions to Guide Fixing Bugs in Software. | Sheena Panthaplackel, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney |
| 2022 | ICSE | PyKokkos: Performance Portable Kernels in Python. | Nader Al Awar, Neil Mehta, Steven Zhu, George Biros, Milos Gligoric |
| 2022 | SC | Parla: A Python Orchestration System for Heterogeneous Architectures. | Hochan Lee, William Ruys, Ian Henriksen, Arthur Michener Peters, Yineng Yan, Sean Stephens, Bozhi You, Henrique Fingler, Martin Burtscher, Milos Gligoric, Karl W. Schulz, Keshav Pingali, Christopher J. Rossbach, Mattan Erez, George Biros |
| 2022 | SBAC-PAD | A Multi-GPU Python Solver for Low-Temperature Non-Equilibrium Plasmas. | James Almgren-Bell, Nader Al Awar, Dilip S. Geethakrishnan, Milos Gligoric, George Biros |
| 2021 | AAAI | Deep Just-In-Time Inconsistency Detection Between Comments and Source Code. | Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney |
| 2021 | ICS | A performance portability framework for Python. | Nader Al Awar, Steven Zhu, George Biros, Milos Gligoric |
| 2021 | ICSE | Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. | Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric |
| 2020 | AAAI | Associating Natural Language Comment and Source Code Entities. | Sheena Panthaplackel, Milos Gligoric, Raymond J. Mooney, Junyi Jessy Li |
| 2020 | ACL | Learning to Update Natural Language Comments Based on Code Changes. | Sheena Panthaplackel, Pengyu Nie, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney |
| 2020 | CADE | Deep Generation of Coq Lemma Names Using Elaborated Terms. | Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric |
| 2020 | ICSE | Predictive constraint solving and analysis. | Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid |
| 2020 | ICSE | mCoq: mutation analysis for Coq verification projects. | Kush Jain, Karl Palmskog, Ahmet elik, Emilio Jess Gallego Arias, Milos Gligoric |
| 2020 | ISSTA | Debugging the performance of Maven's test isolation: experience report. | Pengyu Nie, Ahmet elik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, Milos Gligoric |
| 2020 | TACAS | Practical Machine-Checked Formalization of Change Impact Analysis. | Karl Palmskog, Ahmet elik, Milos Gligoric |
| 2019 | ICSE | VeDebug: regression debugging tool for Java. | Ben Buhse, Thomas Wei, Zhiqiang Zang, Aleksandar Milicevic, Milos Gligoric |
| 2019 | ICSE | Code transformation issues in move-instance-method refactorings. | Jongwook Kim, Don S. Batory, Milos Gligoric |
| 2019 | ICSE | A framework for checking regression test selection tools. | Chenguang Zhu, Owolabi Legunsen, August Shi, Milos Gligoric |
| 2019 | ICST | Extension-Aware Automated Testing Based on Imperative Predicates. | Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid |
| 2019 | ICST | Resurgence of Regression Test Selection for C++. | Ben Fu, Sasa Misailovic, Milos Gligoric |
| 2019 | TACAS | Incremental Analysis of Evolving Alloy Models. | Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid |
| 2018 | AAAI | Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves. | Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric |
| 2018 | ICSE | A regression proof selection tool for coq. | Ahmet elik, Karl Palmskog, Milos Gligoric |
| 2018 | ICSE | Towards refactoring-aware regression test selection. | Kaiyuan Wang, Chenguang Zhu, Ahmet elik, Jongwook Kim, Don S. Batory, Milos Gligoric |
| 2018 | ICST | Approximate Transformations as Mutation Operators. | Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic |
| 2018 | ISSTA | piCoq: parallel regression proving for large-scale verification projects. | Karl Palmskog, Ahmet elik, Milos Gligoric |
| 2017 | FASE | Selective Bisection Debugging. | Ripon Saha, Milos Gligoric |
| 2017 | ICSE | Mutation Testing Meets Approximate Computing. | Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi |
| 2016 | ISSRE | The Effect of Test Suite Type on Regression Test Selection. | Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel |
| 2015 | ICSE | Ekstazi: Lightweight Test Selection. | Milos Gligoric, Lamyaa Eloussi, Darko Marinov |
| 2015 | ISSTA | Practical regression test selection with dynamic file dependencies. | Milos Gligoric, Lamyaa Eloussi, Darko Marinov |
| 2014 | CAV | Regression Test Selection for Distributed Software Histories. | Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov |
| 2014 | OOPSLA | Automated migration of build scripts using dynamic analysis and search-based refactoring. | Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits |
| 2013 | ECOOP | Systematic Testing of Refactoring Engines on Real Software Projects. | Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov |
| 2013 | ISSTA | Comparing non-adequate test suites using coverage criteria. | Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov |
| 2013 | ISSTA | Selective mutation testing for concurrent code. | Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam |
| 2013 | OOPSLA | Model-based, event-driven programming paradigm for interactive web applications. | Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov |
| 2013 | TACAS | Model Checking Database Applications. | Milos Gligoric, Rupak Majumdar |
| 2012 | ICST | X10X: Model Checking a New Programming Language with an "Old" Model Checker. | Milos Gligoric, Peter C. Mehlitz, Darko Marinov |
| 2011 | FASE | Testing Container Classes: Random or Systematic? | Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov |
| 2011 | ISSTA | CoDeSe: fast deserialization via code generation. | Milos Gligoric, Darko Marinov, Sam Kamin |
| 2010 | ICSE | Test generation through programming in UDITA. | Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov |
| 2010 | ICSE | IMUnit: improved multithreaded unit testing. | Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov |
| 2010 | ICST | MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. | Milos Gligoric, Vilas Jagannath, Darko Marinov |
| 2010 | ICST | Mutation Operators for Actor Systems. | Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha |
| 2010 | ICST | A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures. | Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov |
| 2009 | ICST | Optimizing Generation of Object Graphs in Java PathFinder. | Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid |
| 2008 | ICSE | State extensions for java pathfinder. | Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid |