Automatic detection of floating-point exceptions.

Earl T. Barr, Thanh Vo, Vu Le, Zhendong Su

Browse the full POPL paper archive.