HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs

Laurent Thévenoux 1, 2 Matthieu Martel 3 Philippe Langlois 3
2 ARIC - Arithmetic and Computing
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
3 DALI - Digits, Architectures et Logiciels Informatiques
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier, UPVD - Université de Perpignan Via Domitia
Abstract : We present the SyHD software developed to perform source-to-source transformation improving accuracy without impacting execution time too much. SyHD synthesizes C source code for both accuracy and execution-time criteria. It uses compensation for improving accuracy and transformation strategies for reducing the impact of this improvement on execution time.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [7 references]  Display  Hide  Download

Contributor : Laurent Thévenoux Connect in order to contact the contributor
Submitted on : Monday, June 1, 2015 - 11:00:09 AM
Last modification on : Monday, May 16, 2022 - 4:58:02 PM
Long-term archiving on: : Monday, April 24, 2017 - 9:37:56 PM


Files produced by the author(s)


  • HAL Id : hal-01157509, version 1


Laurent Thévenoux, Matthieu Martel, Philippe Langlois. Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs. 2015. ⟨hal-01157509⟩



Record views


Files downloads