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
Conference papers

Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation

Nasrine Damouche 1, 2 Matthieu Martel 2, 1 Alexandre Chapoutot 3 
2 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 : Static analysis by abstract interpretation is one of the most successful techniques used to over-approximate the roundoff errors in numerical programs. In our case, we are inter- ested in using this method to improve the accuracy of pro- grams which perform floating-point computations, known for their sensitivity to the way formulas are written. We are interested in transforming automatically pieces of code by applying to them several rewriting rules. In this arti- cle, we demonstrate the effectiveness of our approach on a non-trivial numerical simulation code.
Document type :
Conference papers
Complete list of metadata
Contributor : Alexandre Chapoutot Connect in order to contact the contributor
Submitted on : Friday, March 20, 2015 - 10:09:13 AM
Last modification on : Tuesday, July 5, 2022 - 10:32:02 AM



Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation. CF: Computing Frontiers, May 2015, Ischia, Italy. pp.40, ⟨10.1145/2742854.2742894⟩. ⟨hal-01133695⟩



Record views