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.
DOI : 10.1145/567067.567085

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, Uncertain\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.
DOI : 10.1145/2544173.2509546

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.4210

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, pp.101-112, 2011.
DOI : 10.1109/TCSVT.2011.2105550

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.
DOI : 10.1145/223428.207154

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.
DOI : 10.1145/202529.202534

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.3.5576

K. D. Cooper and L. Torczon, Engineering a Compiler, 2005.

J. Ferrante, K. J. Ottenstein, and J. D. Warren, The program dependence graph and its use in optimization, ACM Transactions on Programming Languages and Systems, vol.9, issue.3, pp.319-349, 1987.
DOI : 10.1145/24039.24041

A. Georges, D. Buytaert, and L. Eeckhout, Statistically Rigorous Java Performance Evaluation, Proceedings of the 22Nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications, OOPSLA '07, pp.57-76, 2007.
DOI : 10.1145/1297105.1297033

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.4204

V. Gupta, D. Mohapatra, S. P. Park, A. Raghunathan, and K. Roy, IMPACT: IMPrecise adders for low-power approximate computing, IEEE/ACM International Symposium on Low Power Electronics and Design, 2011.
DOI : 10.1109/ISLPED.2011.5993675

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
DOI : 10.1145/2384616.2384628

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.7625

A. Kumar, J. Rabaey, and K. Ramchandran, SRAM supply voltage scaling: A reliability perspective, 2009 10th International Symposium on Quality of Electronic Design, 2009.
DOI : 10.1109/ISQED.2009.4810392

K. Liu, G. Pinto, and L. David, Data-Oriented Characterization of Application-Level Energy Optimization, 2015.
DOI : 10.1007/978-3-662-46675-9_21

S. Liu, K. Pattabiraman, T. Moscibroda, and B. G. Zorn, Flikker: Saving Refresh-Power in Mobile Devices through Critical Data Partitioning, International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2011.

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, 2015 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), 2015.
DOI : 10.1109/CGO.2015.7054193

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, ACM Transactions on Embedded Computing Systems, vol.12, issue.2s, 2010.
DOI : 10.1145/2465787.2465790

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.367.9511

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.
DOI : 10.1145/2786805.2786807

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, Proceedings of the 19th international conference on Architectural support for programming languages and operating systems, ASPLOS '14, 2014.
DOI : 10.1145/2541940.2541948

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 low-power 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, Proceedings of the 52nd Annual Design Automation Conference on, DAC '15, 2015.
DOI : 10.1145/2744769.2744778

S. Sidiroglou-douskos, S. Misailovic, H. Hoffmann, and M. C. 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, SIGSOFT/FSE '11, 2011.
DOI : 10.1145/2025113.2025133

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.

R. Tarjan, Testing flow graph reducibility
DOI : 10.1016/s0022-0000(74)80049-8

URL : http://doi.org/10.1016/s0022-0000(74)80049-8

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, 2000.
DOI : 10.1109/92.845894

S. Venkataramani, K. Roy, and A. Raghunathan, Substitute-and-Simplify: A Unified Design Paradigm for Approximate and Quality Configurable Circuits, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013, 2013.
DOI : 10.7873/DATE.2013.280

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.
DOI : 10.1109/MDAT.2015.2505723

M. ?. A?-aalovarda, I. Bolkovac, H. Domitrovï, and A. , Estimating perceptual audio system quality using PEAQ algorithm, In ICECom, 2005.