Milos Gligoric

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 78

Top Venues

Publications

Pengyu Nie, Rahul Banerjee, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric
Learning Deep Semantics for Test Completion. CoRR (2023)
Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen
pytest-inline: An Inline Testing Tool for Python. CoRR (2023)
Milos Gligoric, Zoran Gligoric, Suzana Lutovac, Milanka Negovanovic, Zlatko Langovic
Novel Hybrid MPSI-MARA Decision-Making Model for Support System Selection in an Underground Mine. Syst. 10 (6) (2022)
Zhiqiang Zang, Nathan Wiatrek, Milos Gligoric, August Shi
Compiler Testing using Template Java Programs. ASE (2022)
Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric
Inline Tests. CoRR (2022)
Zhiqiang Zang, Nathan Wiatrek, Milos Gligoric, August Shi
Compiler Testing using Template Java Programs. CoRR (2022)
Pengyu Nie, Jiyang Zhang, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric
Impact of Evaluation Methodologies on Code Summarization. ACL (1) (2022)
Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric
Inline Tests. ASE (2022)
Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney
Learning to Describe Solutions for Bug Reports Based on Developer Discussions. ACL (Findings) (2022)
Sheena Panthaplackel, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney
Using Developer Discussions to Guide Fixing Bugs in Software. EMNLP (Findings) (2022)
Sheena Panthaplackel, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney
Using Developer Discussions to Guide Fixing Bugs in Software. CoRR (2022)
Renan Greca, Breno Miranda, Milos Gligoric, Antonia Bertolino
Comparing and Combining File-based Selection and Similarity-based Prioritization towards Regression Test Orchestration. AST@ICSE (2022)
Jiyang Zhang, Yu Liu, Milos Gligoric, Owolabi Legunsen, August Shi
Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection. AST@ICSE (2022)
Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
CoditT5: Pretraining for Source Code and Natural Language Editing. ASE (2022)
Nader Al Awar, Neil Mehta, Steven Zhu, George Biros, Milos Gligoric
PyKokkos: Performance Portable Kernels in Python. ICSE-Companion (2022)
Jiyang Zhang, Marko Ristin, Phillip Schanely, Hans Wernher van de Venn, Milos Gligoric
Python-by-contract dataset. ESEC/SIGSOFT FSE (2022)
James Almgren-Bell, Nader Al Awar, Dilip S. Geethakrishnan, Milos Gligoric, George Biros
A Multi-GPU Python Solver for Low-Temperature Non-Equilibrium Plasmas. SBAC-PAD (2022)
Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
CoditT5: Pretraining for Source Code and Natural Language Editing. CoRR (2022)
Hochan Lee, William Ruys, Ian Henriksen, Arthur Peters, Yineng Yan, Sean Stephens, Bozhi You, Henrique Fingler, Martin Burtscher, Milos Gligoric, Karl Schulz, Keshav Pingali, Christopher J. Rossbach, Mattan Erez, George Biros
Parla: A Python Orchestration System for Heterogeneous Architectures. SC (2022)
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
The Kokkos EcoSystem: Comprehensive Performance Portability for High Performance Computing. Comput. Sci. Eng. 23 (5) (2021)
Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney
Deep Just-In-Time Inconsistency Detection Between Comments and Source Code. AAAI (2021)
Pengyu Nie, Jiyang Zhang, Junyi Jessy Li, Raymond J. Mooney, Milos Gligoric
Evaluation Methodologies for Code Learning Tasks. CoRR (2021)
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. ICSE (Companion Volume) (2021)
Nader Al Awar, Steven Zhu, George Biros, Milos Gligoric
A performance portability framework for Python. ICS (2021)
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning. CoRR (2021)
Steven Zhu, Nader Al Awar, Mattan Erez, Milos Gligoric
Dynamic Generation of Python Bindings for HPC Kernels. ASE (2021)
Jiyang Zhang, Sheena Panthaplackel, Pengyu Nie, Raymond J. Mooney, Junyi Jessy Li, Milos Gligoric
Learning to Generate Code Comments from Class Hierarchies. CoRR (2021)
Nader Al Awar, Kush Jain, Christopher J. Rossbach, Milos Gligoric
Programming and execution models for parallel bounded exhaustive testing. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney
Learning to Describe Solutions for Bug Reports Based on Developer Discussions. CoRR (2021)
Sheena Panthaplackel, Junyi Jessy Li, Milos Gligoric, Raymond J. Mooney
Deep Just-In-Time Inconsistency Detection Between Comments and Source Code. CoRR (2020)
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
QED at Large: A Survey of Engineering of Formally Verified Software. CoRR (2020)
Alyas Almaawi, Nima Dini, Cagdas Yelen, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
Predictive constraint solving and analysis. ICSE (NIER) (2020)
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
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45 (2) (2020)
Sheena Panthaplackel, Pengyu Nie, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney
Learning to Update Natural Language Comments Based on Code Changes. CoRR (2020)
Kush Jain, Karl Palmskog, Ahmet Çelik, Emilio Jesús Gallego Arias, Milos Gligoric
mCoq: mutation analysis for Coq verification projects. ICSE (Companion Volume) (2020)
Pengyu Nie, Marinela Parovic, Zhiqiang Zang, Sarfraz Khurshid, Aleksandar Milicevic, Milos Gligoric
Unifying execution of imperative generators and declarative specifications. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Karl Palmskog, Ahmet Çelik, Milos Gligoric
Practical Machine-Checked Formalization of Change Impact Analysis. TACAS (2) (2020)
Sheena Panthaplackel, Pengyu Nie, Milos Gligoric, Junyi Jessy Li, Raymond J. Mooney
Learning to Update Natural Language Comments Based on Code Changes. ACL (2020)
Sheena Panthaplackel, Milos Gligoric, Raymond J. Mooney, Junyi Jessy Li
Associating Natural Language Comment and Source Code Entities. AAAI (2020)
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
Deep Generation of Coq Lemma Names Using Elaborated Terms. IJCAR (2) (2020)
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
Learning to Format Coq Code Using Language Models. CoRR (2020)
Pengyu Nie, Ahmet Çelik, Matthew Coley, Aleksandar Milicevic, Jonathan Bell, Milos Gligoric
Debugging the performance of Maven's test isolation: experience report. ISSTA (2020)
Jaeseong Lee, Pengyu Nie, Junyi Jessy Li, Milos Gligoric
On the naturalness of hardware descriptions. ESEC/SIGSOFT FSE (2020)
Pengyu Nie, Karl Palmskog, Junyi Jessy Li, Milos Gligoric
Deep Generation of Coq Lemma Names Using Elaborated Terms. CoRR (2020)
Sheena Panthaplackel, Milos Gligoric, Raymond J. Mooney, Junyi Jessy Li
Associating Natural Language Comment and Source Code Entities. CoRR (2019)
Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
A framework for writing trigger-action todo comments in executable format. ESEC/SIGSOFT FSE (2019)
Ahmet Çelik, Karl Palmskog, Marinela Parovic, Emilio Jesús Gallego Arias, Milos Gligoric
Mutation Analysis for Coq. ASE (2019)
Ben Buhse, Thomas Wei, Zhiqiang Zang, Aleksandar Milicevic, Milos Gligoric
VeDebug: regression debugging tool for Java. ICSE (Companion Volume) (2019)
Talia Ringer, Karl Palmskog, Ilya Sergey, Milos Gligoric, Zachary Tatlock
QED at Large: A Survey of Engineering of Formally Verified Software. Found. Trends Program. Lang. 5 (2-3) (2019)
Yi Li, Chenguang Zhu, Milos Gligoric, Julia Rubin, Marsha Chechik
Precise semantic history slicing through dynamic delta refinement. Autom. Softw. Eng. 26 (4) (2019)
Alyas Almaawi, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
Quantifying the Exploration of the Korat Solver for Imperative Constraints. ACM SIGSOFT Softw. Eng. Notes 44 (4) (2019)
Chenguang Zhu, Owolabi Legunsen, August Shi, Milos Gligoric
A framework for checking regression test selection tools. ICSE (2019)
Dusan Polomcic, Zoran Gligoric, Dragoljub Bajic, Milos Gligoric, Milanka Negovanovic
Multi-Criteria Fuzzy-Stochastic Diffusion Model of Groundwater Control System Selection. Symmetry 11 (5) (2019)
Ben Fu, Sasa Misailovic, Milos Gligoric
Resurgence of Regression Test Selection for C++. ICST (2019)
Nima Dini, Cagdas Yelen, Milos Gligoric, Sarfraz Khurshid
Extension-Aware Automated Testing Based on Imperative Predicates. ICST (2019)
Ahmet Çelik, Pengyu Nie, Christopher J. Rossbach, Milos Gligoric
Design, implementation, and application of GPU-based Java bytecode interpreters. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Jongwook Kim, Don S. Batory, Milos Gligoric
Code transformation issues in move-instance-method refactorings. IWOR@ICSE (2019)
Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
Incremental Analysis of Evolving Alloy Models. TACAS (1) (2019)
Ahmet Çelik, Karl Palmskog, Milos Gligoric
A regression proof selection tool for coq. ICSE (Companion Volume) (2018)
Pengyu Nie, Rishabh Rai, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
Executable Trigger-Action Comments. CoRR (2018)
Pengyu Nie, Junyi Jessy Li, Sarfraz Khurshid, Raymond J. Mooney, Milos Gligoric
Natural Language Processing and Program Analysis for Supporting Todo Comments as Software Evolves. AAAI Workshops (2018)
Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Softw. Eng. Notes 43 (4) (2018)
Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, Jongwook Kim, Don S. Batory, Milos Gligoric
Towards refactoring-aware regression test selection. ICSE (2018)
Ahmet Çelik, Young-Chul Lee, Milos Gligoric
Regression test selection for TizenRT. ESEC/SIGSOFT FSE (2018)
Karl Palmskog, Ahmet Çelik, Milos Gligoric
piCoq: parallel regression proving for large-scale verification projects. ISSTA (2018)
Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic
Approximate Transformations as Mutation Operators. ICST (2018)
Ripon Saha, Milos Gligoric
Selective Bisection Debugging. FASE (2017)
Marko Vasic, Zuhair Parvez, Aleksandar Milicevic, Milos Gligoric
File-level vs. module-level regression test selection for .NET. ESEC/SIGSOFT FSE (2017)
Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric
JPR: Replaying JPF Traces Using Standard JVM. ACM SIGSOFT Softw. Eng. Notes 42 (4) (2017)
Ahmet Çelik, Marko Vasic, Aleksandar Milicevic, Milos Gligoric
Regression test selection across JVM boundaries. ESEC/SIGSOFT FSE (2017)
Ahmet Çelik, Karl Palmskog, Milos Gligoric
iCoq: regression proof selection for large-scale verification projects. ASE (2017)
Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic, August Shi
Mutation Testing Meets Approximate Computing. ICSE-NIER (2017)
Ahmet Çelik, Sreepathi Pai, Sarfraz Khurshid, Milos Gligoric
Bounded exhaustive test-input generation on GPUs. Proc. ACM Program. Lang. 1 (OOPSLA) (2017)
Nima Dini, Allison Sullivan, Milos Gligoric, Gregg Rothermel
The Effect of Test Suite Type on Regression Test Selection. ISSRE (2016)
Ahmet Çelik, Alex Knaust, Aleksandar Milicevic, Milos Gligoric
Build system with lazy retrieval for Java projects. SIGSOFT FSE (2016)
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
Guidelines for Coverage-Based Comparisons of Non-Adequate Test Suites. ACM Trans. Softw. Eng. Methodol. 24 (4) (2015)
Milos Gligoric, Lamyaa Eloussi, Darko Marinov
Practical regression test selection with dynamic file dependencies. ISSTA (2015)
Milos Gligoric, Lamyaa Eloussi, Darko Marinov
Ekstazi: Lightweight Test Selection. ICSE (2) (2015)
Milos Gligoric, Wolfram Schulte, Chandra Prasad, Danny van Velzen, Iman Narasamdya, Benjamin Livshits
Automated migration of build scripts using dynamic analysis and search-based refactoring. OOPSLA (2014)
Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov
An empirical evaluation and comparison of manual and automated test selection. ASE (2014)
Milos Gligoric, Rupak Majumdar, Rohan Sharma, Lamyaa Eloussi, Darko Marinov
Regression Test Selection for Distributed Software Histories. CAV (2014)
August Shi, Alex Gyori, Milos Gligoric, Andrey Zaytsev, Darko Marinov
Balancing trade-offs in test-suite reduction. SIGSOFT FSE (2014)
Lingming Zhang, Milos Gligoric, Darko Marinov, Sarfraz Khurshid
Operator-based and random mutant selection: Better together. ASE (2013)
Milos Gligoric, Farnaz Behrang, Yilong Li, Jeffrey Overbey, Munawar Hafiz, Darko Marinov
Systematic Testing of Refactoring Engines on Real Software Projects. ECOOP (2013)
Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov
Model-based, event-driven programming paradigm for interactive web applications. Onward! (2013)
Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam
Selective mutation testing for concurrent code. ISSTA (2013)
Milos Gligoric, Vilas Jagannath, Qingzhou Luo, Darko Marinov
Efficient mutation testing of multithreaded code. Softw. Test. Verification Reliab. 23 (5) (2013)
Milos Gligoric, Rupak Majumdar
Model Checking Database Applications. TACAS (2013)
Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov
Comparing non-adequate test suites using coverage criteria. ISSTA (2013)
Milos Gligoric, Peter C. Mehlitz, Darko Marinov
X10X: Model Checking a New Programming Language with an "Old" Model Checker. ICST (2012)
Milos Gligoric, Darko Marinov, Sam Kamin
CoDeSe: fast deserialization via code generation. ISSTA (2011)
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Qingzhou Luo, Grigore Rosu, Darko Marinov
Improved multithreaded unit testing. SIGSOFT FSE (2011)
Rohan Sharma, Milos Gligoric, Andrea Arcuri, Gordon Fraser, Darko Marinov
Testing Container Classes: Random or Systematic? FASE (2011)
Elton Alves, Milos Gligoric, Vilas Jagannath, Marcelo d'Amorim
Fault-localization using dynamic slicing and change impact analysis. ASE (2011)
Milos Gligoric, Sandro Badame, Ralph Johnson
SMutant: a tool for type-sensitive mutation testing in a dynamic language. SIGSOFT FSE (2011)
Vilas Jagannath, Milos Gligoric, Steven Lauterburg, Darko Marinov, Gul Agha
Mutation Operators for Actor Systems. ICST Workshops (2010)
Milos Gligoric, Tihomir Gvero, Vilas Jagannath, Sarfraz Khurshid, Viktor Kuncak, Darko Marinov
Test generation through programming in UDITA. ICSE (1) (2010)
Milos Gligoric, Vilas Jagannath, Darko Marinov
MuTMuT: Efficient Exploration for Mutation Testing of Multithreaded Code. ICST (2010)
Rohan Sharma, Milos Gligoric, Vilas Jagannath, Darko Marinov
A Comparison of Constraint-Based and Sequence-Based Generation of Complex Input Data Structures. ICST Workshops (2010)
Vilas Jagannath, Milos Gligoric, Dongyun Jin, Grigore Rosu, Darko Marinov
IMUnit: improved multithreaded unit testing. IWMSE@ICSE (2010)

Milos Gligoric.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Milos Gligoric