Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation

Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods

Abstract : Critical software based on floating-point arithmetic requires rigorous verification and validation process to improve our confidence in their reliability and their safety. Unfortunately available techniques for this task often provide overestimates of the round-off errors. We can cite Arian 5, Patriot rocket as well-known examples of disasters. These last years, several techniques have been proposed concerning the transformation of arithmetic expressions in order to improve their numerical accuracy and, in this work, we go one step further by automatically transforming larger pieces of code containing assignments, control structures and functions. We define a set of transformation rules allowing the generation, under certain conditions and in polynomial time, of larger expressions by performing limited formal computations, possibly among several iterations of a loop. These larger expressions are better suited to improve, by re-parsing, the numerical accuracy of the program results. We use abstract interpretation based static analysis techniques to over-approximate the round-off errors in programs and during the transformation of expressions. A tool has been implemented and experimental results are presented concerning classical numerical algorithms and algorithms for embedded systems.
Document type :
Complete list of metadata

Cited literature [78 references]  Display  Hide  Download
Contributor : ABES STAR :  Contact
Submitted on : Friday, February 3, 2017 - 5:36:10 PM
Last modification on : Monday, May 3, 2021 - 5:24:07 PM
Long-term archiving on: : Friday, May 5, 2017 - 11:29:21 AM


Version validated by the jury (STAR)


  • HAL Id : tel-01455727, version 1



Nasrine Damouche. Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods. Computer Arithmetic. Université de Perpignan, 2016. English. ⟨NNT : 2016PERP0032⟩. ⟨tel-01455727⟩



Record views


Files downloads