Automatic detection of floating-point exceptions.

Earl T. Barr Thanh Vo Vu Le Zhendong Su

Published in: POPL (2013)

Keyphrases

automatic detection
floating point
square root
fixed point
automatically detecting
sparse matrices
fast fourier transform
instruction set
bayesian networks
floating point arithmetic
fine grained
message passing
interval arithmetic