TY - GEN
T1 - Numerical accuracy improvement by interprocedural program transformation
AU - Damouche, Nasrine
AU - Martel, Matthieu
AU - Chapoutot, Alexandre
N1 - Publisher Copyright:
© 2016 ACM.
PY - 2017/6/12
Y1 - 2017/6/12
N2 - 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.
AB - 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.
KW - Floating-point arithmetic
KW - Interprocedural program transformation
KW - Numerical accuracy
KW - Static analysis
U2 - 10.1145/3078659.3078662
DO - 10.1145/3078659.3078662
M3 - Conference contribution
AN - SCOPUS:85029694639
T3 - Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017
SP - 1
EP - 10
BT - Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017
A2 - Stuijk, Sander
PB - Association for Computing Machinery, Inc
T2 - 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017
Y2 - 12 June 2017 through 13 June 2017
ER -