Precimonious: Tuning assistant for floating-point precision

International Conference for High Performance Computing, Networking, Storage and Analysis, SC

Volumn , Issue , 2013, Pages

  Rubio González, Cindy ^a   Nguyen, Cuong ^a   Nguyen, Hong Diep ^a   Demmel, James ^a   Kahan, William ^a   Sen, Koushik ^a   Bailey, David H ^b   Iancu, Costin ^b   Hough, David ^c  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b LAWRENCE BERKELEY NATIONAL LABORATORY   (United States)

^c ORACLE CORPORATION   (United States)

Author keywords

Delta debugging algorithm; Dynamic program analysis; Mixed precision; Oating point arithmetic; Program optimization

Indexed keywords

TOOLS;

DYNAMIC PROGRAM ANALYSIS; GNU SCIENTIFIC LIBRARY; MIXED PRECISION; NAS PARALLEL BENCHMARKS; NUMERICAL PROGRAMS; PROGRAM OPTIMIZATION; PROGRAM PERFORMANCE; PROGRAM VARIABLES;

PROGRAM DEBUGGING;

EID: 84896898835     PISSN: 21674329     EISSN: 21674337     Source Type: Conference Proceeding    
DOI: 10.1145/2503210.2503296     Document Type: Conference Paper

References (29)

