Milos Gligoric

131 papers A* 19A 24B 2C 3Journal 43Unranked 39

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Understanding and Finding JIT Compiler Performance Bugs. CoRR Zijian Yi, Cheng Ding, August Shi, Milos Gligoric
2025	J	`jnl`	A Portable Multi-GPU Solver for Collisional Plasmas with Coulombic Interactions. CoRR James Almgren-Bell, Nader Al Awar, Dilip S. Geethakrishnan, Milos Gligoric, George Biros
2025	—	`conf`	A Tool for Generating Exceptional Behavior Tests With Large Language Models. SIGSOFT FSE Companion Linghan Zhong, Samuel Yuan, Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
2025	J	`jnl`	A Tool for Generating Exceptional Behavior Tests With Large Language Models. CoRR Linghan Zhong, Samuel Yuan, Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
2025	J	`jnl`	Dynamically Fusing Python HPC Kernels. Proc. ACM Softw. Eng. Nader Al Awar, Muhammad Hannan Naeem, James Almgren-Bell, George Biros, Milos Gligoric
2025	A	`conf`	In-Memory Object Graph Stores. ECOOP Aditya Thimmaiah, Zijian Yi, Joseph Kenis, Christopher J. Rossbach, Milos Gligoric
2025	J	`jnl`	PLSemanticsBench: Large Language Models As Programming Language Interpreters. CoRR Aditya Thimmaiah, Jiyang Zhang, Jayanth Srinivasa, Junyi Jessy Li, Milos Gligoric
2025	J	`jnl`	Performance Characterization of Python Runtimes for Multi-device Task Parallel Programming. Int. J. Parallel Program. William Ruys, Hochan Lee, Bozhi You, Shreya Talati, Jaeyoung Park, James Almgren-Bell, Yineng Yan, Milinda Fernando, Mattan Erez, Milos Gligoric, Martin Burtscher, Christopher J. Rossbach, Keshav Pingali, George Biros
2025	A	`conf`	Speeding up the Local C++ Development Cycle with Header Substitution. CGO Nader Al Awar, Zijian Yi, George Biros, Milos Gligoric
2025	—	`conf`	VLCs: Managing Parallelism with Virtualized Libraries. SoCC 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	J	`jnl`	VLCs: Managing Parallelism with Virtualized Libraries. CoRR 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	A*	`conf`	exLong: Generating Exceptional Behavior Tests with Large Language Models. ICSE Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
2024	—	`conf`	A Deep Dive into Task-Based Parallelism in Python. IPDPS (Workshops) William Ruys, Hochan Lee, Bozhi You, Shreya Talati, Jaeyoung Park, James Almgren-Bell, Yineng Yan, Milinda Fernando, George Biros, Mattan Erez, Martin Burtscher, Christopher J. Rossbach, Keshav Pingali, Milos Gligoric
2024	—	`conf`	ExLi: An Inline-Test Generation Tool for Java. SIGSOFT FSE Companion Yu Liu, Aditya Thimmaiah, Owolabi Legunsen, Milos Gligoric
2024	J	`jnl`	Generating Exceptional Behavior Tests with Reasoning Augmented Large Language Models. CoRR Jiyang Zhang, Yu Liu, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
2024	A	`conf`	Impact of JVM Configurations on Test Runtime. ICSME Abdelrahman Baz, Milos Gligoric, August Shi
2024	—	`conf`	JOG: Java JIT Peephole Optimizations and Tests from Patterns. ICSE Companion Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric
2024	J	`jnl`	Java JIT Testing with Template Extraction. CoRR Zhiqiang Zang, Fu-Yao Yu, Aditya Thimmaiah, August Shi, Milos Gligoric
2024	J	`jnl`	Java JIT Testing with Template Extraction. Proc. ACM Softw. Eng. Zhiqiang Zang, Fu-Yao Yu, Aditya Thimmaiah, August Shi, Milos Gligoric
2024	A*	`conf`	Object Graph Programming. ICSE Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric
2024	J	`jnl`	Object Graph Programming. CoRR Aditya Thimmaiah, Leonidas Lampropoulos, Christopher J. Rossbach, Milos Gligoric
2024	J	`jnl`	Pattern-Based Peephole Optimizations with Java JIT Tests. CoRR Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric
2023	A	`conf`	Extracting Inline Tests from Unit Tests. ISSTA Yu Liu, Pengyu Nie, Anna Guo, Milos Gligoric, Owolabi Legunsen
2023	—	`conf`	JATTACK: Java JIT Testing using Template Programs. ICSE Companion Zhiqiang Zang, Fu-Yao Yu, Nathan Wiatrek, Milos Gligoric, August Shi
2023	A*	`conf`	Learning Deep Semantics for Test Completion. ICSE Pengyu Nie, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric
2023	J	`jnl`	Learning Deep Semantics for Test Completion. CoRR Pengyu Nie, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric
2023	A	`conf`	More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. ISSTA Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, Owolabi Legunsen
2023	J	`jnl`	Multilingual Code Co-Evolution Using Large Language Models. CoRR Jiyang Zhang, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
2023	—	`conf`	Multilingual Code Co-evolution using Large Language Models. ESEC/SIGSOFT FSE Jiyang Zhang, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
2023	A	`conf`	Pattern-Based Peephole Optimizations with Java JIT Tests. ISSTA Zhiqiang Zang, Aditya Thimmaiah, Milos Gligoric
2023	—	`conf`	pytest-inline: An Inline Testing Tool for Python. ICSE Companion Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen
2023	J	`jnl`	pytest-inline: An Inline Testing Tool for Python. CoRR Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen
2022	C	`conf`	A Multi-GPU Python Solver for Low-Temperature Non-Equilibrium Plasmas. SBAC-PAD James Almgren-Bell, Nader Al Awar, Dilip S. Geethakrishnan, Milos Gligoric, George Biros
2022	A*	`conf`	CoditT5: Pretraining for Source Code and Natural Language Editing. ASE Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
2022	J	`jnl`	CoditT5: Pretraining for Source Code and Natural Language Editing. CoRR Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
2022	C	`conf`	Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection. AST Jiyang Zhang, Yu Liu, Milos Gligoric, Owolabi Legunsen, August Shi
2022	C	`conf`	Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration. AST Renan Greca, Breno Miranda, Milos Gligoric, Antonia Bertolino
2022	A*	`conf`	Compiler Testing using Template Java Programs. ASE Zhiqiang Zang, Nathan Wiatrek, Milos Gligoric, August Shi
2022	J	`jnl`	Compiler Testing using Template Java Programs. CoRR Zhiqiang Zang, Nathan Wiatrek, Milos Gligoric, August Shi
2022	—	`conf`	Impact of Evaluation Methodologies on Code Summarization. ACL (1) Pengyu Nie, Jiyang Zhang, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric
2022	A*	`conf`	Inline Tests. ASE Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric
2022	J	`jnl`	Inline Tests. CoRR Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric
2022	—	`conf`	Learning to Describe Solutions for Bug Reports Based on Developer Discussions. ACL (Findings) Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney
2022	A	`conf`	Parla: A Python Orchestration System for Heterogeneous Architectures. SC 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	—	`conf`	PyKokkos: Performance Portable Kernels in Python. ICSE-Companion Nader Al Awar, Neil Mehta, Steven Zhu, George Biros, Milos Gligoric
2022	—	`conf`	Python-by-contract dataset. ESEC/SIGSOFT FSE Jiyang Zhang, Marko Ristin, Phillip Schanely, Hans Wernher van de Venn, Milos Gligoric
2022	—	`conf`	Using Developer Discussions to Guide Fixing Bugs in Software. EMNLP (Findings) Sheena Panthaplackel, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney
2022	J	`jnl`	Using Developer Discussions to Guide Fixing Bugs in Software. CoRR Sheena Panthaplackel, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney
2021	A	`conf`	A performance portability framework for Python. ICS Nader Al Awar, Steven Zhu, George Biros, Milos Gligoric
2021	A*	`conf`	Deep Just-In-Time Inconsistency Detection Between Comments and Source Code. AAAI Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney
2021	A*	`conf`	Dynamic Generation of Python Bindings for HPC Kernels. ASE Steven Zhu, Nader Al Awar, Mattan Erez, Milos Gligoric
2021	J	`jnl`	Evaluation Methodologies for Code Learning Tasks. CoRR Pengyu Nie, Jiyang Zhang, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric
2021	J	`jnl`	Learning to Describe Solutions for Bug Reports Based on Developer Discussions. CoRR Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney
2021	J	`jnl`	Learning to Generate Code Comments from Class Hierarchies. CoRR Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Raymond J. Mooney, Junyi Jessy Li, Milos Gligoric
2021	J	`jnl`	Programming and execution models for parallel bounded exhaustive testing. Proc. ACM Program. Lang. Nader Al Awar, Kush Jain, Christopher J. Rossbach, Milos Gligoric
2021	—	`conf`	Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. ICSE (Companion Volume) Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
2021	J	`jnl`	Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. CoRR Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
2021	J	`jnl`	The Kokkos EcoSystem: Comprehensive Performance Portability for High Performance Computing. Comput. Sci. Eng. Christian Trott, Luc Berger-Vergiat, David Poliakoff, Sivasankaran Rajamanickam, Damien Lebrun-Grandié, Jonathan R. Madsen, Nader Al Awar, Milos Gligoric, Galen M. Shipman, Geoff Womeldorff
2020	A*	`conf`	Associating Natural Language Comment and Source Code Entities. AAAI Sheena Panthaplackel, Milos Gligoric, Raymond J. Mooney, Junyi Jessy Li
2020	A	`conf`	Debugging the performance of Maven's test isolation: experience report. ISSTA Pengyu Nie, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, Milos Gligoric
2020	—	`conf`	Deep Generation of Coq Lemma Names Using Elaborated Terms. IJCAR (2) Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
2020	J	`jnl`	Deep Generation of Coq Lemma Names Using Elaborated Terms. CoRR Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
2020	J	`jnl`	Deep Just-In-Time Inconsistency Detection Between Comments and Source Code. CoRR Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney
2020	J	`jnl`	Learning to Format Coq Code Using Language Models. CoRR Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
2020	A*	`conf`	Learning to Update Natural Language Comments Based on Code Changes. ACL Sheena Panthaplackel, Pengyu Nie, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney
2020	J	`jnl`	Learning to Update Natural Language Comments Based on Code Changes. CoRR Sheena Panthaplackel, Pengyu Nie, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney
2020	—	`conf`	On the naturalness of hardware descriptions. ESEC/SIGSOFT FSE Jaeseong Lee, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
2020	—	`conf`	Practical Machine-Checked Formalization of Change Impact Analysis. TACAS (2) Karl Palmskog, Ahmet Çelik, Milos Gligoric
2020	—	`conf`	Predictive constraint solving and analysis. ICSE (NIER) Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
2020	J	`jnl`	QED at Large: A Survey of Engineering of Formally Verified Software. CoRR Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
2020	J	`jnl`	The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu
2020	J	`jnl`	Unifying execution of imperative generators and declarative specifications. Proc. ACM Program. Lang. Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric
2020	—	`conf`	mCoq: mutation analysis for Coq verification projects. ICSE (Companion Volume) Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric
2019	A*	`conf`	A framework for checking regression test selection tools. ICSE Chenguang Zhu, Owolabi Legunsen, August Shi, Milos Gligoric
2019	—	`conf`	A framework for writing trigger-action todo comments in executable format. ESEC/SIGSOFT FSE Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
2019	J	`jnl`	Associating Natural Language Comment and Source Code Entities. CoRR Sheena Panthaplackel, Milos Gligoric, Raymond J. Mooney, Junyi Jessy Li
2019	—	`conf`	Code transformation issues in move-instance-method refactorings. IWOR@ICSE JongWook Kim, Don S. Batory, Milos Gligoric
2019	J	`jnl`	Design, implementation, and application of GPU-based Java bytecode interpreters. Proc. ACM Program. Lang. Ahmet Çelik, Pengyu Nie, Christopher J. Rossbach, Milos Gligoric
2019	A	`conf`	Extension-Aware Automated Testing Based on Imperative Predicates. ICST Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid
2019	—	`conf`	Incremental Analysis of Evolving Alloy Models. TACAS (1) Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
2019	A*	`conf`	Mutation Analysis for Coq. ASE Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric
2019	J	`jnl`	Precise semantic history slicing through dynamic delta refinement. Autom. Softw. Eng. Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik
2019	J	`jnl`	QED at Large: A Survey of Engineering of Formally Verified Software. Found. Trends Program. Lang. Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
2019	J	`jnl`	Quantifying the Exploration of the Korat Solver for Imperative Constraints. ACM SIGSOFT Softw. Eng. Notes Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
2019	A	`conf`	Resurgence of Regression Test Selection for C++. ICST Ben Fu, Sasa Misailovic, Milos Gligoric
2019	—	`conf`	VeDebug: regression debugging tool for Java. ICSE (Companion Volume) Ben Buhse, Thomas Wei, Zhiqiang Zang, Aleksandar Milicevic, Milos Gligoric
2018	J	`jnl`	A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Softw. Eng. Notes Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
2018	—	`conf`	A regression proof selection tool for coq. ICSE (Companion Volume) Ahmet Çelik, Karl Palmskog, Milos Gligoric
2018	A	`conf`	Approximate Transformations as Mutation Operators. ICST Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic
2018	J	`jnl`	Executable Trigger-Action Comments. CoRR Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
2018	—	`conf`	Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves. AAAI Workshops Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
2018	—	`conf`	Regression test selection for TizenRT. ESEC/SIGSOFT FSE Ahmet Çelik, Young-Chul Lee, Milos Gligoric
2018	A*	`conf`	Towards refactoring-aware regression test selection. ICSE Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, JongWook Kim, Don S. Batory, Milos Gligoric
2018	A	`conf`	piCoq: parallel regression proving for large-scale verification projects. ISSTA Karl Palmskog, Ahmet Çelik, Milos Gligoric
2017	J	`jnl`	Bounded exhaustive test-input generation on GPUs. Proc. ACM Program. Lang. Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric
2017	—	`conf`	File-level vs. module-level regression test selection for .NET. ESEC/SIGSOFT FSE Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, Milos Gligoric
2017	J	`jnl`	JPR: Replaying JPF Traces Using Standard JVM. ACM SIGSOFT Softw. Eng. Notes Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric
2017	—	`conf`	Mutation Testing Meets Approximate Computing. ICSE-NIER Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi
2017	—	`conf`	Regression test selection across JVM boundaries. ESEC/SIGSOFT FSE Ahmet Çelik, Marko Vasic, Aleksandar Milicevic, Milos Gligoric
2017	B	`conf`	Selective Bisection Debugging. FASE Ripon Saha, Milos Gligoric
2017	A*	`conf`	iCoq: regression proof selection for large-scale verification projects. ASE Ahmet Çelik, Karl Palmskog, Milos Gligoric
2016	—	`conf`	Build system with lazy retrieval for Java projects. SIGSOFT FSE Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric
2016	A	`conf`	The Effect of Test Suite Type on Regression Test Selection. ISSRE Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel
2015	—	`conf`	Ekstazi: Lightweight Test Selection. ICSE (2) Milos Gligoric, Lamyaa Eloussi, Darko Marinov
2015	J	`jnl`	Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. ACM Trans. Softw. Eng. Methodol. Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
2015	A	`conf`	Practical regression test selection with dynamic file dependencies. ISSTA Milos Gligoric, Lamyaa Eloussi, Darko Marinov
2015	—	`—`	Regression test selection: theory and practice Milos Gligoric
2014	A*	`conf`	An empirical evaluation and comparison of manual and automated test selection. ASE Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov
2014	A	`conf`	Automated migration of build scripts using dynamic analysis and search-based refactoring. OOPSLA Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits
2014	—	`conf`	Balancing trade-offs in test-suite reduction. SIGSOFT FSE August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov
2014	A*	`conf`	Regression Test Selection for Distributed Software Histories. CAV Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov
2013	A	`conf`	Comparing non-adequate test suites using coverage criteria. ISSTA Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
2013	J	`jnl`	Efficient mutation testing of multithreaded code. Softw. Test. Verification Reliab. Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov
2013	A	`conf`	Model Checking Database Applications. TACAS Milos Gligoric, Rupak Majumdar
2013	—	`conf`	Model-based, event-driven programming paradigm for interactive web applications. Onward! Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov
2013	A*	`conf`	Operator-based and random mutant selection: Better together. ASE Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid
2013	A	`conf`	Selective mutation testing for concurrent code. ISSTA Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam
2013	A	`conf`	Systematic Testing of Refactoring Engines on Real Software Projects. ECOOP Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov
2012	A	`conf`	X10X: Model Checking a New Programming Language with an "Old" Model Checker. ICST Milos Gligoric, Peter C. Mehlitz, Darko Marinov
2011	A	`conf`	CoDeSe: fast deserialization via code generation. ISSTA Milos Gligoric, Darko Marinov, Sam Kamin
2011	A*	`conf`	Fault-localization using dynamic slicing and change impact analysis. ASE Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim
2011	—	`conf`	Improved multithreaded unit testing. SIGSOFT FSE Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov
2011	—	`conf`	SMutant: a tool for type-sensitive mutation testing in a dynamic language. SIGSOFT FSE Milos Gligoric, Sandro Badame, Ralph Johnson
2011	B	`conf`	Testing Container Classes: Random or Systematic? FASE Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov
2010	—	`conf`	A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures. ICST Workshops Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov
2010	—	`conf`	IMUnit: improved multithreaded unit testing. IWMSE@ICSE Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov
2010	A	`conf`	MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. ICST Milos Gligoric, Vilas Jagannath, Darko Marinov
2010	—	`conf`	Mutation Operators for Actor Systems. ICST Workshops Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha
2010	—	`conf`	Test generation through programming in UDITA. ICSE (1) Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov
2009	A	`conf`	Optimizing Generation of Object Graphs in Java PathFinder. ICST Milos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid
2008	A*	`conf`	State extensions for java pathfinder. ICSE Tihomir Gvero, Milos Gligoric, Steven Lauterburg, Marcelo d'Amorim, Darko Marinov, Sarfraz Khurshid