BinFPE: accurate floating-point exception detection for GPU applications.

Ignacio Laguna, Xinyi Li, Ganesh Gopalakrishnan

Browse the full PLDI paper archive.