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

ESEC/FSE 2020	Committee Member in Program Committee within the Research Papers-track
SPLASH 2020	Student Research Competition Co-Chair in Organizing Committee
PLDI 2020	Committee Member in External Review Committee within the PLDI Research Papers-track
WAX 2019	Co-organizer in Organizing Committee within the WAX 2019-track Author of Identifying Optimal Parameters for Approximate Randomized Algorithms within the WAX 2019-track
POPL 2020	Author of Augmented Example-based Synthesis using Relational Perturbation Properties within the Research Papers-track
SPLASH 2019	Author 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 2018	Author of A Progress Bar for the JPF Search Using Program Executions within the JPF-track
PLDI 2019	Committee Member in Program Committee within the PLDI Research Papers-track
PLMW @ PLDI 2018	Presenter of Poster Session within the PLMW @ PLDI 2018-track
ICSE 2020	Programme Committee in Program Committee within the Technical Papers-track
ICSE 2019	Author of Statistical Algorithmic Profiling for Randomized Approximate Programs within the Technical Track-track
ESEC/FSE 2018	Author of Testing Probabilistic Programming Systems within the Research Papers-track Committee Member in Program Committee within the Research Papers-track
PASS 2017	Organizing Committee in Organizing Committee within the PASS 2017-track Session Chair of Invited Talk & Paper Presentation (part of PASS 2017)
PLDI 2018	Committee Member in Student Research Competition Committee Author of Bayonet: Probabilistic Inference for Networks within the PLDI Research Papers-track
‹Programming› 2017	Committee Member in Program Committee within the Research Papers-track
MASS 2016	Keynote Speaker of Session V: MASS'16 Keynote Talk II - Analysis and Optimization of Approximate Programs within the MASS 2016-track
ISSTA 2018	Committee Member in Program Committee within the ISSTA Technical Papers-track
SPLASH 2017	Committee Member in Program Committee within the OOPSLA-track
PLDI 2017	Committee Member in Program Committee Session Chair of Synthesis (part of PLDI Research Papers)
PEPM 2016	Committee Member in Program Committee within the PEPM-track
PLDI 2016	Committee Member in External Review Committee
WAX 2015	Committee Member in Program Committee within the WAX-track
SPLASH 2014	Author of Chisel: Reliability-Aware Optimization of Approximate Computational Kernels within the OOPSLA-track
SPLASH 2013	Author 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 2012	Author of Dancing with uncertainty within the RACES 2012-track
SPLASH 2012	Author of Bolt: on-demand infinite loop escape in unmodified binaries within the OOPSLA Research Papers-track