Sasa Misailovic

Registered user since Mon 13 Jul 2015

Name: Sasa Misailovic

Country: United States

Affiliation: University of Illinois at Urbana-Champaign

Personal website: http://misailo.cs.illinois.edu/

Contributions

SPLASH 2010
ISSTA 2020Author of Detecting Flaky Tests in Probabilistic and Machine Learning Applications within the Technical Papers-track
ESEC/FSE 2020Committee Member in Program Committee within the Research Papers-track
SPLASH 2020Student Research Competition Co-Chair in Organizers within the Student Research Competition-track
Author of Koord: a language for programming and verifying distributed robotics applications within the OOPSLA-track
Student Research Competition Co-Chair in Organizing Committee
Committee Member in External Review Committee within the OOPSLA-track
PLDI 2020Committee Member in External Review Committee within the PLDI Research Papers-track
Session Chair of Probabilistic Programming (part of PLDI Research Papers)
PPoPP 2020Session Chair of Brief Announcements (Mediterranean Ballroom) (part of Brief Announcements)
Brief Announcements Chair in Organizing Committee
WAX 2019Co-organizer in Organizing Committee within the WAX 2019-track
Author of Identifying Optimal Parameters for Approximate Randomized Algorithms within the WAX 2019-track
POPL 2020Author of Augmented Example-based Synthesis using Relational Perturbation Properties within the Research Papers-track
SPLASH 2019Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track
Author of Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization within the OOPSLA-track
Committee Member in External Review Committee within the OOPSLA-track
Session Chair of Test Generation (part of OOPSLA)
Session Chair of Systems at Scale (part of Rebase)
JPF 2018Author of A Progress Bar for the JPF Search Using Program Executions within the JPF-track
PLDI 2019Committee Member in Program Committee within the PLDI Research Papers-track
PLMW @ PLDI 2018Presenter of Poster Session within the PLMW @ PLDI 2018-track
ICSE 2020Programme Committee in Program Committee within the Technical Papers-track
Author of Predictive Constraint Solving and Analysis within the New Ideas and Emerging Results-track
Session Chair of A12-Testing (part of Paper Presentations)
ICSE 2019Author of Statistical Algorithmic Profiling for Randomized Approximate Programs within the Technical Track-track
ESEC/FSE 2018Author of Testing Probabilistic Programming Systems within the Research Papers-track
Committee Member in Program Committee within the Research Papers-track
PASS 2017Organizing Committee in Organizing Committee within the PASS 2017-track
Session Chair of Invited Talk & Paper Presentation (part of PASS 2017)
PLDI 2018Committee Member in Student Research Competition Committee
Author of Bayonet: Probabilistic Inference for Networks within the PLDI Research Papers-track
‹Programming› 2017Committee Member in Program Committee within the Research Papers-track
MASS 2016Keynote Speaker of Session V: MASS'16 Keynote Talk II - Analysis and Optimization of Approximate Programs within the MASS 2016-track
ISSTA 2018Committee Member in Program Committee within the ISSTA Technical Papers-track
SPLASH 2017Committee Member in Program Committee within the OOPSLA-track
PLDI 2017Committee Member in Program Committee
Session Chair of Synthesis (part of PLDI Research Papers)
PEPM 2016Committee Member in Program Committee within the PEPM-track
PLDI 2016Committee Member in External Review Committee
WAX 2015Committee Member in Program Committee within the WAX-track
SPLASH 2014Author of Chisel: Reliability-Aware Optimization of Approximate Computational Kernels within the OOPSLA-track
SPLASH 2013Author of Verifying Quantitative Reliability for Programs That Execute on Unreliable Hardware within the OOPSLA-track
Committee Member in Artifacts within the OOPSLA Artifacts-track
RACES 2012Author of Dancing with uncertainty within the RACES 2012-track
SPLASH 2012Author of Bolt: on-demand infinite loop escape in unmodified binaries within the OOPSLA Research Papers-track