{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,22]],"date-time":"2026-02-22T07:24:04Z","timestamp":1771745044140,"version":"3.50.1"},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2021,4,20]],"date-time":"2021-04-20T00:00:00Z","timestamp":1618876800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Math. Softw."],"published-print":{"date-parts":[[2021,6,30]]},"abstract":"<jats:p>Quantifying errors and losses due to the use of Floating-point (FP) calculations in industrial scientific computing codes is an important part of the Verification, Validation, and Uncertainty Quantification process. Stochastic Arithmetic is one way to model and estimate FP losses of accuracy, which scales well to large, industrial codes. It exists in different flavors, such as CESTAC or MCA, implemented in various tools such as CADNA, Verificarlo, or Verrou. These methodologies and tools are based on the idea that FP losses of accuracy can be modeled via randomness. Therefore, they share the same need to perform a statistical analysis of programs results to estimate the significance of the results.<\/jats:p>\n          <jats:p>In this article, we propose a framework to perform a solid statistical analysis of Stochastic Arithmetic. This framework unifies all existing definitions of the number of significant digits (CESTAC and MCA), and also proposes a new quantity of interest: the number of digits contributing to the accuracy of the results. Sound confidence intervals are provided for all estimators, both in the case of normally distributed results, and in the general case. The use of this framework is demonstrated by two case studies of industrial codes: Europlexus and code_aster.<\/jats:p>","DOI":"10.1145\/3432184","type":"journal-article","created":{"date-parts":[[2021,4,20]],"date-time":"2021-04-20T19:08:06Z","timestamp":1618945686000},"page":"1-33","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Confidence Intervals for Stochastic Arithmetic"],"prefix":"10.1145","volume":"47","author":[{"given":"Devan","family":"Sohier","sequence":"first","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, UVSQ, Li-PaRAD, Guyancourt, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pablo De Oliveira","family":"Castro","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Saclay, UVSQ, Li-PaRAD, Guyancourt, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"F\u00e9votte","sequence":"additional","affiliation":[{"name":"TriScale innov, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Lathuili\u00e8re","sequence":"additional","affiliation":[{"name":"EDF R&amp;D--PERICLES, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Petit","sequence":"additional","affiliation":[{"name":"Intel Corp., Meudon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Jamond","sequence":"additional","affiliation":[{"name":"CEA, Gif sur Yvette, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,4,20]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Andr\u00e9 Adobes. 2016. Code_Aster: SDNL112. Retrieved from https:\/\/www.code-aster.org\/V2\/doc\/v14\/en\/man_v\/v5\/v5.02.112.pdf."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-012-9255-4"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02614-0_10"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2011.40"},{"key":"e_1_2_1_5_1","unstructured":"Lawrence D. Brown T. Tony Cai and Anirban DasGupta. 2001. Interval estimation for a binomial proportion. Stat. Sci. (2001) 101--117."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2018.8464687"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-29400-7_34"},{"key":"e_1_2_1_8_1","first-page":"851","article-title":"On the general reliability of the CESTAC method","volume":"1","author":"Chatelin Fran\u00e7oise","year":"1988","unstructured":"Fran\u00e7oise Chatelin. 1988. On the general reliability of the CESTAC method. C. R. Acad. Sci. Paris 1 (1988), 851--854.","journal-title":"C. R. Acad. Sci. Paris"},{"key":"e_1_2_1_9_1","first-page":"855","article-title":"On the robustness of the CESTAC method","volume":"1","author":"Chesneaux Jean-Marie","year":"1988","unstructured":"Jean-Marie Chesneaux and Jean Vignes. 1988. On the robustness of the CESTAC method. C. R. Acad. Sci. Paris 1 (1988), 855--860.","journal-title":"C. R. Acad. Sci. Paris"},{"key":"e_1_2_1_10_1","volume-title":"M\u00e9canique, Physique, Chimie, Sciences de l\u2019univers, Sciences de la Terre 316, 2","author":"Chesneaux Jean-Marie","year":"1993","unstructured":"Jean-Marie Chesneaux and Jean Vignes. 1993. L\u2019algorithme de Gauss en arithm\u00e9tique stochastique. Comptes rendus de l\u2019Acad\u00e9mie des sciences. S\u00e9rie 2, M\u00e9canique, Physique, Chimie, Sciences de l\u2019univers, Sciences de la Terre 316, 2 (1993), 171--176."},{"key":"e_1_2_1_11_1","unstructured":"Code_Aster. 2018. Structures and Thermomechanics Analysis for Studies and Research. Retrieved from http:\/\/www.code-aster.org\/."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141584"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH48897.2020.00026"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2016.31"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1006\/jsvi.2000.3191"},{"key":"e_1_2_1_16_1","unstructured":"Europlexus. 2018. Project web page. Retrieved from http:\/\/www-epx.cea.fr\/."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1136\/bmj.311.7005.619"},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN\u201916)","author":"F\u00e9votte Fran\u00e7ois","year":"2016","unstructured":"Fran\u00e7ois F\u00e9votte and Bruno Lathuili\u00e8re. 2016. VERROU: A CESTAC evaluation without recompilation. In Proceedings of the International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics (SCAN\u201916). Uppsala, Sweden."},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63501-9_5"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2665073"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_47"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_3"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/0702025"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/502102.502106"},{"key":"e_1_2_1_25_1","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"Higham Nicholas J.","unstructured":"Nicholas J. Higham. 2002. Accuracy and Stability of Numerical Algorithms. SIAM, Philadelphia, PA."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2008.02.003"},{"key":"e_1_2_1_27_1","volume-title":"Canadian Mathematical Bulletin","author":"Kahan William","unstructured":"William Kahan. 1966. Numerical linear algebra. In Canadian Mathematical Bulletin. Cambridge, University Press, Cambridge, UK, 756--801."},{"key":"e_1_2_1_28_1","volume-title":"Proceedings of the UCB Statistics Colloquium, Evans Hall Edition. 20","author":"Kahan William","year":"1996","unstructured":"William Kahan. 1996. The improbability of probabilistic error analyses for numerical computations. In Proceedings of the UCB Statistics Colloquium, Evans Hall Edition. 20."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2010.07.006"},{"key":"e_1_2_1_30_1","unstructured":"Wenbin Li. 2013. Numerical Accuracy Analysis in Simulations on Hybrid High-performance Computing Systems. Ph.D. Dissertation. University of Stuttgart. Retrieved from http:\/\/d-nb.info\/1035203235."},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30579-8_4"},{"key":"e_1_2_1_32_1","volume-title":"Methods and Applications of Interval Analysis","author":"Moore Ramon E.","unstructured":"Ramon E. Moore. 1979. Methods and Applications of Interval Analysis. Vol. 2. SIAM, Philadelphia, PA."},{"key":"e_1_2_1_33_1","volume-title":"Cloud","author":"Moore Ramon E.","year":"2009","unstructured":"Ramon E. Moore, R. Baker Kearfott, and Michael J. Cloud. 2009. Introduction to Interval Analysis. Vol. 110. SIAM, Philadelphia, PA."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1137\/030601818"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11155-005-6891-y"},{"key":"e_1_2_1_37_1","volume-title":"Developments in Reliable Computing","author":"Rump Siegfried M.","unstructured":"Siegfried M. Rump. 1999. INTLAB\u2014Interval laboratory. In Developments in Reliable Computing. Springer, 77--104."},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/S096249291000005X"},{"key":"e_1_2_1_39_1","unstructured":"Gilbert Saporta. 2011. Probabilit\u00e9s analyse de donn\u00e9es et statistiques (3eme \u00e9dition). Editions Technip."},{"key":"e_1_2_1_40_1","unstructured":"Douglas Stott Parker. 1997. Monte Carlo Arithmetic: Exploiting Randomness in Floating-point Arithmetic. Technical Report CSD-970002. UCLA Computer Science Dept."},{"key":"e_1_2_1_41_1","unstructured":"Verificarlo. 2018. Project repository. Retrieved from https:\/\/github.com\/verificarlo\/verificarlo."},{"key":"e_1_2_1_42_1","unstructured":"Verrou. 2018. Project repository. Retrieved from https:\/\/github.com\/edf-hpc\/verrou."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000049483.75679.ce"},{"key":"e_1_2_1_44_1","volume-title":"Proceedings of IFP. IFP, 610--614","author":"Vignes Jean","year":"1974","unstructured":"Jean Vignes and Michel La Porte. 1974. Error analysis in computing. In Proceedings of IFP. IFP, 610--614."},{"key":"e_1_2_1_45_1","volume-title":"Why Programs Fail","author":"Zeller Andreas","unstructured":"Andreas Zeller. 2009. Why Programs Fail (2nd ed.). Morgan Kaufmann, Boston.","edition":"2"}],"container-title":["ACM Transactions on Mathematical Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3432184","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3432184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,14]],"date-time":"2025-07-14T22:26:47Z","timestamp":1752532007000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3432184"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,20]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2021,6,30]]}},"alternative-id":["10.1145\/3432184"],"URL":"https:\/\/doi.org\/10.1145\/3432184","relation":{},"ISSN":["0098-3500","1557-7295"],"issn-type":[{"value":"0098-3500","type":"print"},{"value":"1557-7295","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,4,20]]},"assertion":[{"value":"2018-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-10-01","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2021-04-20","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}