Sasa Misailovic

According to our database1, Sasa Misailovic authored at least 53 papers between 2007 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

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

Exploiting Errors for Efficiency: A Survey from Circuits to Applications.
ACM Comput. Surv., 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...