A dynamic program analysis to find floating-point accuracy problems

ACM SIGPLAN Notices

Volumn 47, Issue 6, 2012, Pages 453-462

  Benz, Florian ^a   Hildebrandt, Andreas ^b   Hack, Sebastian ^a  

^a SAARLAND UNIVERSITY   (Germany)

^b JOHANNES GUTENBERG UNIVERSITY   (Germany)

Author keywords

Dynamic program analysis; Floating point accuracy; Program instrumentation

Indexed keywords

ACCURACY PROBLEMS; BINARY TRANSLATION; BIOINFORMATICS APPLICATIONS; CATASTROPHIC ERRORS; DYNAMIC PROGRAM ANALYSIS; FLOATING-POINT ACCURACY; FLOATING-POINT ARITHMETIC; FLOATING-POINT COMPUTATION; LOSS OF ACCURACY; PROGRAM INSTRUMENTATION; RUNTIMES;

BIOINFORMATICS; DIGITAL ARITHMETIC;

PROGRAM DEBUGGING;

EID: 84866356758     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/2345156.2254118     Document Type: Conference Paper

References (21)

1. D. An, R. Blue, M. Lam, S. Piper, and G. Stoker. FPInst: Floating point error analysis using dyninst, 2008. http://www.freearrow.com/downloads/files/ fpinst.pdf.
2. A.W. Brown, P. H. J. Kelly, andW. Luk. Profiling floating point value ranges for reconfigurable implementation. In Proceedings of the 1st HiPEAC Workshop on Reconfigurable Computing, pages 6-16, 2007.
3. S. P. E. Corporation. SPEC CPU2006 benchmarks. http://www.spec.org/ cpu2006/.
4. T. J. Dekker. A floating-point technique for extending the available precision. Numerische Mathematik, 18:224-242, 1971. 10.1007/BF01397083.
5. D. Delmas, E. Goubault, S. Putot, J. Souyris, K. Tekkal, and F. V́edrine. Towards an industrial use of FLUCTUAT on safety-critical avionics software. In FMICS '09, pages 53-69. Springer-Verlag, 2009.
6. S. Gal. An accurate elementary mathematical library for the IEEE floating point standard. ACM Trans. Math. Softw., 17:26-45, March 1991.
7. GNU Linear Programming Kit, ver. 4.47. http://www.gnu.org/software/glpk/.
8. D. Goldberg. What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv., 23:5-48, 1991.
9. E. Goubault and S. Putot. Static analysis of finite precision computations. In VMCAI'11, pages 232-247, Berlin, Heidelberg, 2011. Springer-Verlag.
10. N. J. Higham. Accuracy and Stability of Numerical Algorithms. Society for Industrial and Applied Mathematics, Philadelphia, PA, USA, second edition edition, 2002.
11. A. Hildebrandt, A. K. Dehof, A. Rurainski, A. Bertsch, M. Schumann, N. Toussaint, A. Moll, D. Stockel, S. Nickels, S. Mueller, H.-P. Lenhof, and O. Kohlbacher. BALL-biochemical algorithms library 1.3. BMC Bioinformatics, 11(1):531, 2010.
12. W. Kahan. How futile are mindless assessments of roundoff in floating-point computation?, 2006. http://www.cs.berkeley.edu/wkahan/Mindless. pdf.
13. M. O. Lam, J. K. Hollingsworth, and G. W. Stewart. Dynamic floating-point cancellation detection. In WHIST 11, 2011.
14. P. Langlois. Automatic linear correction of rounding errors. BIT Numerical Mathematics, 41:515-539, 2001.
15. J.-M. Muller, N. Brisebarre, F. de Dinechin, C.-P. Jeannerod, V. Lefèvre, G. Melquiond, N. Revol, D. Stehl'e, and S. Torres. Handbook of Floating-Point Arithmetic. Birkhauser Boston, 2010.
16. N. Nethercote and J. Seward. Valgrind: A framework for heavyweight dynamic binary instrumentation. In PLDI '07, pages 89-100. ACM, 2007.
17. A. Neumaier and O. Shcherbina. Safe bounds in linear and mixedinteger linear programming. Mathematical Programming, 99:283-296, 2004. 10.1007/s10107-003-0433-3.
18. U. G. A. Office. Patriot missile defense: Software problem led to system failure at Dhahran, Saudi Arabia, GAO report IMTEC 92-26, 1992. http://www.gao.gov/products/IMTEC-92-26/.
19. J. Walker. Floating-point benchmarks. http://www.fourmilab.ch/fbench/, retrieved on 2011-03-03.
20. The Wall Street Journal November 8, 1983, p.37.
21. V. Weaver. SPEC CPU2006 problems of Valgrind. http://thread.gmane.org/ gmane.comp.debugging.valgrind.devel/1488/, retrieved on 2011-03-03.