Intra-Procedural Optimization of the Numerical Accuracy of Programs
Speaker(s) : Matthieu Martel (Université de Perpignan Via Domitia)
Numerical programs performing floating-point computations are very sensitive to the way formulas are written. Recently, several techniques have been proposed concerning the transformation of arithmetic expressions in order to improve their accuracy and, in this article, we want to go one step further by automatically transforming larger pieces of code containing assignments and control structures. We define a set of transformation rules allowing the generation, under certain conditions, of larger expressions by performing limited formal computations, possibly among several iterations of a loop. These larger expressions are better suited to improve the numerical accuracy of the target variable. We use abstract interpretation-based static analysis techniques to over-approximate the roundoff errors in programs and during the transformation of expressions. A prototype has been implemented and experimental results are also presented concerning classical numerical algorithm analysis and algorithm for embedded systems.
marc (at) nullmezzarobba.net