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 <>
Submitted on : Monday, June 1, 2015 - 11:00:09 AM
Last modification on : Wednesday, November 20, 2019 - 2:41:27 AM
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