poster

Optimizing the accuracy of a rocket trajectory simulation by program transformation

Authors:

Nasrine Damouche,

Matthieu Martel,

Alexandre ChapoutotAuthors Info & Claims

CF '15: Proceedings of the 12th ACM International Conference on Computing Frontiers

Article No.: 40, Pages 1 - 2

https://doi.org/10.1145/2742854.2742894

Published: 06 May 2015 Publication History

Get Access

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 interested in using this method to improve the accuracy of programs 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 article, we demonstrate the effectiveness of our approach on a non-trivial numerical simulation code.

References

[1]

ANSI/IEEE. IEEE Standard for Binary Floating-Point Arithmetic. SIAM, 2008.

Google Scholar

[2]

Cousot, P., and Cousot, R. Abstract interpretation: A unified lattice model for static analysis of programs. In POPL (1977).

Digital Library

Google Scholar

[3]

Damouche, N., Martel, M., and Chapoutot, A. Intra-procedural optimization of the numerical accuracy of programs. In FMICS (2015). To be published.

Crossref

Google Scholar

[4]

Goubault, E., and Putot, S. Static analysis of finite precision comp. In VMCAI (2011), vol. 6538 of LNCS.

Digital Library

Google Scholar

[5]

Ioualalen, A., and Martel, M. A new abstract domain for the representation of mathematically equivalent expressions. In SAS (2012).

Digital Library

Google Scholar

Cited By

View all

Titolo LMuñoz CFeliú MMoscato M(2019)Eliminating Unstable Tests in Floating-Point ProgramsLogic-Based Program Synthesis and Transformation10.1007/978-3-030-13838-7_10(169-183)Online publication date: 23-Feb-2019
https://doi.org/10.1007/978-3-030-13838-7_10
Damouche NMartel MChapoutot A(2017)Improving the numerical accuracy of programs by automatic transformationInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-016-0435-019:4(427-448)Online publication date: 1-Aug-2017
https://dl.acm.org/doi/10.1007/s10009-016-0435-0
Damouche NMartel MChapoutot A(2015)Impact of Accuracy Optimization on the Convergence of Numerical IterativeźMethodsRevised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 952710.1007/978-3-319-27436-2_9(143-160)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1007/978-3-319-27436-2_9

Index Terms

Optimizing the accuracy of a rocket trajectory simulation by program transformation
1. Mathematics of computing
  1. Mathematical analysis
    1. Numerical analysis
      1. Arbitrary-precision arithmetic
      2. Interval arithmetic
2. Theory of computation
  1. Semantics and reasoning
    1. Program reasoning
      1. Program analysis
    2. Program semantics

Recommendations

Program transformation for numerical precision
PEPM '09: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation

This article introduces a new program transformation in order to enhance the numerical accuracy of floating-point computations. We consider that a program would return an exact result if the computations were carried out using real numbers. In practice, ...
Improving the numerical accuracy of programs by automatic transformation

The dangers of programs performing floating-point computations are well known. This is due to the sensitivity of the results to the way formulæ are written. These last years, several techniques have been proposed concerning the transformation of ...
Bound Analysis for Whiley Programs

The Whiley compiler can generate naive C code, but the code is inefficient because it uses infinite integers and dynamic array sizes. Our project goal is to build up a compiler that can translate Whiley programs into efficient OpenCL code with fixed-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

CF '15: Proceedings of the 12th ACM International Conference on Computing Frontiers

May 2015

413 pages

ISBN:9781450333580

DOI:10.1145/2742854

General Chairs:
Claudia Di Napoli
Istituto di Calcolo e Reti ad Alte Prestazioni, CNR, ITALY
,
Valentina Salapura
IBM T. J. Watson Research Center
,
Program Chairs:
Hubertus Franke
IBM T.J.Watson Research Center
,
Rui Hou
Institute for Computing Technology, Chinese Academy of Sciences, PRC

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 May 2015

Check for updates

Author Tags

Qualifiers

Poster

Conference

CF'15

Sponsor:

SIGMICRO

CF'15: Computing Frontiers Conference

May 18 - 21, 2015

Ischia, Italy

Acceptance Rates

CF '15 Paper Acceptance Rate 33 of 96 submissions, 34%;

Overall Acceptance Rate 273 of 785 submissions, 35%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
95
Total Downloads

Downloads (Last 12 months)3
Downloads (Last 6 weeks)0

Reflects downloads up to 03 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Titolo LMuñoz CFeliú MMoscato M(2019)Eliminating Unstable Tests in Floating-Point ProgramsLogic-Based Program Synthesis and Transformation10.1007/978-3-030-13838-7_10(169-183)Online publication date: 23-Feb-2019
https://doi.org/10.1007/978-3-030-13838-7_10
Damouche NMartel MChapoutot A(2017)Improving the numerical accuracy of programs by automatic transformationInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-016-0435-019:4(427-448)Online publication date: 1-Aug-2017
https://dl.acm.org/doi/10.1007/s10009-016-0435-0
Damouche NMartel MChapoutot A(2015)Impact of Accuracy Optimization on the Convergence of Numerical IterativeźMethodsRevised Selected Papers of the 25th International Symposium on Logic-Based Program Synthesis and Transformation - Volume 952710.1007/978-3-319-27436-2_9(143-160)Online publication date: 13-Jul-2015
https://dl.acm.org/doi/10.1007/978-3-319-27436-2_9

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Program transformation for numerical precision

Improving the numerical accuracy of programs by automatic transformation

Bound Analysis for Whiley Programs