Symbolic crosschecking of floating-point and SIMD code.

Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

Browse the full EuroSys paper archive.