Research Projects

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

*** THIS PROJECT IS NO LONGER ACTIVE ***

William M. Kahan, James Demmel and Koushik Sen

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