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, ...
Liste complète des métadonnées

Cited literature [7 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01157509
Contributor : Laurent Thévenoux <>
Submitted on : Monday, June 1, 2015 - 11:00:09 AM
Last modification on : Friday, February 1, 2019 - 1:21:14 AM
Document(s) archivé(s) le : Monday, April 24, 2017 - 9:37:56 PM

File

LMT15b-abstract.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01157509, version 1

Citation

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

Share

Metrics

Record views

736

Files downloads

183