{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T05:00:22Z","timestamp":1755838822155,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1618158"],"award-info":[{"award-number":["1618158"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"ROSIN","award":["732287"],"award-info":[{"award-number":["732287"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314632","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"439-452","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Effective floating-point analysis via weak-distance minimization"],"prefix":"10.1145","author":[{"given":"Zhoulai","family":"Fu","sequence":"first","affiliation":[{"name":"IT University of Copenhagen, Denmark"}]},{"given":"Zhendong","family":"Su","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"volume-title":"IEEE Standard for Binary Floating-Point Arithmetic","year":"1985","key":"e_1_3_2_2_1_1","unstructured":"1985. IEEE Standard for Binary Floating-Point Arithmetic . ANSI\/IEEE Std 754- 1985 (1985). 1985. IEEE Standard for Binary Floating-Point Arithmetic. ANSI\/IEEE Std 754-1985 (1985)."},{"key":"e_1_3_2_2_2_1","unstructured":"2019. The GNU C Library. https:\/\/www.gnu.org\/software\/libc\/ .  2019. The GNU C Library. https:\/\/www.gnu.org\/software\/libc\/ ."},{"key":"e_1_3_2_2_3_1","unstructured":"2019. SciPy: open-source software for mathematics science and engineering. https:\/\/www.scipy.org\/ .  2019. SciPy: open-source software for mathematics science and engineering. https:\/\/www.scipy.org\/ ."},{"volume-title":"Handbook of mathematical functions: with formulas, graphs, and mathematical tables","author":"Abramowitz Milton","key":"e_1_3_2_2_4_1","unstructured":"Milton Abramowitz and Irene A Stegun . 1965. Handbook of mathematical functions: with formulas, graphs, and mathematical tables . Vol. 55 . Courier Corporation . Milton Abramowitz and Irene A Stegun. 1965. Handbook of mathematical functions: with formulas, graphs, and mathematical tables. Vol. 55. Courier Corporation."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429133"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781153"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02614-0_10"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2015.26"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009846"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_7"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3014426"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04570-7_6"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/226155.226158"},{"key":"e_1_3_2_2_15_1","volume-title":"Assigning meanings to programs. Mathematical aspects of computer science 19, 19-32","author":"Floyd Robert W","year":"1967","unstructured":"Robert W Floyd . 1967. Assigning meanings to programs. Mathematical aspects of computer science 19, 19-32 ( 1967 ), 1. Robert W Floyd. 1967. Assigning meanings to programs. Mathematical aspects of computer science 19, 19-32 (1967), 1."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_11"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062383"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_2_20_1","first-page":"94720","article-title":"IEEE standard 754 for binary floating-point arithmetic","volume":"754","author":"Kahan William","year":"1996","unstructured":"William Kahan . 1996 . IEEE standard 754 for binary floating-point arithmetic . Lecture Notes on the Status of IEEE 754 , 94720 - 91776 (1996), 11. William Kahan. 1996. IEEE standard 754 for binary floating-point arithmetic. Lecture Notes on the Status of IEEE 754, 94720-1776 (1996), 11.","journal-title":"Lecture Notes on the Status of IEEE"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.57624"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.84.19.6611"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737965"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1077276.1077279"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233818"},{"volume-title":"Mathematical programming: Theory and algorithms","author":"Minoux M.","key":"e_1_3_2_2_27_1","unstructured":"M. Minoux . 1986. Mathematical programming: Theory and algorithms . Wiley , New York . M. Minoux. 1986. Mathematical programming: Theory and algorithms. Wiley, New York."},{"key":"e_1_3_2_2_28_1","unstructured":"Glenford J. Myers. 2004. The art of software testing. I\u2013XV 1\u2013234.   Glenford J. Myers. 2004. The art of software testing. I\u2013XV 1\u2013234."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217856.1217859"},{"key":"e_1_3_2_2_30_1","volume-title":"An efficient method for finding the minimum of a function of several variables without calculating derivatives. The computer journal 7, 2","author":"Powell Michael JD","year":"1964","unstructured":"Michael JD Powell . 1964. An efficient method for finding the minimum of a function of several variables without calculating derivatives. The computer journal 7, 2 ( 1964 ), 155\u2013162. Michael JD Powell. 1964. An efficient method for finding the minimum of a function of several variables without calculating derivatives. The computer journal 7, 2 (1964), 155\u2013162."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594302"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1998.660194"},{"volume-title":"Proceedings of the 1996 IEEE\/ACM International Conference on Computer-aided Design (ICCAD \u201996)","author":"Marques Silva J. P.","key":"e_1_3_2_2_33_1","unstructured":"J. P. Marques Silva and Karem A. Sakallah . 1996. GRASP: A New Search Algorithm for Satisfiability . In Proceedings of the 1996 IEEE\/ACM International Conference on Computer-aided Design (ICCAD \u201996) . Washington, DC, USA, 220\u2013227. J. P. Marques Silva and Karem A. Sakallah. 1996. GRASP: A New Search Algorithm for Satisfiability. In Proceedings of the 1996 IEEE\/ACM International Conference on Computer-aided Design (ICCAD \u201996). Washington, DC, USA, 220\u2013227."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/1986308.1986337"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.752918"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792786.1792798"},{"key":"e_1_3_2_2_37_1","first-page":"28","article-title":"Global Optimization by Basin-Hopping and the Lowest Energy Structures of Lennard-Jones Clusters Containing up to 110 Atoms","volume":"101","author":"Wales David J.","year":"1998","unstructured":"David J. Wales and Jonathan P. K. Doye . 1998 . Global Optimization by Basin-Hopping and the Lowest Energy Structures of Lennard-Jones Clusters Containing up to 110 Atoms . The Journal of Physical Chemistry A 101 , 28 (March 1998), 5111\u20135116. David J. Wales and Jonathan P. K. Doye. 1998. Global Optimization by Basin-Hopping and the Lowest Energy Structures of Lennard-Jones Clusters Containing up to 110 Atoms. The Journal of Physical Chemistry A 101, 28 (March 1998), 5111\u20135116.","journal-title":"The Journal of Physical Chemistry A"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/35.1.41"}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Phoenix AZ USA","acronym":"PLDI '19"},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314632","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314632","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314632","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314632"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":38,"alternative-id":["10.1145\/3314221.3314632","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314632","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}