1. D. An, R. Blue, M. Lam, S. Piper, and G. Stoker. Fpinst: Floating point error analysis using dyninst, 2008. URL http: //www. freearrow. com/downloads/files/fpinst. pdf.
2. M. Baboulin, A. Buttari, J. Dongarra, J. Kurzak, J. Langou, J. Langou, P. Luszczek, and S. Tomov. Accelerating scientific computations with mixed precision algorithms. Computer Physics Communications, 180(12):2526-2533, 2009.
3. D. H. Bailey. Resolving numerical anomalies in scientific computation, 2008. URL http://www. davidhbailey. com/dhbpapers/numerical-bugs. pdf.
4. D. H. Bailey, T. Harris, W. Saphir, R. van der Wijngaart, A. Woo, and M. Yarrow. The NAS Parallel Benchmarks 2. 0, 1995.
5. E. T. Barr, T. Vo, V. Le, and Z. Su. Automatic detection of oating-point exceptions. In R. Giacobazzi and R. Cousot, editors, POPL, pages 549-560. ACM, 2013.
6. F. Benz, A. Hildebrandt, and S. Hack. A dynamic program analysis to nd oating-point accuracy problems. In J. Vitek, H. Lin, and F. Tip, editors, PLDI, pages 453-462. ACM, 2012.
7. J. Bilmes, K. Asanovific, C. Chin, and J. Demmel. Optimizing matrix multiply using PHiPAC: A portable, high-performance, ANSI C coding methodology. In Proceedings of the International Conference on Supercomputing, Vienna, Austria, July 1997. ACM SIGARC. see http://www. icsi. berkeley. edu/bilmes/phipac.
8. A. W. Brown, P. H. J. Kelly, and W. Luk. Proling oating point value ranges for recon-gurable implementation. In Proceedings of the 1st HiPEAC Workshop on Recon-gurable Computing, pages 6-16, 2007.
9. A. Buttari, J. Dongarra, J. Kurzak, P. Luszczek, and S. Tomov. Using mixed precision for sparse matrix computations to enhance the performance while achieving 64-bit accuracy. ACM Trans. Math. Softw., 34(4):17:1-17:22, July 2008. URL http://doi. acm. org/10. 1145/1377596. 1377597.
10. G. P. Contributors. GSL-GNU scientific library-GNU project-free software foundation (FSF). http://www. gnu. org/software/gsl/, 2010. URL http://www. gnu. org/software/gsl/.
11. E. Darulova and V. Kuncak. Trustworthy numerical computation in scala. In C. V. Lopes and K. Fisher, editors, OOPSLA, pages 325-344. ACM, 2011.
12. F. de Dinechin, C. Lauter, and G. Melquiond. Certifying the oating-point implementation of an elementary function using gappa. IEEE Trans. Comput., 60(2):242-253, Feb. 2011. URL http://dx. doi. org/10. 1109/TC. 2010. 128.
13. D. Delmas, E. Goubault, S. Putot, J. Souyris, K. Tekkal, and F. Vedrine. Towards an industrial use of uctuat on safety-critical avionics software. In Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS'09, pages 53-69, Berlin, Heidelberg, 2009. Springer-Verlag. URL http://dx. doi. org/10. 1007/978-3-642-04570-7-6.
14. M. Frigo. A Fast Fourier Transform compiler. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Atlanta, Georgia, May 1999.
15. D. Goldberg. What every computer scientist should know about oating point arithmetic. ACM Computing Surveys, 23(1):5-48, 1991.
16. Y. Hida, X. S. Li, and D. H. Bailey. Algorithms for quad-double precision oating point arithmetic. In Proceedings of the 15th IEEE Symposium on Computer Arithmetic, ARITH'01, pages 155-, Washington, DC, USA, 2001. IEEE Computer Society. URL http: //dl. acm. org/citation. cfm?id=872021. 872445.
17. N. J. Higham. Accuracy and Stability of Numerical Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, second edition, 2002.
18. W. Kahan. A Mathematical Curiosity, 2013.
19. M. O. Lam, J. K. Hollingsworth, and G. W. Stewart. Dynamic oating-point cancellation detection. In 1st International Workshop on High-performance Infrastructure for Scalable Tools, 2011.
20. M. O. Lam, J. K. Hollingsworth, B. R. de Supinski, and M. P. LeGendre. Automatically adapting programs for mixed-precision oating-point computation. In A. D. Malony, M. Nemirovsky, and S. P. Midki, editors, ICS, pages 369-378. ACM, 2013.
21. C. Lattner and V. Adve. LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation. In Proceedings of the 2004 International Symposium on Code Generation and Optimization (CGO'04), Palo Alto, California, Mar 2004.
22. X. S. Li, J. W. Demmel, D. H. Bailey, G. Henry, Y. Hida, J. Iskandar, W. Kahan, S. Y. Kang, A. Kapur, M. C. Martin, B. J. Thompson, T. Tung, and D. J. Yoo. Design, implementation and testing of extended and mixed precision BLAS. ACM Trans. Math. Softw., 28(2):152-205, June 2002. URL http://doi. acm. org/10. 1145/567806. 567808.
23. M. Puschel, J. M. F. Moura, J. Johnson, D. Padua, M. Veloso, B. Singer, J. Xiong, F. Franchetti, A. Gacic, Y. Voronenko, K. Chen, R. W. Johnson, and N. Rizzolo. SPIRAL: Code generation for DSP transforms. Proceedings of the IEEE, special issue on \Program Generation, Optimization, and Adaptation", 93(2):232-275, 2005.
24. T. Ravitch. LLVM Whole-Program Wrapper @ONLINE, Mar. 2011. URL https://github. com/travitch/whole-program-llvm.
25. K. Sen, D. Marinov, and G. Agha. CUTE: A concolic unit testing engine for C. In 5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'05), pages 263-272. ACM, 2005.
26. I. C. Society. IEEE Standard for Floating-Point Arithmetic, IEEE Standard 754-2008, Aug. 2008. URL http://ieeexplore. ieee. org/xpl/freeabs all. jsp?arnumber=4610935.
27. R. Vuduc, J. Demmel, and K. Yelick. OSKI: A library of automatically tuned sparse matrix kernels. In Proc. of SciDAC 2005, J. of Physics: Conference Series. Institute of Physics Publishing, June 2005.
28. C. Whaley. Automatically Tuned Linear Algebra Software (ATLAS). math-atlas. sourceforge. net, 2012.
29. A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Trans. Software Eng., 28(2):183-200, 2002.