{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T06:39:38Z","timestamp":1769582378380,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1908798, 1917897"],"award-info":[{"award-number":["1908798, 1917897"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454049","type":"proceedings-article","created":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T16:58:48Z","timestamp":1624553928000},"page":"359-374","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["High performance correctly rounded math libraries for 32-bit floating point representations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7572-4017","authenticated-orcid":false,"given":"Jay P.","family":"Lim","sequence":"first","affiliation":[{"name":"Rutgers University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5048-8548","authenticated-orcid":false,"given":"Santosh","family":"Nagarakatte","sequence":"additional","affiliation":[{"name":"Rutgers University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254118"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.216"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0793-1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2007.17"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141885.1141890"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2015.22"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.1999.807240"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.11.052"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15582-6_5"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2007.4385491"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386004"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1137\/1024023"},{"key":"e_1_3_2_1_13_1","unstructured":"Catherine Daramy-Loirat David Defour Florent de Dinechin Matthieu Gallet Nicolas Gast Christoph Lauter and Jean-Michel Muller. 2006. CR-LIBM A library of correctly rounded elementary functions in double-precision. Laboratoire de l\u2019Informatique du Parall\u00e9lisme. https:\/\/hal-ens-lyon.archives-ouvertes.fr\/ensl-01529804  Catherine Daramy-Loirat David Defour Florent de Dinechin Matthieu Gallet Nicolas Gast Christoph Lauter and Jean-Michel Muller. 2006. CR-LIBM A library of correctly rounded elementary functions in double-precision. Laboratoire de l\u2019Informatique du Parall\u00e9lisme. https:\/\/hal-ens-lyon.archives-ouvertes.fr\/ensl-01529804"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2016.2629850"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314632"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442829.2442858"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47764-0_14"},{"key":"e_1_3_2_1_19_1","unstructured":"John Gustafson. 2017. Posit Arithmetic. https:\/\/posithub.org\/docs\/Posits4.pdf  John Gustafson. 2017. Posit Arithmetic. https:\/\/posithub.org\/docs\/Posits4.pdf"},{"key":"e_1_3_2_1_20_1","unstructured":"John Gustafson. 2020. The Minefield Method: A Uniformly Fast Solution to the Table-Maker\u2019s Dilemma. https:\/\/bit.ly\/2ZP4kHj  John Gustafson. 2020. The Minefield Method: A Uniformly Fast Solution to the Table-Maker\u2019s Dilemma. https:\/\/bit.ly\/2ZP4kHj"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0000475"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0028391"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_4"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.152"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44199-2_106"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-31769-4_2"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158135"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2001.930110"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.736435"},{"key":"e_1_3_2_1_30_1","unstructured":"Cerlane Leong. 2019. SoftPosit-Math. https:\/\/gitlab.com\/cerlane\/softposit-math  Cerlane Leong. 2019. SoftPosit-Math. https:\/\/gitlab.com\/cerlane\/softposit-math"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434310"},{"key":"e_1_3_2_1_33_1","volume-title":"Lim and Santosh Nagarakatte","author":"Jay","year":"2021","unstructured":"Jay P. Lim and Santosh Nagarakatte . 2021 . RLibm- 32. https:\/\/github.com\/rutgers-apl\/rlibm-32 Jay P. Lim and Santosh Nagarakatte. 2021. RLibm-32. https:\/\/github.com\/rutgers-apl\/rlibm-32"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3387902.3392632"},{"key":"e_1_3_2_1_36_1","unstructured":"Guillaume Melquiond. 2019. Gappa. http:\/\/gappa.gforge.inria.fr  Guillaume Melquiond. 2019. Gappa. http:\/\/gappa.gforge.inria.fr"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4899-7983-4"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737959"},{"key":"e_1_3_2_1_39_1","volume-title":"Sur un proc\u00e9d\u00e9 convergent d\u2019approximations successives pour d\u00e9terminer les polyn\u00f4mes d\u2019approximation. Comptes rendus de l\u2019Acad\u00e9mie des Sciences, 198","author":"Remes Eugene","year":"1934","unstructured":"Eugene Remes . 1934. Sur un proc\u00e9d\u00e9 convergent d\u2019approximations successives pour d\u00e9terminer les polyn\u00f4mes d\u2019approximation. Comptes rendus de l\u2019Acad\u00e9mie des Sciences, 198 ( 1934 ), 2063\u20132065. Eugene Remes. 1934. Sur un proc\u00e9d\u00e9 convergent d\u2019approximations successives pour d\u00e9terminer les polyn\u00f4mes d\u2019approximation. Comptes rendus de l\u2019Acad\u00e9mie des Sciences, 198 (1934), 2063\u20132065."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3296979.3192411"},{"key":"e_1_3_2_1_41_1","volume-title":"3rd International Workshop on the ACL2 Theorem Prover and its Applications.","author":"Sawada Jun","year":"2002","unstructured":"Jun Sawada . 2002 . Formal verification of divide and square root algorithms using series calculation . In 3rd International Workshop on the ACL2 Theorem Prover and its Applications. Jun Sawada. 2002. Formal verification of divide and square root algorithms using series calculation. In 3rd International Workshop on the ACL2 Theorem Prover and its Applications."},{"key":"e_1_3_2_1_42_1","volume-title":"Floating-point computation","author":"Sterbenz Pat H","unstructured":"Pat H Sterbenz . 1974. Floating-point computation . Prentice-Hall , Englewood Cliffs, NJ . Pat H Sterbenz. 1974. Floating-point computation. Prentice-Hall, Englewood Cliffs, NJ."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1999.762822"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/63522.214389"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/98267.98294"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.1991.145565"},{"key":"e_1_3_2_1_47_1","volume-title":"Approximation Theory and Approximation Practice (Other Titles in Applied Mathematics)","author":"Trefethen Lloyd N.","year":"1972","unstructured":"Lloyd N. Trefethen . 2012. Approximation Theory and Approximation Practice (Other Titles in Applied Mathematics) . Society for Industrial and Applied Mathematics , USA. isbn:161 1972 396 Lloyd N. Trefethen. 2012. Approximation Theory and Approximation Practice (Other Titles in Applied Mathematics). Society for Industrial and Applied Mathematics, USA. isbn:1611972396"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290369"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/114697.116813"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371128"}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454049","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454049","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454049","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:47Z","timestamp":1750193267000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454049"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":48,"alternative-id":["10.1145\/3453483.3454049","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454049","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}