Milos Gligoric -

Registered user since Mon 18 Dec 2017

Name:Milos Gligoric

Affiliation:University of Texas at Austin

Contributions

ASE 2021	Committee Member in Program Committee within the Research Papers-track
SySEPL 2020	Committee Member in Program Committee within the SySEPL 2020-track
ICSE 2022	Committee Member in Program Committee within the Technical Track-track
ISSTA 2020	Committee Member in Program Committee within the Technical Papers-track Session Chair of Summer School (part of Summer School) Organizing Chair in Organizing Committee Author of Debugging the Performance of Maven’s Test Isolation: Experience Report within the Technical Papers-track
ESEC/FSE 2020	Author of On the Naturalness of Hardware Descriptions within the Research Papers-track
SPLASH 2020	Author of Unifying Execution of Imperative Generators and Declarative Specifications within the Posters-track Author of Unifying Execution of Imperative Generators and Declarative Specifications within the OOPSLA-track
ICST 2020	Committee Member in Program Committee within the Research Papers-track Programme Committee in Program Committee within the Industry Track-track
JPF 2019	Committee Member in Program Committee within the JPF 2019-track
ICSE 2021	Author of Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning within the DEMO - Demonstrations-track
ASE 2019	Author of Mutation Analysis for Coq within the Research Papers-track
CoqPL 2019	Author of Verifying Finality for Blockchain Systems within the CoqPL-track
SPLASH 2019	Author of Design, Implementation, and Application of GPU-Based Java Bytecode Interpreters within the OOPSLA-track Author of Design, Implementation, and Application of GPU-based Java Bytecode Interpreters within the OOPSLA Artifacts-track
ISSTA 2019	Committee Member in Program Committee within the Technical Papers-track Committee Member in Program Committee within the Technical Papers-track Committee Member in Program Committee within the Doctoral Symposium -track
JPF 2018	Committee Member in Program Committee within the JPF-track Author of A Progress Bar for the JPF Search Using Program Executions within the JPF-track
TACAS 2019	Author of Incremental Analysis of Evolving Alloy Models within the TACAS 2019-track
ICSE 2020	Author of mCoq: Mutation Analysis for Coq Verification Projects within the Demonstrations-track Programme Committee in Program Committee within the Technical Papers-track Web Co-Chair in Organizing Committee Author of Predictive Constraint Solving and Analysis within the New Ideas and Emerging Results-track
ICSE 2019	Author of VeDebug: Regression Debugging Tool for Java within the Demonstrations-track Author of A Framework for Checking Regression Test Selection Tools within the Technical Track-track Committee Member in Program Committee within the Technical Track-track
ESEC/FSE 2018	Author of Regression Test Selection for TizenRT within the Industry-track Committee Member in Program Committee within the New Ideas and Emerging Results-track Committee Member in Program Committee within the Student Research Competition-track
Onward! 2017	Committee Member in Program Committee within the Onward! Papers-track
ISSTA 2017	Committee Member in Program Committee within the Demonstrations-track Committee Member in Program Committee
ISSTA 2018	Author of piCoq: Parallel Regression Proving for Large-Scale Verification Projects within the ISSTA Technical Papers-track
SPLASH 2017	Author of Bounded Exhaustive Test-Input Generation on GPUs within the OOPSLA-track
Onward! 2016	Committee Member in Program Committee within the Onward! Papers-track
* ICSE 2018 *	Committee Member in SCORE Program Committee within the SCORE-track Author of Towards Refactoring-Aware Regression Test Selection within the Technical Papers -track Author of A Regression Proof Selection Tool For Coq within the DEMO - Demonstrations -track
SPLASH 2014	Author of Automated Migration of Build Scripts using Dynamic Analysis and Search-Based Refactoring within the OOPSLA-track
Onward! 2013	Author of Model-Based, Event-Driven Programming Paradigm for Interactive Web Applications within the Research Papers-track
SPLASH 2013	Committee Member in Artifacts within the OOPSLA Artifacts-track