A. Shipilev, Necessar(il)y Evil dealing with benchmarks, ugh, 2013.

J. R. Allen, K. Kennedy, C. Porterfield, and J. Warren, Conversion of Control Dependence to Data Dependence, Proceedings of the 10th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL '83, pp.177-189, 1983.

J. Ansel, C. P. Chan, Y. L. Wong, M. Olszewski, Q. Zhao et al., PetaBricks: a language and compiler for algorithmic choice, ACM Conference on Programming Language Design and Implementation (PLDI), 2009.

L. Avinash, C. C. Enz, J. Nagel, K. V. Palem, and C. Piguet, Energy parsimonious circuit design through probabilistic pruning, Design, Automation and Test in Europe (DATE), 2011.

W. Baek and T. M. Chilimbi, Green: A framework for supporting energy-conscious programming using controlled approximation, ACM Conference on Programming Language Design and Implementation (PLDI), 2010.

J. Bornholt, T. Mytkowicz, and K. S. Mckinley, Uncer-tain\textlessT\textgreater: A First-Order Type for Uncertain Data, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2014.

P. Burk, JSyn -A Real-time Synthesis API for Java, Proceedings of the International Computer Music Conference, pp.252-255, 1998.

M. Carbin, S. Misailovic, and M. C. Rinard, Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware, ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2013.

I. J. Chang, D. Mohapatra, and K. Roy, A Priority-Based 6t/8t Hybrid SRAM Architecture for Aggressive Voltage Scaling in Video Applications, IEEE Transactions on Circuits and Systems for Video Technology, vol.21, pp.101-112, 2011.

C. Click, Global Code Motion/Global Value Numbering, Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation, PLDI '95, pp.246-257, 1995.

C. Click and M. Paleczny, A Simple Graph-based Intermediate Representation, Papers from the 1995 ACM SIGPLAN Workshop on Intermediate Representations, IR '95, pp.35-49, 1995.

J. Ferrante, K. J. Ottenstein, and J. D. Warren, The Program Dependence Graph and Its Use in Optimization, ACM Trans. Program. Lang. Syst, vol.9, issue.3, pp.319-349, 1987.

V. Gupta, D. Mohapatra, S. P. Park, A. Raghunathan, and K. Roy, IM-PACT: Imprecise adders for low-power approximate computing, International Symposium on Low Power Electronics and Design (ISLPED), 2011.

L. Haifeng, Smile -Statistical Machine Intelligence and Learning Engine, 2017.

J. S. Hare, S. Samangooei, and D. P. Dupplaw, OpenIMAJ and Im-ageTerrier: Java libraries and tools for scalable multimedia analysis and indexing of images, Proceedings of the 19th ACM international conference on Multimedia, MM '11, pp.691-694, 2011.

T. Hastie, The Elements of Statistical Learning -Data Mining

S. Kulkarni and J. Cavazos, Mitigating the Compiler Optimization Phase-ordering Problem Using Machine Learning, Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications, OOPSLA '12, pp.147-162, 2012.

A. Kumar, J. Rabaey, and K. Ramchandran, SRAM supply voltage scaling: A reliability perspective, International Symposium on Quality Electronic Design, 2009.

K. Liu, G. Pinto, and L. David, Data-Oriented Characterization of Application-Level Energy Optimization, 2015.

C. Luo, J. Sun, and F. Wu, Compressive Network Coding for Approximate Sensor Data Gathering, IEEE Global Communications Conference (GLOBECOM), 2011.

L. Mcafee and K. Olukotun, EMEURO: A Framework for Generating Multi-purpose Accelerators via Deep Learning, International Symposium on Code Generation and Optimization (CGO), 2015.

M. Mccandless, E. Hatcher, and O. Gospodnetic, Lucene in Action, 2010.

S. Misailovic, M. Carbin, S. Achour, Z. Qi, and M. C. Rinard, Chisel: Reliability-and Accuracy-aware Optimization of Approximate Computational Kernels, ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2014.

S. Misailovic, D. Kim, and M. Rinard, Parallelizing Sequential Programs With Statistical Accuracy Tests, 2010.

S. , A Survey of Techniques for Approximate Computing, ACM Comput. Surv, vol.48, issue.4, 2016.

J. Park, H. Esmaeilzadeh, X. Zhang, M. Naik, and W. Harris, FlexJava: Language Support for Safe and Modular Approximate Programming, Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2015, pp.745-757, 2015.

A. Ranjan, A. Raha, S. Venkataramani, K. Roy, and A. Raghunathan, ASLAN: Synthesis of Approximate Sequential Circuits, Design, Automation and Test in Europe (DATE), 2014.

M. Samadi, D. A. Jamshidi, J. Lee, and S. Mahlke, Paraprox: Patternbased Approximation for Data Parallel Applications, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2014.

A. Sampson, Approximate Computing: An Annotated Bibliography, 2016.

A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze et al., EnerJ: approximate data types for safe and general lowpower computation, ACM Conference on Programming Language Design and Implementation (PLDI), 2011.

E. Schkufza, R. Sharma, and A. Aiken, Stochastic Optimization of Floating-Point Programs with Tunable Precision, ACM Conference on Programming Language Design and Implementation (PLDI), 2014.

S. Sen, S. Gilani, S. Srinath, S. Schmitt, and S. Banerjee, Design and implementation of an "approximate" communication system for wireless media applications, ACM SIGCOMM, 2010.

M. Shafique, W. Ahmad, R. Hafiz, and J. Henkel, A Low Latency Generic Accuracy Configurable Adder, Design Automation Conference (DAC), 2015.

S. Sidiroglou-douskos, S. Misailovic, H. Hoffmann, and M. Rinard, Managing Performance vs. Accuracy Trade-offs with Loop Perforation, Proceedings of the 19th ACM SIGSOFT Symposium and the 13th

, European Conference on Foundations of Software Engineering, ESEC/FSE '11, pp.124-134, 2011.

P. Stanley-marbell and M. Rinard, Approximating Outside the Processor, 2015.

P. Stanley-marbell and M. Rinard, Lax: Driver Interfaces for Approximate Sensor Device Access, USENIX Workshop on Hot Topics in Operating Systems (HotOS), 2015.

J. Y. Tong, D. Nagle, and R. A. Rutenbar, Reducing power by optimizing the necessary precision/range of floating-point arithmetic, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol.8, issue.3, 2000.

S. Venkataramani, K. Roy, and A. Raghunathan, Substitute-andsimplify: A Unified Design Paradigm for Approximate and Quality Configurable Circuits, Design, Automation and Test in Europe (DATE), 2013.

C. A. Vick, SSA-based reduction of operator strength. Thesis, 1994.

Q. Xu, T. Mytkowicz, and N. S. Kim, Approximate Computing: A Survey, IEEE Design Test, vol.33, issue.1, pp.8-22, 2016.

M. Å?alovarda, I. Bolkovac, and H. Domitroviä?, Estimating perceptual audio system quality using PEAQ algorithm, 2005.