Mixed Precision Tuning with Salsa

Nasrine Damouche, Matthieu Martel

2018

Abstract

Precision tuning consists of finding the least floating-point formats enabling a program to compute some results with an accuracy requirement. In mixed precision, this problem has a huge combinatory since any value may have its own format. Precision tuning has given rise to the development of several tools that aim at guarantying a desired precision on the outputs of programs doing floating-point computations, by minimizing the initial, over-estimated, precision of the inputs and intermediary results. In this article, we present an extension of our tool for numerical accuracy, Salsa, which performs precision tuning. Originally, Salsa is a program transformation tool based on static analysis and which improves the accuracy of floating-point computations. We have extended Salsa with a precision tuning static analysis. We present experimental results showing the efficiency of this new feature as well as the additional gains that we obtain by performing Salsa’s program transformation before the precision tuning analysis. We experiment our tool on a set of programs coming from various domains like embedded systems and numerical analysis.

Paper Citation

in Harvard Style

Damouche N. and Martel M. (2018). Mixed Precision Tuning with Salsa.In Proceedings of the 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PEC, ISBN 978-989-758-322-3, pages 47-56. DOI: 10.5220/0006915500470056

in Bibtex Style

@conference{pec18,
author={Nasrine Damouche and Matthieu Martel},
title={Mixed Precision Tuning with Salsa},
booktitle={Proceedings of the 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PEC,},
year={2018},
pages={47-56},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006915500470056},
isbn={978-989-758-322-3},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 8th International Joint Conference on Pervasive and Embedded Computing and Communication Systems - Volume 1: PEC,
TI - Mixed Precision Tuning with Salsa
SN - 978-989-758-322-3
AU - Damouche N.
AU - Martel M.
PY - 2018
SP - 47
EP - 56
DO - 10.5220/0006915500470056