Download PDFOpen PDF in browser

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

14 pagesPublished: April 16, 2018


This article describes Salsa, an automatic tool to improve 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.

Keyphrases: Automatic transformation of programs, floating-point arithmetic, Numerical accuracy, static analysis

In: Natarajan Shankar and Bruno Dutertre (editors). Automated Formal Methods, vol 5, pages 63--76

BibTeX entry
  author    = {Nasrine Damouche and Matthieu Martel},
  title     = {Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs},
  booktitle = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  pages     = {63--76},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair,},
  issn      = {2515-1762},
  url       = {},
  doi       = {10.29007/j2fd}}
Download PDFOpen PDF in browser