[PPT] - Symbolic Crosschecking of Floating-Point and SIMD Code Peter PowerPoint Presentation