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

PLDI 2022	Sponsorship Co-Chair in Organizing Committee
ICST 2022	Author of To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects within the Research Papers-track
POPL 2022	Author of A Dual Number Abstraction for Static Analysis of Clarke Jacobians within the POPL-track
MAPS 2021	Committee Member in Program Committee within the MAPS 2021-track
SPLASH 2021	Committee Member in Review Committee within the OOPSLA-track Author of Koord: a language for programming and verifying distributed robotics applications within the SIGPLAN Papers-track
SPLASH 2010
PPoPP 2021	Author of ApproxTuner: A Compiler and Runtime System for Adaptive Approximations within the Main Conference-track
ESEC/FSE 2021	Author of FLEX: Fixing Flaky Tests in Machine Learning Projects by Updating Assertion Bounds within the Research Papers-track
ISSTA 2021	Author of Artifact for #468: TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects within the Artifact Evaluation-track Author of TERA: Optimizing Stochastic Regression Tests in Machine Learning Projects within the Technical Papers-track
ISSTA 2020	Author of Detecting Flaky Tests in Probabilistic and Machine Learning Applications within the Technical Papers-track
ESEC/FSE 2020	Committee Member in Program Committee within the Research Papers-track
SPLASH 2020	Student Research Competition Co-Chair in Organizers within the Student Research Competition-track Author of Koord: A Language for Programming and Verifying Distributed Robotics Application within the OOPSLA-track Student Research Competition Co-Chair in Organizing Committee Committee Member in External Review Committee within the OOPSLA-track
PLDI 2020	Committee Member in External Review Committee within the PLDI Research Papers-track Session Chair of Probabilistic Programming (part of PLDI Research Papers)
PPoPP 2020	Session Chair of Brief Announcements (Mediterranean Ballroom) (part of Brief Announcements) Brief Announcements Chair in Organizing Committee
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 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 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