OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Numerical Accuracy Improvement by Interprocedural Program Transformation

Damouche, Nasrine and Martel, Matthieu and Chapoutot, Alexandre Numerical Accuracy Improvement by Interprocedural Program Transformation. (2017) In: Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems (SCOPES 2017), 12 June 2017 - 13 June 2017 (Sankt Goar, Germany).

[img] (Document in English)

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader

Official URL: https://doi.org/10.1145/3078659.3078662


Floating-point numbers are used to approximate the exact real numbers in a wide range of domains like numerical simulations, embedded software, etc. However, floating-point numbers are a finite approximation of real numbers. In practice, this approximation may introduce round-off errors and this can lead to catastrophic results. To cope with this issue, we have developed a tool which corrects partly these round-off errors and which consequently improves the numerical accuracy of computations by automatically transforming programs in a source to source manner. Our transformation, relies on static analysis by abstract interpretation and operates on pieces of code with assignments, conditionals and loops. In former work, we have focused on the intraprocedural transformation of programs and, in this article, we introduce the interprocedural transformation to improve accuracy.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > Ecole Nationale Supérieure de Techniques Avancées - ENSTA (FRANCE)
Other partners > Université Paris-Saclay (FRANCE)
Other partners > Université de Perpignan Via Domitia - UPVD (FRANCE)
Laboratory name:
Deposited On:03 Feb 2023 09:48

Repository Staff Only: item control page