Data-Types Optimization for Floating-Point Formats by Program Transformation - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Data-Types Optimization for Floating-Point Formats by Program Transformation

Résumé

In floating-point arithmetic, a desirable property of computations is to be accurate, since in many industrial context small or large perturbations due to round-off errors may cause considerable damages. To cope with this matter of facts, we have developed a tool which corrects these errors by transforming automatically programs in a source to source manner. Our transformation, relying on static analysis by abstract abstraction, concerns pieces of code with assignments, conditionals and loops. By transforming programs, we significantly optimize the numer- ical accuracy of computations by minimizing the error relatively to the exact result. An interesting side-effect of our technique is that more accurate computations may make it possible to use smaller data-types. In this article, we show that our transformed programs, executed in single precision, may compete with not transformed codes executed in double precision.
Fichier non déposé

Dates et versions

hal-01290292 , version 1 (17-03-2016)

Identifiants

Citer

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Data-Types Optimization for Floating-Point Formats by Program Transformation. Control, Decision and Information Technologies (CoDIT), Apr 2016, Saint Julian's, Malta. ⟨10.1109/CoDIT.2016.7593626⟩. ⟨hal-01290292⟩
136 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More