Sasa Misailovic

Affiliations:
  • University of Illinois at Urbana-Champaign, IL, USA


According to our database1, Sasa Misailovic authored at least 79 papers between 2007 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Synthesizing Precise Static Analyzers for Automatic Differentiation.
Proc. ACM Program. Lang., October, 2023

Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs.
Int. J. Softw. Tools Technol. Transf., August, 2023

Incremental Verification of Neural Networks.
Proc. ACM Program. Lang., 2023

Incremental Randomized Smoothing Certification.
CoRR, 2023

Mobiprox: Supporting Dynamic Approximate Computing on Mobiles.
CoRR, 2023

ASTRA: Understanding the practical impact of robustness for probabilistic programs.
Proceedings of the Uncertainty in Artificial Intelligence, 2023

Balancing Effectiveness and Flakiness of Non-Deterministic Machine Learning Tests.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Provable Defense Against Geometric Transformations.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

ViX: Analysis-driven Compiler for Efficient Low-Precision Variational Inference.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

AquaSense: Automated Sensitivity Analysis of Probabilistic Programs via Quantized Inference.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Proof transfer for fast certification of multiple approximate neural networks.
Proc. ACM Program. Lang., 2022

A general construction for abstract interpretation of higher-order automatic differentiation.
Proc. ACM Program. Lang., 2022

A dual number abstraction for static analysis of Clarke Jacobians.
Proc. ACM Program. Lang., 2022

HPVM: Hardware-Agnostic Programming for Heterogeneous Parallel Systems.
IEEE Micro, 2022

Automated quantized inference for probabilistic programs with AQUA.
Innov. Syst. Softw. Eng., 2022

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos.
CoRR, 2022

Training Certifiably Robust Neural Networks Against Semantic Perturbations.
CoRR, 2022

To Seed or Not to Seed? An Empirical Analysis of Usage of Seeds for Testing in Machine Learning Projects.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022

SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021
Exploiting Errors for Efficiency: A Survey from Circuits to Applications.
ACM Comput. Surv., 2021

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions.
CoRR, 2021

FLEX: fixing flaky tests in machine learning projects by updating assertion bounds.
Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

ApproxTuner: a compiler and runtime system for adaptive approximations.
Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

TERA: optimizing stochastic regression tests in machine learning projects.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

WiDir: A Wireless-Enabled Directory Cache Coherence Protocol.
Proceedings of the IEEE International Symposium on High-Performance Computer Architecture, 2021

Statheros: Compiler for Efficient Low-Precision Probabilistic Programming.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

AQUA: Automated Quantized Inference for Probabilistic Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2021

2020
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes, 2020

Koord: a language for programming and verifying distributed robotics application.
Proc. ACM Program. Lang., 2020

Augmented example-based synthesis using relational perturbation properties.
Proc. ACM Program. Lang., 2020

Detecting flaky tests in probabilistic and machine learning applications.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Predictive constraint solving and analysis.
Proceedings of the ICSE-NIER 2020: 42nd International Conference on Software Engineering, New Ideas and Emerging Results, Seoul, South Korea, 27 June, 2020

V-Combiner: speeding-up iterative graph processing on a shared-memory platform with vertex merging.
Proceedings of the ICS '20: 2020 International Conference on Supercomputing, 2020

Continualization of Probabilistic Programs With Correction.
Proceedings of the Programming Languages and Systems, 2020

Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms.
Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2019
Quantifying the Exploration of the Korat Solver for Imperative Constraints.
ACM SIGSOFT Softw. Eng. Notes, 2019

ApproxHPVM: a portable compiler IR for accuracy-aware optimizations.
Proc. ACM Program. Lang., 2019

Verifying safety and accuracy of approximate parallel programs via canonical sequentialization.
Proc. ACM Program. Lang., 2019

Special Session: Does Approximation Make Testing Harder (or Easier)?
Proceedings of the 37th IEEE VLSI Test Symposium, 2019

Storm: program reduction for testing and debugging probabilistic programming systems.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Resurgence of Regression Test Selection for C++.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

Statistical algorithmic profiling for randomized approximate programs.
Proceedings of the 41st International Conference on Software Engineering, 2019

gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error Analysis.
Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

Minotaur: Adapting Software Testing Techniques for Hardware Errors.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

Replica: A Wireless Manycore for Communication-Intensive and Approximate Data.
Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems, 2019

2018
A Progress Bar for the JPF Search Using Program Executions.
ACM SIGSOFT Softw. Eng. Notes, 2018

Exploiting Errors for Efficiency: A Survey from Circuits to Algorithms.
CoRR, 2018

VideoChef: Efficient Approximation for Streaming Video Processing Pipelines.
Proceedings of the 2018 USENIX Annual Technical Conference, 2018

Testing probabilistic programming systems.
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract].
Proceedings of the 2018 Workshop on Advanced Tools, 2018

Bayonet: probabilistic inference for networks.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Approximate Transformations as Mutation Operators.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

PSense: Automatic Sensitivity Analysis for Probabilistic Programs.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Control Strategies for Self-Adaptive Software Systems.
ACM Trans. Auton. Adapt. Syst., 2017

Mutation Testing Meets Approximate Computing.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

Phase-aware optimization in approximate computing.
Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017

Probabilistic reasoning for analysis of approximate computations.
Proceedings of the 2017 International Conference on Compilers, 2017

2016
Verifying quantitative reliability for programs that execute on unreliable hardware.
Commun. ACM, 2016

PSI: Exact Symbolic Inference for Probabilistic Programs.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015
Accuracy-aware optimization of approximate programs.
PhD thesis, 2015

Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491).
Dagstuhl Reports, 2015


Accuracy-aware optimization of approximate programs.
Proceedings of the 2015 International Conference on Compilers, 2015

2014
Chisel: reliability- and accuracy-aware optimization of approximate computational kernels.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

2013
Parallelizing Sequential Programs with Statistical Accuracy Tests.
ACM Trans. Embed. Comput. Syst., 2013

Verified integrity properties for safe approximate program transformations.
Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation, 2013

2012
Randomized accuracy-aware program transformations for efficient approximate computations.
Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2012

Proving acceptability properties of relaxed nondeterministic approximate programs.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Dancing with uncertainty.
Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability, 2012

Bolt: on-demand infinite loop escape in unmodified binaries.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2011
Managing performance vs. accuracy trade-offs with loop perforation.
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Probabilistically Accurate Program Transformations.
Proceedings of the Static Analysis - 18th International Symposium, 2011

Detecting and Escaping Infinite Loops with Jolt.
Proceedings of the ECOOP 2011 - Object-Oriented Programming, 2011

Dynamic knobs for responsive power-aware computing.
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems, 2011

2010
Patterns and statistical analysis for understanding reduced resource computing.
Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Quality of service profiling.
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2007
Parallel test generation and execution with Korat.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Korat: A Tool for Generating Structurally Complex Test Inputs.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007


  Loading...