2:30 PM
TUTORIAL 2: Verificarlo: Floating-point Computing Verification and Optimization
-
David Defour
(Universty of Versailles, ECR Lab, and University of Perpignan)
Eric Petit
(Intel Corporation)
Pablo de Oliveira Castro
(Universty of Versailles, Li-Parad, ECR Lab)
Yohan Chatelain
(Universty of Versailles, Li-Parad, ECR Lab)