{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T08:51:48Z","timestamp":1783414308859,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"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":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192411","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T08:16:01Z","timestamp":1528791361000},"page":"256-269","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":50,"title":["Finding root causes of floating point error"],"prefix":"10.1145","author":[{"given":"Alex","family":"Sanchez-Stern","sequence":"first","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pavel","family":"Panchekha","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sorin","family":"Lerner","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zachary","family":"Tatlock","sequence":"additional","affiliation":[{"name":"University of Washington, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"McDonald","author":"Altman Micah","year":"2003","unstructured":"Micah Altman , Jeff Gill , and Michael P . McDonald . 2003 . Numerical Issues in Statistical Computing for the Social Scientist. Springer-Verlag . 1\u201311 pages. Micah Altman, Jeff Gill, and Michael P. McDonald. 2003. Numerical Issues in Statistical Computing for the Social Scientist. Springer-Verlag. 1\u201311 pages."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1093\/pan\/mpg016"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509526"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254118"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.07.002"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009846"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555265"},{"key":"e_1_3_2_2_8_1","volume-title":"Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings.","author":"Damouche Nasrine","year":"2015","unstructured":"Nasrine Damouche , Matthieu Martel , and Alexandre Chapoutot . 2015 . Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. (2015), 31\u201346. Nasrine Damouche, Matthieu Martel, and Alexandre Chapoutot. 2015. Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings. (2015), 31\u201346."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2015.10.006"},{"key":"e_1_3_2_2_10_1","volume-title":"Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. (July","author":"Damouche Nasrine","year":"2016","unstructured":"Nasrine Damouche , Matthieu Martel , Pavel Panchekha , Jason Qiu , Alex Sanchez-Stern , and Zachary Tatlock . 2016. Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. (July 2016 ). Nasrine Damouche, Matthieu Martel, Pavel Panchekha, Jason Qiu, Alex Sanchez-Stern, and Zachary Tatlock. 2016. Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. (July 2016)."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535874"},{"key":"e_1_3_2_2_12_1","volume-title":"VERROU: Assessing Floating-Point Accuracy Without Recompiling. (Oct.","author":"F\u00e9votte Fran\u00e7ois","year":"2016","unstructured":"Fran\u00e7ois F\u00e9votte and Bruno Lathuili\u00e8re . 2016 . VERROU: Assessing Floating-Point Accuracy Without Recompiling. (Oct. 2016). https: \/\/hal.archives-ouvertes.fr\/hal-01383417 working paper or preprint. Fran\u00e7ois F\u00e9votte and Bruno Lathuili\u00e8re. 2016. VERROU: Assessing Floating-Point Accuracy Without Recompiling. (Oct. 2016). https: \/\/hal.archives-ouvertes.fr\/hal-01383417 working paper or preprint."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"e_1_3_2_2_14_1","volume-title":"Static Analysis of Finite Precision Computations (VMCAI\u201911)","author":"Goubault Eric","year":"1946","unstructured":"Eric Goubault and Sylvie Putot . 2011. Static Analysis of Finite Precision Computations (VMCAI\u201911) . Springer-Verlag , Berlin, Heidelberg , 232\u2013 247. http:\/\/dl.acm.org\/citation.cfm?id= 1946 284.1946301 Eric Goubault and Sylvie Putot. 2011. Static Analysis of Finite Precision Computations (VMCAI\u201911). Springer-Verlag, Berlin, Heidelberg, 232\u2013 247. http:\/\/dl.acm.org\/citation.cfm?id=1946284.1946301"},{"key":"e_1_3_2_2_15_1","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"Higham Nicholas J.","unstructured":"Nicholas J. Higham . 2002. Accuracy and Stability of Numerical Algorithms ( 2 nd ed.). Society for Industrial and Applied Mathematics , Philadelphia, PA, USA . Nicholas J. Higham. 2002. Accuracy and Stability of Numerical Algorithms (2nd ed.). Society for Industrial and Applied Mathematics, Philadelphia, PA, USA.","edition":"2"},{"key":"e_1_3_2_2_16_1","unstructured":"Andreas Jaeger. 2016. OpenLibm. http:\/\/openlibm.org\/  Andreas Jaeger. 2016. OpenLibm. http:\/\/openlibm.org\/"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/363707.363723"},{"key":"e_1_3_2_2_18_1","volume-title":"IFIP Congress (2). 1214\u20131239","author":"Kahan William","year":"1971","unstructured":"William Kahan . 1971 . A Survey of Error Analysis .. In IFIP Congress (2). 1214\u20131239 . http:\/\/dblp.uni-trier.de\/db\/conf\/ifip\/ifip71-2.html# Kahan71 William Kahan. 1971. A Survey of Error Analysis.. In IFIP Congress (2). 1214\u20131239. http:\/\/dblp.uni-trier.de\/db\/conf\/ifip\/ifip71-2.html# Kahan71"},{"key":"e_1_3_2_2_19_1","volume-title":"The State of the Art in Numerical Analysis (Birmingham","author":"Kahan W.","year":"1986","unstructured":"W. Kahan . 1987. Branch Cuts for Complex Elementary Functions or Much Ado About Nothing\u2019s Sign Bit . In The State of the Art in Numerical Analysis (Birmingham , 1986 ), A. Iserles and M. J. D. Powell (Eds.). Inst. Math. Appl. Conf. Ser. New Ser., Vol. 9 . Oxford Univ. Press , New York, 165\u00e2\u0102\u015e211. W. Kahan. 1987. Branch Cuts for Complex Elementary Functions or Much Ado About Nothing\u2019s Sign Bit. In The State of the Art in Numerical Analysis (Birmingham, 1986), A. Iserles and M. J. D. Powell (Eds.). Inst. Math. Appl. Conf. Ser. New Ser., Vol. 9. Oxford Univ. Press, New York, 165\u00e2\u0102\u015e211."},{"key":"e_1_3_2_2_21_1","unstructured":"William Kahan. 2005. Floating-Point Arithmetic Besieged by \u201cBusiness Decisions\u201d. World-Wide Web lecture notes.. 28 pages. http:\/\/www.cs. berkeley.edu\/~wkahan\/ARITH_17.pdf  William Kahan. 2005. Floating-Point Arithmetic Besieged by \u201cBusiness Decisions\u201d. World-Wide Web lecture notes.. 28 pages. http:\/\/www.cs. berkeley.edu\/~wkahan\/ARITH_17.pdf"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/355841.355847"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93558"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480960"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1257\/jel.37.2.633"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1095587"},{"key":"e_1_3_2_2_27_1","volume-title":"Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. (June","author":"Seward Nethercote","year":"2007","unstructured":"Nethercote and Seward . 2007 . Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. (June 2007). Nethercote and Seward. 2007. Valgrind: A Framework for Heavyweight Dynamic Binary Instrumentation. (June 2007)."},{"key":"e_1_3_2_2_28_1","unstructured":"Dr. K-C Ng. 1993. FDLIBM. http:\/\/www.netlib.org\/fdlibm\/readme  Dr. K-C Ng. 1993. FDLIBM. http:\/\/www.netlib.org\/fdlibm\/readme"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_2_30_1","first-page":"153","article-title":"A note on inductive generalization","volume":"5","author":"Plotkin Gordon D.","year":"1970","unstructured":"Gordon D. Plotkin . 1970 . A note on inductive generalization . Machine Intelligence 5 (1970), 153 \u2013 163 . Gordon D. Plotkin. 1970. A note on inductive generalization. Machine Intelligence 5 (1970), 153\u2013163.","journal-title":"Machine Intelligence"},{"key":"e_1_3_2_2_31_1","article-title":"Ever Had Problems Rounding Off Figures? This Stock Exchange Has","author":"Quinn Kevin","year":"1983","unstructured":"Kevin Quinn . 1983 . Ever Had Problems Rounding Off Figures? This Stock Exchange Has . The Wall Street Journal ( November 8, 1983), 37. Kevin Quinn. 1983. Ever Had Problems Rounding Off Figures? This Stock Exchange Has. The Wall Street Journal (November 8, 1983), 37.","journal-title":"The Wall Street Journal"},{"key":"e_1_3_2_2_32_1","volume-title":"Triangle: Engineering a 2D Quality Mesh Generator and Delaunay Triangulator. In Applied Computational Geometry: Towards Geometric Engineering, Ming C","author":"Shewchuk Jonathan Richard","year":"1996","unstructured":"Jonathan Richard Shewchuk . 1996 . Triangle: Engineering a 2D Quality Mesh Generator and Delaunay Triangulator. In Applied Computational Geometry: Towards Geometric Engineering, Ming C . Lin and Dinesh Manocha (Eds.). Lecture Notes in Computer Science, Vol. 1148 . Springer-Verlag , 203\u2013222. From the First ACM Workshop on Applied Computational Geometry. Jonathan Richard Shewchuk. 1996. Triangle: Engineering a 2D Quality Mesh Generator and Delaunay Triangulator. In Applied Computational Geometry: Towards Geometric Engineering, Ming C. Lin and Dinesh Manocha (Eds.). Lecture Notes in Computer Science, Vol. 1148. Springer-Verlag, 203\u2013222. From the First ACM Workshop on Applied Computational Geometry."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629697"},{"key":"e_1_3_2_2_34_1","volume-title":"Rigorous Estimation of Floating-Point Roundoff Errors with Symbolic Taylor Expansions (FM\u201915)","author":"Solovyev Alexey","unstructured":"Alexey Solovyev , Charlie Jacobsen , Zvonimir Rakamaric , and Ganesh Gopalakrishnan . 2015. Rigorous Estimation of Floating-Point Roundoff Errors with Symbolic Taylor Expansions (FM\u201915) . Springer . Alexey Solovyev, Charlie Jacobsen, Zvonimir Rakamaric, and Ganesh Gopalakrishnan. 2015. Rigorous Estimation of Floating-Point Roundoff Errors with Symbolic Taylor Expansions (FM\u201915). Springer."},{"key":"e_1_3_2_2_35_1","first-page":"1","article-title":"GNU Parallel - The Command-Line Power Tool. ;login","volume":"36","author":"Tange O.","year":"2011","unstructured":"O. Tange . 2011 . GNU Parallel - The Command-Line Power Tool. ;login : The USENIX Magazine 36 , 1 (Feb 2011), 42\u201347. http:\/\/www.gnu.org\/s\/ parallel O. Tange. 2011. GNU Parallel - The Command-Line Power Tool. ;login: The USENIX Magazine 36, 1 (Feb 2011), 42\u201347. http:\/\/www.gnu.org\/s\/ parallel","journal-title":"The USENIX Magazine"},{"key":"e_1_3_2_2_36_1","volume-title":"Saudi Arabia","author":"General Accounting Office U.S.","unstructured":"U.S. General Accounting Office . 1992. Patriot Missile Defense: Software Problem Led to System Failure at Dhahran , Saudi Arabia . http:\/\/www. gao.gov\/products\/IMTEC-92-26 U.S. General Accounting Office. 1992. Patriot Missile Defense: Software Problem Led to System Failure at Dhahran, Saudi Arabia. http:\/\/www. gao.gov\/products\/IMTEC-92-26"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950355"},{"key":"e_1_3_2_2_38_1","unstructured":"Debora Weber-Wulff. 1992. Rounding error changes Parliament makeup. http:\/\/catless.ncl.ac.uk\/Risks\/13.37.html#subj4  Debora Weber-Wulff. 1992. Rounding error changes Parliament makeup. http:\/\/catless.ncl.ac.uk\/Risks\/13.37.html#subj4"}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Philadelphia PA USA","acronym":"PLDI '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192411","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192411","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:07:53Z","timestamp":1750198073000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192411"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":37,"alternative-id":["10.1145\/3192366.3192411","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192411","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192411","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}