Probabilistically Accurate Program Transformations

by Misailovic, Sasa, Roy, Daniel, Rinard, Martin C.
Published 2012

Parallelizing Sequential Programs with Statistical Accuracy Tests

by Misailovic, Sasa, Kim, Deokhwan, Rinard, Martin C.
Published 2015

Randomized accuracy-aware program transformations for efficient approximate computations

by Misailovic, Sasa, Kelner, Jonathan Adam, Rinard, Martin C.
Published 2012

Verifying quantitative reliability for programs that execute on unreliable hardware

by Misailovic, Sasa, Rinard, Martin C., Carbin, Michael James
Published 2015

Verified integrity properties for safe approximate program transformations

by Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin C., Carbin, Michael James
Published 2014

Proving acceptability properties of relaxed nondeterministic approximate programs

by Carbin, Michael James, Kim, Deokhwan, Misailovic, Sasa, Rinard, Martin C.
Published 2012

Patterns and statistical analysis for understanding reduced resource computing

by Rinard, Martin C., Hoffmann, Henry Christian, Misailovic, Sasa, Sidiroglou, Stylianos
Published 2011

Quality of service profiling

by Misailovic, Sasa, Sidiroglou, Stylianos, Hoffmann, Henry Christian, Rinard, Martin C.
Published 2012

Managing performance vs. accuracy trade-offs with loop perforation

by Sidiroglou, Stelios, Misailovic, Sasa, Hoffmann, Henry Christian, Rinard, Martin C.
Published 2012

Bolt: on-demand infinite loop escape in unmodified binaries

by Kling, Michael W., Misailovic, Sasa, Carbin, Michael James, Rinard, Martin C
Published 2020

Detecting and escaping infinite loops with jolt

by Carbin, Michael James, Misailovic, Sasa, Kling, Michael W., Rinard, Martin C.
Published 2012

Chisel: Reliability- and Accuracy-Aware Optimization of Approximate Computational Kernels

by Misailovic, Sasa, Achour, Sara, Qi, Zichao, Rinard, Martin C., Carbin, Michael James
Published 2014

Dynamic Knobs for Responsive Power-Aware Computing

by Hoffmann, Henry Christian, Sidiroglou, Stelios, Carbin, Michael James, Misailovic, Sasa, Agarwal, Anant
Published 2012

Exploiting Errors for Efficiency: A Survey from Circuits to Applications

by Stanley-Marbell, Phillip, Alaghi, Armin, Carbin, Michael James, Darulova, Eva, Dolecek, Lara, Gerstlauer, Andreas, Gillani, Ghayoor, Jevdjic, Djordje, Moreau, Thierry, Cacciotti, Mattia, Daglis, Alexandros, Jerger, Natalie Enright, Falsafi, Babak, Misailovic, Sasa, Sampson, Adrian, Zufferey, Damien
Published 2021