Related Work and Background

Papers

• Software Model Checking the Precision of Floating-Point Programs.
  • Franjo Ivancic, Malay K. Ganai, Sriram Sankaranarayanan, and Aarti Gupta
• A Formally-Verified C Compiler Supporting Floating-Point Arithmetic. ARITH '13.
  • Sylvie Boldo, Jacques-Henri Jourdan, Xavier Leroy, Guillaume Melquiond
• Automatic Detection of Floating-Point Exceptions. POPL '13.
  • Earl T. Barr, Thanh Vo, Vu Le, Zhendong Su

Projects

• Gappa
  • http://gappa.gforge.inria.fr/
  • http://lipforge.ens-lyon.fr/projects/gappa/
• gotoblas
  • http://c2.com/cgi/wiki?GotoBlas
  • http://www.tacc.utexas.edu/tacc-projects/gotoblas2/
  • http://www.openblas.net/
• atlas
  • http://math-atlas.sourceforge.net/
• fftw
  • http://www.fftw.org/
• Astree
  • http://www.astree.ens.fr/

Books

• Hamming. Numerical Methods for Scientists and Engineers. Dover 1973.
• Muller, et al. Handbook of Floating-Point Arithmetic. Springer 2010.
• Higham, Accuracy and Stability of Numerical Algorithms. SIAM 2002. http://epubs.siam.org/doi/book/10.1137/1.9780898718027

Misc Web

• Compilers and extended precision
  • http://possiblywrong.wordpress.com/2013/11/15/floating-point-equality-its-worse-than-you-think/
  • http://randomascii.wordpress.com/2012/03/21/intermediate-floating-point-precision/
  • http://www.parashift.com/c++-faq-lite/floating-point-arith2.html
  • http://caml.inria.fr/pub/ml-archives/caml-list/1999/02/c1eef92e771b071bdb41d787d3c02235.en.html
• randomascii series on floating point
  • Floating-Point Determinism
• What Every Computer Scientist Should Know About Floating-Point Arithmetic
• Table Maker's Dilemma
• The Patriot missle failure

People

• William Kahan