On-the-fly detection of instability problems in floating-point program execution.

Tao Bao, Xiangyu Zhang

Browse the full OOPSLA paper archive.