TY - GEN
T1 - Optimizing the accuracy of a rocket trajectory simulation by program transformation
AU - Damouche, Nasrine
AU - Martel, Matthieu
AU - Chapoutot, Alexandre
N1 - Publisher Copyright:
Copyright 2015 ACM.
PY - 2015/5/6
Y1 - 2015/5/6
N2 - 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 interested in using this method to improve the accuracy of programs which perform oating-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 article, we demonstrate the effectiveness of our approach on a non-trivial numerical simulation code.
AB - 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 interested in using this method to improve the accuracy of programs which perform oating-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 article, we demonstrate the effectiveness of our approach on a non-trivial numerical simulation code.
KW - Abstract Interpretation
KW - Accuracy
KW - Compiler Optimizations
KW - Floating-Point Numbers
KW - Program Transformation
U2 - 10.1145/2742854.2742894
DO - 10.1145/2742854.2742894
M3 - Conference contribution
AN - SCOPUS:84969802041
T3 - Proceedings of the 12th ACM International Conference on Computing Frontiers, CF 2015
BT - Proceedings of the 12th ACM International Conference on Computing Frontiers, CF 2015
PB - Association for Computing Machinery, Inc
T2 - 12th ACM International Conference on Computing Frontiers, CF 2015
Y2 - 18 May 2015 through 21 May 2015
ER -