Michael O. Lam, Barry L. Rountree: Floating-Point Shadow Value Analysis. ESPT@SC 2016: 18-25