Binary-Level Tools for Floating-Point Correctness Analysis Michael Lam LLNL Summer Intern 2011 Bronis de Supinski, Mentor.
EPSRC- Mini-sandpit Scarborough, Sept 10-12, 2007 A. Espinosa.