Research Projects

Remedies for the Undebuggability of Large-Scale Floating-Point Computations

William M. Kahan, James Demmel and Koushik Sen

Sun Microsystems

Numerical anomalies suspected of arising from roundoff or exceptions in large-scale floating-point computations are practically impossible to debug without peculiar capabilities needed in compilers and debuggers.

[1]
www.cs.berkeley.edu/~wkahan/7Oct09.pdf