FLEX Java: Language support for safe and modular approximate programming

2015 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2015 - Proceedings

Volumn , Issue , 2015, Pages 745-757

  Park, Jongse ^a   Esmaeilzadeh, Hadi ^a   Zhang, Xin ^a   Naik, Mayur ^a   Harris, William ^a  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Language design; Modular approximate programming

Indexed keywords

COMPUTATIONAL LINGUISTICS; ENERGY CONSERVATION; ENERGY EFFICIENCY; PROGRAM COMPILERS; SAFETY ENGINEERING; SOFTWARE DESIGN; SOFTWARE ENGINEERING;

APPROXIMATION TECHNIQUES; EFFICIENCY AND PERFORMANCE; LANGUAGE DESIGN; LANGUAGE EXTENSIONS; PROGRAMMING MODELS; PROGRAMMING SYSTEM; QUALITY OF RESULTS; SAFETY GUARANTEES;

JAVA PROGRAMMING LANGUAGE;

EID: 84960395601     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2786805.2786807     Document Type: Conference Paper

References (40)

1. J. R. Allen, K. Kennedy, C. Porterfield, and J. Warren. Conversion of control dependence to data dependence. In POPL, 1983.
2. R. S. 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. In ISCA, 2014.
3. W. Baek and T. Chilimbi. Green: A framework for supporting energy-conscious programming using controlled approximation. In PLDI, 2010.
4. J. P. Banning. An efficient way to find the side effects of procedure calls and the aliases of variables. In Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pages 29-41. ACM, 1979.
5. J. Bornholt, T. Mytkowicz, and K. McKinley. Uncertain: A first-order type for uncertain data. In ASPLOS, 2014.
6. M. Carbin, S. Misailovic, and M. Rinard. Verifying quantitative reliability for programs that execute on unreliable hardware. In OOPSLA, 2013.
7. L. Cardelli. Program fragments, linking, and modularization. In POPL, 1997.
8. M. de Kruijf, S. Nomura, and K. Sankaralingam. Relax: An architectural framework for software recovery of hardware faults. In ISCA, 2010.
9. J. Dean, C. Chambers, and D. Grove. Selective specialization for object-oriented languages. In PLDI, 1995.
10. H. Esmaeilzadeh, E. Blem, R. St. Amant, K. Sankaralingam, and D. Burger. Dark silicon and the end of multicore scaling. In ISCA, 2011.
11. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. Burger. Architecture support for disciplined approximate programming. In ASPLOS, 2012.
12. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. Burger. Neural acceleration for general-purpose approximate programs. In MICRO, 2012.
13. H. Esmaeilzadeh, A. Sampson, L. Ceze, and D. Burger. Neural acceleration for general-purpose approximate programs. Communications of the ACM Research Highlights, 58(1):105-115, Jan. 2015.
14. S. Galal and M. Horowitz. Energy-efficient floating-point unit design. IEEE Transactions on Computers, 60(7):913-922, 2011.
15. V. Govindaraju, C.-H. Ho, and K. Sankaralingam. Dynamically specialized datapaths for energy efficient computing. In HPCA, 2011.
16. B. Grigorian, N. Farahpour, and G. Reinman. BRAINIAC: Bringing reliable accuracy into neurally-implemented approximate computing. In HPCA, 2015.
17. L. Leem, H. Cho, J. Bau, Q. Jacobson, and S. Mitra. ERSA: Error resilient system architecture for probabilistic applications. In DATE, 2010.
18. S. Li, J. H. Ahn, R. Strong, J. Brockman, D. Tullsen, and N. Jouppi. McPAT: An integrated power, area, and timing modeling framework for multicore and manycore architectures. In MICRO, 2009.
19. S. Misailovic, M. Carbin, S. Achour, Z. Qi, and M. Rinard. Chisel: Reliability- And accuracy-aware optimization of approximate computational kernels. In OOPSLA, 2014.
20. S. Misailovic, S. Sidiroglou, H. Hoffman, and M. Rinard. Quality of service profiling. In ICSE, 2010.
21. T. Moreau, M. Wyse, J. Nelson, A. Sampson, H. Esmaeilzadeh, L. Ceze, and M. Oskin. SNNAP: Approximate computing on programmable socs via neural acceleration. In HPCA, 2015.
22. N. Muralimanohar, R. Balasubramonian, and N. Jouppi. Optimizing NUCA organizations and wiring alternatives for large caches with CACTI 6.0. In MICRO, 2007.
23. M. Naik. Chord. http://jchord.googlecode.com/.
24. S. Narayanan, J. Sartori, R. Kumar, and D. Jones. Scalable stochastic processors. In DATE, 2010.
25. S. Nissen. Implementation of a fast artificial neural network library (fann). Technical report, Department of Computer Science University of Copenhagen (DIKU), 2003. http://leenissen.dk/fann/wp.
26. A. Putnam, A. Caulfield, E. Chung, D. Chiou, K. Constantinides, J. Demme, H. Esmaeilzadeh, J. Fowers, G. Prashanth, J. Gray, M. Haselman, S. Hauck, S. Heil, A. Hormati, J.-Y. Kim, S. Lanka, J. R. Larus, E. Peterson, A. Smith, J. Thong, P. Y. Xiao, and D. Burger. A reconfigurable fabric for accelerating large-scale datacenter services. In ISCA, June 2014.
27. M. Samadi, D. Jamshidi, J. Lee, and S. Mahlke. Paraprox: Pattern-based approximation for data parallel applications. In ASPLOS, 2014.
28. M. Samadi, J. Lee, D. Jamshidi, A. Hormati, and S. Mahlke. Sage: Self-tuning approximation for graphics engines. In MICRO, 2013.
29. A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman. EnerJ. http://sampa.cs.washington.edu/research/approximation/enerj.html.
30. 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 PLDI, 2011.
31. A. Sampson, P. Panchekha, T. Mytkowicz, K. McKinley, D. Grossman, and L. Ceze. Expressing and verifying probabilistic assertions. In PLDI, 2014.
32. S. Sidiroglou, S. Misailovic, H. Hoffman, and M. Rinard. Probabilistically accurate program transformations. In SAS, 2011.
33. S. Sidiroglou, S. Misailovic, H. Hoffmann, and M. Rinard. Managing performance vs. accuracy trade-offs with loop perforation. In FSE, 2011.
34. B. Thwaites, G. Pekhimenko, H. Esmaeilzadeh, A. Yazdanbakhsh, O. Mutlu, J. Park, G. Mururu, and T. Mowry. Rollback-free value prediction with approximate loads. In Proceedings of the 23rd international conference on Parallel architectures and compilation, pages 493-494, August 2014.
35. S. Venkataramani, V. K. Chippa, S. T. Chakradhar, K. Roy, and A. Raghunathan. Quality programmable vector processors for approximate computing. In MICRO, 2013.
36. G. Venkatesh, J. Sampson, N. Goulding, S. Garcia, V. Bryksin, J. Lugo-Martinez, S. Swanson, and M. B. Taylor. Conservation cores: Reducing the energy of mature computations. In ASPLOS, 2010.
37. G. Venkatesh, J. Sampson, N. Goulding, S. K. Venkata, S. Swanson, and M. Taylor. QsCores: Trading dark silicon for scalable energy efficiency with quasi-specific cores. In MICRO, 2011.
38. J. Watson. Virtualbox: Bits and bytes masquerading as machines. Linux J., 2008(166), Feb. 2008.
39. A. Yazdanbakhsh, D. Mahajan, B. Thwaites, J. Park, A. Nagendrakumar, S. Sethuraman, K. Ramkrishnan, N. Ravindran, R. Jariwala, A. Rahimi, H. Esmailzadeh, and K. Bazargan. Axilog: Language support for approximate hardware design. In DATE, 2015.
40. X. Zhang, M. Naik, and H. Yang. Finding optimum abstractions in parametric dataflow analysis. In PLDI, 2013.