Chisel: Reliability-and accuracy-aware optimization of approximate computational kernels

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2014, Pages 309-328

  Misailovic, Sasa ^a   Carbin, Michael ^a   Achour, Sara ^a   Qi, Zichao ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Approximate Computing

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; ENERGY CONSERVATION; ENERGY UTILIZATION; IMAGE PROCESSING; RELIABILITY; SPECIFICATIONS; TOOLS;

APPROXIMATE COMPUTATION; APPROXIMATE COMPUTING; COMBINED RELIABILITY; COMPUTATIONAL KERNELS; FINANCIAL ANALYSIS; HARDWARE PLATFORM; OPTIMIZATION ALGORITHMS; RELIABILITY GUARANTEE;

OBJECT ORIENTED PROGRAMMING;

EID: 84908285161     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/10.1145/2660193.2660231     Document Type: Conference Paper

References (47)

1. S. Achour and M. Rinard. Energy-efficient approximate computation in Topaz. Technical ReportMIT-CSAIL-TR-2014-016, MIT, 2014.
2. T. Bao, Y. Zheng, and X. Zhang. White box sampling in uncertain data processing enabled by program analysis. OOPSLA, 2012.
3. J. Birge. Optimization Methods in Dynamic Portfolio Management (Chapter 20). Elsevier, 2007.
4. B. Boston, A. Sampson, D. Grossman, and L. Ceze. Tuning approximate computations with constraint-based type inference. WACAS, 2014.
5. M. Carbin, D. Kim, S. Misailovic, and M. Rinard. Proving acceptability properties of relaxed nondeterministic approximate programs. PLDI, 2012.
6. M. Carbin, D. Kim, S. Misailovic, and M. Rinard. Verified integrity properties for safe approximate program transformations. PEPM, 2013.
7. M. Carbin, S.Misailovic, andM. Rinard. Verifying quantitative reliability for programs that execute on unreliable hardware. OOPSLA, 2013.
8. M. Carbin andM. Rinard. Automatically identifying critical input regions and code in applications. ISSTA, 2010.
9. S. Chaudhuri, S. Gulwani, and R. Lublinerman. Continuity analysis of programs. POPL, 2010.
10. S. Chaudhuri, S. Gulwani, R. Lublinerman, and S. Navidpour. Proving programs robust. FSE, 2011.
11. E. Darulova and V. Kuncak. Sound compilation of reals. POPL, 2014.
12. P.Düben, J. Joven, A. Lingamneni, H.McNamara, G.DeMicheli, K. Palem, and T. Palmer. On the use of inexact, pruned hardware in atmospheric modelling. Philosophical Transactions of the Royal Society, 372, 2014.
13. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. Burger. Architecture support for disciplined approximate programming. ASPLOS, 2012.
14. A. Gaffar, O.Mencer, W. Luk, P. Cheung, and N. Shirazi. Floating-point bitwidth analysis via automatic differentiation. FPT, 2002.
15. Gurobi. http://www.gurobi.com/.
16. H. Hoffmann, S. Sidiroglou, M. Carbin, S. Misailovic, A. Agarwal, and M. Rinard. Dynamic knobs for responsive power-aware computing. ASPLOS, 2011.
17. H. Kaul, M. Anders, S.Mathew, S. Hsu, A Agarwal, F. Sheikh, R. Krishnamurthy, and S. Borkar. A 1.45ghz 52-to-162gflops/w variable-precision floating-point fused multiply-add unit with certainty tracking in 32nm cmos. ISSCC, 2012.
18. K. Lee, A. Shrivastava, I. Issenin, N. Dutt, and N. Venkatasubramanian. Mitigating soft error failures for multimedia applications by selective data protection. CASES, 2006.
19. L. Leem, H. Cho, J. Bau, Q. Jacobson, and S.Mitra. Ersa: error resilient system architecture for probabilistic applications. DATE, 2010.
20. T. Lin, S. Tarsa, and H. T. Kung. Parallelization primitives for dynamic sparse computations. HotPar, 2013.
21. S. Liu, K. Pattabiraman, T.Moscibroda, and B. Zorn. Flikker: saving dram refresh-power through critical data partitioning. ASPLOS, 2011.
22. S. Misailovic, M. Carbin, S. Achour, Z Qi, and M. Rinard. Chisel: Reliability-and accuracy-aware optimization of approximate computational kernels (appendix). http://groups.csail.mit.edu/pac/chisel, 2014.
23. S.Misailovic, M.Carbin, S.Achour, Z.Qi, andM.Rinard. Reliability-aware optimization of approximate computational kernels with rely. Technical ReportMIT-CSAIL-TR-2014-001, MIT, 2014.
24. S.Misailovic, D. Kim, andM. Rinard. Parallelizing sequential programs with statistical accuracy tests. ACM TECS Special Issue on Probabilistic Embedded Computing, 2013.
25. S.Misailovic, D. Roy, andM. Rinard. Probabilistically accurate program transformations. SAS, 2011.
26. S. Misailovic, S. Sidiroglou, H. Hoffmann, and M. Rinard. Quality of service profiling. ICSE, 2010.
27. S. Narayanan, J. Sartori, R. Kumar, and D. Jones. Scalable stochastic processors. DATE, 2010.
28. W. Osborne, R. Cheung, J. Coutinho, W. Luk, and O.Mencer. Automatic accuracy-guaranteed bit-width optimization for fixed and floating-point systems. FPL, 2007.
29. K. Palem. Energy aware computing through probabilistic switching: A study of limits. IEEE Transactions on Computers, 2005.
30. J. Palsberg andM. Naik. Ilp-based resource-aware compilation. Multiprocessor Systems-on-Chips, Elsevier, 2004.
31. J. Park, X. Zhang, K. Ni, H. Esmaeilzadeh, and M. Naik. Expectationoriented framework for automating approximate programming. Technical Report GT-CS-14-05, Georgia Institute of Technology, 2014.
32. M. Rinard. Probabilistic accuracy bounds for fault-tolerant computations that discard tasks. ICS, 2006.
33. M. Rinard. Using early phase termination to eliminate load imbalances at barrier synchronization points. OOPSLA, 2007.
34. M. Rinard, C. Cadar, D. Dumitran, D.M. Roy, T. Leu, andW.S. Beebee Jr. Enhancing server availability and security through failure-oblivious computing. OSDI, 2004.
35. P. Roy, R. Ray, C.Wang, andW.Wong. Asac: automatic sensitivity analysis for approximate computing. LCTES, 2014.
36. A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman. Enerj: Approximate data types for safe and general lowpower computation. PLDI, 2011.
37. A. Sampson, J. Nelson, K. Strauss, and L. Ceze. Approximate storage in solid-state memories. MICRO, 2013.
38. H. Saputra, M. Kandemir, N. Vijaykrishnan, M. J. Irwin, J. S. Hu, C-H. Hsu, and U. Kremer. Energy-conscious compilation based on voltage scaling. LCTES/SCOPES, 2002.
39. M. Shoushtari, A. Banaiyan, and N. Dutt. Relaxing manufacturing guardbands in memories for energy savings. Technical Report CECS TR 10-04, UCI, 2014.
40. S. Sidiroglou, S. Misailovic, H. Hoffmann, and M. Rinard. Managing performance vs. accuracy trade-offs with loop perforation. FSE, 2011.
41. R. St Amant, A. Yazdanbakhsh, J. Park, B. Thwaites, H. Esmaeilzadeh, A. Hassibi, L. Ceze, and D. Burger. General-purpose code acceleration with limited-precision analog computation. ISCA, 2014.
42. Parsec Benchmark Suite. http://parsec.cs.princeton.edu/.
43. SciMark2 Benchmark Suite. math.nist.gov/scimark2/.
44. J. Tong, D. Nagle, and R. Rutenbar. Reducing power by optimizing the necessary precision/range of floating-point arithmetic. IEEE Transactions on Very Large Scale Integrated Systems, 2000.
45. S. Venkataramani, V. Chippa, S. Chakradhar, K. Roy, and A. Raghunathan. Quality programmable vector processors for approximate computing. MICRO, 2013.
46. Y. Yetim, S.Malik, andM.Martonosi. Eprof: An energy/performance/reliability optimization framework for streaming applications. ASP-DAC'12.
47. Z. Zhu, S. Misailovic, J. Kelner, and M. Rinard. Randomized accuracyaware program transformations for efficient approximate computations. POPL, 2012.