Proving acceptability properties of relaxed nondeterministic approximate programs

M Carbin, D Kim, S Misailovic, MC Rinard - ACM SIGPLAN Notices, 2012 - dl.acm.org
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21,
22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dynamic …

Proactive control of approximate programs

X Sui, A Lenharth, DS Fussell, K Pingali - ACM SIGPLAN Notices, 2016 - dl.acm.org
Approximate computing trades off accuracy of results for resources such as energy or
computing time. There is a large and rapidly growing literature on approximate computing …

Randomized accuracy-aware program transformations for efficient approximate computations

ZA Zhu, S Misailovic, JA Kelner, M Rinard - ACM SIGPLAN Notices, 2012 - dl.acm.org
Despite the fact that approximate computations have come to dominate many areas of
computer science, the field of program transformations has focused almost exclusively on …

Software mutational robustness

E Schulte, ZP Fry, E Fast, W Weimer… - Genetic Programming and …, 2014 - Springer
Neutral landscapes and mutational robustness are believed to be important enablers of
evolvability in biology. We apply these concepts to software, defining mutational robustness …

Probabilistically accurate program transformations

S Misailovic, DM Roy, MC Rinard - International Static Analysis …, 2011 - Springer
The standard approach to program transformation involves the use of discrete logical
reasoning to prove that the transformation does not change the observable semantics of the …

Monitoring and debugging the quality of results in approximate programs

M Ringenburg, A Sampson, I Ackerman… - Proceedings of the …, 2015 - dl.acm.org
Energy efficiency is a key concern in the design of modern computer systems. One
promising approach to energy-efficient computation, approximate computing, trades off …

Approximate circuits

S Reda, M Shafique - Cham: Springer, 2019 - Springer
Approximate computing has emerged as a new paradigm to reduce the resources (eg,
design area and power) required to realize digital systems at the expense of a negligible or …

Parallelizing sequential programs with statistical accuracy tests

S Misailovic, D Kim, M Rinard - ACM Transactions on Embedded …, 2013 - dl.acm.org
We present QuickStep, a novel system for parallelizing sequential programs. Unlike
standard parallelizing compilers (which are designed to preserve the semantics of the …

Energy-quality scalable integrated circuits and systems: Continuing energy scaling in the twilight of Moore's law

M Alioto, V De, A Marongiu - IEEE Journal on Emerging and …, 2018 - ieeexplore.ieee.org
This paper aims to take stock of recent advances in the field of energy-quality (EQ) scalable
circuits and systems, as promising direction to continue the historical exponential energy …

Gapprox: using gallup approach for approximation in big data processing

H Ahmadvand, M Goudarzi, F Foroutan - Journal of Big Data, 2019 - Springer
Abstract As Big Data processing often takes a long time and needs a lot of resources,
sampling and approximate computing techniques may be used to generate a desired …