DALI
Digits Architectures Logiciels Informatique

Séminaires

Damouche Nasrine : Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs

Jeudi 08 Février 2018

Salsa is an automatic tool that improves the accuracy of the floating-point computations done in numerical codes. Based on static analysis methods by abstract interpretation, our tool takes as input an original program, applies to it a set of transformations and then generates an optimized program which is more accurate than the initial one. The original and the transformed programs are written in the same imperative language. This article is a concise description of former work on the techniques implemented in Salsa, extended with a presentation of the main software architecture, the inputs and outputs of the tool as well as experimental results obtained by applying our tool on a set of sample programs coming from embedded systems and numerical analysis.