Accurate Residues for Floating-Point Debugging

Yumeng He, Pavel Panchekha

Floating-point arithmetic is error-prone and unintuitive. Floating-point debuggers instrument programs to monitor floating-point arithmetic at run time and flag numerical issues. T…