Symbolic crosschecking of floating-point and SIMD code (2011)

by P Collingbourne, C Cadar, P H Kelly
Venue:In EuroSys