D. Goldberg, What every computer scientist should know about floating-point arithmetic, ACM Computing Surveys, vol.23, 1991.

C. Gumpert, A. Salzburger, J. Hrdinka, P. Gessinger, M. Kiehn et al., , 2018.

A. Collaboration, Technical Design Report for the ATLAS Inner Tracker Strip Detector, 2017.

A. Collaboration, Technical Design Report for the ATLAS Inner Tracker Pixel Detector, 2017.

, ATLAS experiment at CERN

H. The and . Project,

, Future Circular Collider study

F. Févotte and B. Lathuilière,

F. Févotte and B. Lathuilière, Verrou: Assessing floating-point accuracy without recompiling

F. Févotte and B. Lathuilière, Studying the Numerical Quality of an Industrial Computing Code: A Case Study on code_aster, International Workshop on Numerical Software Verification (NSV), pp.61-80, 2017.

N. Nethercote and J. Seward, Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation, ACM SIGPLAN Conference on Programming Language Design and Implementation, 2007.

W. Kahan, How futile are mindless assessments of roundoff in floating-point computation, 2006.

J. Vignes, A stochastic arithmetic for reliable scientific computation, Mathematics and Computers in Simulation, vol.35, p.233, 1993.

D. Parker, Monte Carlo arithmetic: exploiting randomness in floating-point arithmetic, 1997.

J. M. Chesneaux and J. Vignes, On the robustness of the CESTAC method, C. R. Acad.Sci. Paris, vol.1, p.855, 1988.

D. Sohier, P. De-oliveira-castro, F. Févotte, B. Lathuilière, E. Petit et al., Confidence intervals for stochastic arithmetic
URL : https://hal.archives-ouvertes.fr/hal-01827319

A. Zeller, Why Programs Fail, 2009.

A. Zeller and R. Hildebrandt, Simplifying and isolating failure-inducing input, IEEE Transactions on Software Engineering, vol.28, p.183, 2002.

F. Févotte and B. Lathuilière, Debugging and optimization of HPC programs in mixed precision with the Verrou tool, Computational Reproducibility at Exascale, 2018.