Floating-Point Shadow Value Analysis.

Michael O. Lam, Barry L. Rountree

Browse the full SC paper archive.