ASAC: Automatic sensitivity analysis for approximate computing

Proceedings of the ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES)

Volumn , Issue , 2014, Pages 95-104

  Roy, Pooja ^a   Ray, Rajarshi ^b   Wang, Chundong ^c   Wong, Weng Fai ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b NATIONAL INSTITUTE OF TECHNOLOGY MEGHALAYA   (India)

^c DATA STORAGE INSTITUTE   (Singapore)

Author keywords

Approximate computing; Automatic programming; Power aware computing; Sensitivity analysis

Indexed keywords

AUTOMATIC PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; EMBEDDED SYSTEMS; ENERGY EFFICIENCY; PROGRAM COMPILERS; QUALITY OF SERVICE;

APPROXIMATE COMPUTATION; APPROXIMATE COMPUTING; AUTOMATIC SENSITIVITY; DATA MANIPULATIONS; EMBEDDED DEVICE; MANUAL ANNOTATION; POWER-AWARE COMPUTING; PROGRAMMING PARADIGMS;

SENSITIVITY ANALYSIS;

EID: 84905668568     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2597809.2597812     Document Type: Conference Paper

References (33)

1. J. Ansel, Y. L. Wong, C. Chan, M. Olszewski, A. Edelman, and S. Amarasinghe. Language and compiler support for autotuning variable-accuracy algorithms. In Proceedings of the 9th Annual IEEE/ACM International Symposium on Code Generation and Optimization, CGO'11, pages 85-96, Washington, DC, USA, 2011. IEEE Computer Society. ISBN 978-1-61284-356-8. URL http://dl.acm.org/ citation. cfm?id=2190025.2190056.
2. W. Baek and T. M. Chilimbi. Green: A framework for supporting energy-conscious programming using controlled approximation. In Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'10, pages 198-209, New York, NY, USA, 2010. ACM. ISBN 978-1-4503-0019-3.. URL http://doi.acm.org/10.1145/1806596.1806620.
3. F. Benz, A. Hildebrandt, and S. Hack. A dynamic program analysis to find floating-point accuracy problems. In Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'12, pages 453-162, New York, NY, USA, 2012. ACM. ISBN 978-1-4503-1205-9.. URL http://doi.acm.org/10.1145/2254064.2254118.
4. M. Carbin and M. C. Rinard. Automatically identifying critical input regions and code in applications. In Proceedings of the 19th International Symposium on Software Testing and Analysis, ISSTA'10, pages 37-48, New York, NY, USA, 2010. ACM. ISBN 978-1-60558-823-0.. URL http://doi.acm.org/10.1145/ 1831708.1831713.
5. V. Chippa, A. Raghunathan, K. Roy, and S. Chakradhar. Dynamic effort scaling: Managing the quality-efficiency tradeoff. In Proceedings of the 48th Design Automation Conference, DAC'11, pages 603-608, New York, NY, USA, 2011. ACM. ISBN 978-1-4503-0636-2.. URL http://doi.acm.org/10.1145/2024724.2024863.
6. V. K. Chippa, D. Mohapatra, A. Raghunathan, K. Roy, and S. T. Chakradhar. Scalable effort hardware design: Exploiting algorithmic resilience for energy efficiency. In Proceedings of the 47th Design Automation Conference, DAC'10, pages 555-560, New York, NY, USA, 2010. ACM. ISBN 978-1-4503-0002-5.. URL http://doi.acm.org/10.1145/1837274.1837411.
7. V. K. Chippa, D. Mohapatra, A. Raghunathan, K. Roy, and S. T. Chakradhar. Scalable effort hardware design: Exploiting algorithmic resilience for energy efficiency. In Proceedings of the 47th Design Automation Conference, DAC'10, pages 555-560, New York, NY, USA, 2010. ACM. ISBN 978-1-4503-0002-5.. URL http://doi.acm.org/10.1145/1837274.1837411.
8. V. K. Chippa, S. T. Chakradhar, K. Roy, and A. Raghunathan. Analysis and characterization of inherent application resilience for approximate computing. In Proceedings of the 50th Annual Design Automation Conference, DAC'13, pages 113:1-113:9, New York, NY, USA, 2013. ACM. ISBN 978-1-4503-2071-9.. URL http://doi.acm.org/10.1145/2463209.2488873.
9. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. Burger. Architecture support for disciplined approximate programming. In Proceedings of the Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XVII, pages 301-312, New York, NY, USA, 2012. ACM. ISBN 978-1-4503-0759-8.. URL http://doi.acm.org/10.1145/2150976.2151008.
10. V. Gupta, D. Mohapatra, S. P. Park, A. Raghunathan, and K. Roy. Impact: Imprecise adders for low-power approximate computing. In Proceedings of the 17th IEEE/ACM International Symposium on Lowpower Electronics and Design, ISLPED'11, pages 409-414, Piscataway, NJ, USA, 2011. IEEE Press. ISBN 978-1-61284-660-6. URL http://dl.acm.org/citation. cfm?id=2016802.2016898.
11. M. R. Guthaus, J. S. Ringenberg, D. Ernst, T. M. Austin, T. Mudge, and R. B. Brown. Mibench: A free, commercially representative embedded benchmark suite. WWC'01, 2001.
12. H. Hoffmann, S. Misailovic, S. Sidiroglou, A. Agarwal, and M. Rinard. Using code perforation to improve performance, reduce energy consumption, and respond to failures. In MIT Technical Report. MIT, 2009. URL http://hdl.handle.net/1721.1/46709.
13. H. Hoffmann, S. Sidiroglou, M. Carbin, S. Misailovic, A. Agarwal, and M. Rinard. Dynamic knobs for responsive power-aware computing. In Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XVI, pages 199-212, New York, NY, USA, 2011. ACM. ISBN 978-1-4503-0266-1.. URL http://doi.acm.org/10.1145/1950365. 1950390.
14. J. Hu, F. Li, V. Degalahal, M. Kandemir, N. Vijaykrishnan, and M. J. Irwin. Compiler-assisted soft error detection under performance and energy constraints in embedded systems. ACM Trans. Embed. Comput. Syst., 8(4):27:1-27:30, July 2009. ISSN 1539-9087.. URL http://doi.acm.org/10.1145/ 1550987.1550990.
15. J. Lee and A. Shrivastava. Static analysis to mitigate soft errors in register files. In Proceedings of the Conference on Design, Automation and Test in Europe, DATE'09, pages 1367-1372, 3001 Leuven, Belgium, Belgium, 2009. European Design and Automation Association. ISBN 978-3-9810801-5-5. URL http://dl.acm.org/citation. cfm?id=1874620.1874949.
16. K. Lee, A. Shrivastava, I. Issenin, N. Dutt, and N. Venkatasubramanian. Mitigating soft error failures for multimedia applications by selective data protection. In Proceedings of the 2006 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, CASES'06, pages 411-420, New York, NY, USA, 2006. ACM. ISBN 1-59593-543-6.. URL http://doi.acm.org/10.1145/ 1176760.1176810.
17. S. Liu, K. Pattabiraman, T. Moscibroda, and B. G. Zorn. Flikker: Saving dram refresh-power through critical data partitioning. In Proceedings of the Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XVI, pages 213-224, New York, NY, USA, 2011. ACM. ISBN 978-1-4503-0266-1.. URL http://doi.acm.org/10.1145/1950365. 1950391.
18. M. D. McKay, R. J. Beckman, and W. J. Conover. A comparison of three methods for selecting values of input variables in the analysis of output from a computer code. Technometrics, 42(1):55-61, Feb. 2000. ISSN 0040-1706.. URL http://dx.doi.org/10.2307/1271432.
19. S. Msailovic, D. Kim, and M. Rinard. Parallelizing sequential programs with statistical accuracy tests. ACM Trans. Embed. Comput. Syst, 12(2s):88:1-88:26, May 2013. ISSN 1539-9087.. URL http://doi.acm.org/10.1145/ 2465787.2465790.
20. T. Naughton, W. Bland, G. Vallee, C. Engelmann, and S. L. Scott. Fault injection framework for system resilience evaluation: Fake faults for finding future failures. In Proceedings of the 2009 Workshop on Resiliency in High Performance, Resilience'09, pages 23-28, New York, NY, USA, 2009. ACM. ISBN 978-1-60558-593-2.. URL http://doi.acm.org/10.1145/1552526.1552530.
21. S. Palaniappan, B. Gyori, B. Liu, D. Hsu, and P. Thiagarajan. Statistical model checking based calibration and analysis of bio-pathway models. In A. Gupta and T. Henzinger, editors, Computational Methods in Systems Biology, volume 8130 of Lecture Notes in Computer Science, pages 120-134. Springer Berlin Heidelberg, 2013. ISBN 978-3-642-40707-9.. URL http://dx.doi.org/10.1007/978-3- 642-40708-6-10.
22. R. Pozo and B. Miller. Scimark 2.0. www.math.nist.gov/scimark2/.
23. F. M. Quintao Pereira, R. E. Rodrigues, and V. H. Sperle Campos. A fast and low-overhead technique to secure programs against integer overflows. In Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO), CGO'13, pages 1-11, Washington, DC, USA, 2013. IEEE Computer Society. ISBN 978-1-4673-5524-7.. URL http://dx.doi.org/10.1109/CGO.2013. 6494996.
24. M. Rinard. Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. In Proceedings of the 20th Annual International Conference on Supercomputing, ICS'06, pages 324-334, New York, NY, USA, 2006. ACM. ISBN 1-59593-282-8.. URL http://doi.acm.org/10.1145/1183401.1183447.
25. A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman. Enerj: Approximate data types for safe and general low-power computation. In Proceedings of the 32Nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI'11, pages 164-174, New York, NY, USA, 2011. ACM. ISBN 978-1-4503-0663-8.. URL http://doi.acm.org/10.1145/1993498. 1993518.
26. A. Sampson, J. Nelson, K. Strauss, and L. Ceze. Approximate storage in solid-state memories. In Proceedings of the 46th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO-46, pages 25-36, New York, NY, USA, 2013. ACM. ISBN 978-1-4503-2638-4.. URL http://doi.acm.org/10.1145/2540708.2540712.
27. M. Shafique, S. Rehman, P. V. Aceituno, and J. Henkel. Exploiting program-level masking and error propagation for constrained reliability optimization. In Proceedings of the 50th Annual Design Automation Conference, DAC'13, pages 17:1-17:9, New York, NY, USA, 2013. ACM. ISBN 978-1-4503-2071-9.. URL http://doi.acm.org/10.1145/2463209.2488755.
28. A. Shrivastava, J. Lee, and R. Jeyapaul. Cache vulnerability equations for protecting data in embedded processor caches from soft errors. In Proceedings of the ACM SIGPLAN/SIGBED 2010 Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES'10, pages 143-152, New York, NY, USA, 2010. ACM. ISBN 978-1-60558-953-4.. URL http://doi.acm.org/10.1145/1755888. 1755910.
29. S. Sidiroglou-Douskos, S. Misailovic, H. Hoffmann, and M. Rinard. Managing performance vs. accuracy trade-offs with loop perforation. In Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC/FSE'11, pages 124-134, New York, NY, USA, 2011. ACM. ISBN 978-1-4503-0443-6.. URL http://doi.acm.org/10.1145/ 2025113.2025133.
30. SPEC-CPU2006. Spec benchamrks. www.spec.org/cpu2006/.
31. S. Venkataramani, V. K. Chippa, S. T. Chakradhar, K. Roy, and A. Raghunathan. Quality programmable vector processors for approximate computing. In Proceedings of the 46th Annual IEEE/ACM International Symposium on Microarchitecture, MICRO-46, pages 1-12, New York, NY, USA, 2013. ACM. ISBN 978-1-4503-2638-4.. URL http://doi.acm.org/10.1145/2540708.2540710.
32. Z. A. Zhu, S. Misailovic, J. A. Kelner, and M. Rinard. Randomized accuracy-aware program transformations for efficient approximate computations. In Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'12, pages 441-454, New York, NY, USA, 2012. ACM. ISBN 978-1-4503-1083-3.. URL http://doi.acm.org/10.1145/2103656.2103710.
33. Z. A. Zhu, S. Misailovic, J. A. Kelner, and M. Rinard. Randomized accuracy-aware program transformations for efficient approximate computations. In Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'12, pages 441-454, New York, NY, USA, 2012. ACM. ISBN 978-1-4503-1083-3.. URL http://doi.acm.org/10.1145/2103656.2103710.