{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:47:15Z","timestamp":1760042835797,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,29]],"date-time":"2023-10-29T00:00:00Z","timestamp":1698537600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2119939, 901386"],"award-info":[{"award-number":["2119939, 901386"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000015","name":"DOE U.S. Department of Energy","doi-asserted-by":"publisher","award":["DE-SC0022081 (MOD0001),10061193"],"award-info":[{"award-number":["DE-SC0022081 (MOD0001),10061193"]}],"id":[{"id":"10.13039\/100000015","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,29]]},"DOI":"10.1145\/3586183.3606819","type":"proceedings-article","created":{"date-parts":[[2023,10,20]],"date-time":"2023-10-20T20:46:22Z","timestamp":1697834782000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Odyssey: An Interactive Workbench for Expert-Driven Floating-Point Expression Rewriting"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-9474-0826","authenticated-orcid":false,"given":"Edward","family":"Misback","sequence":"first","affiliation":[{"name":"Paul G. Allen School of Computer Science & Engineering, University of Washington, United States"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0742-1534","authenticated-orcid":false,"given":"Caleb C.","family":"Chan","sequence":"additional","affiliation":[{"name":"Paul G. Allen School of Computer Science & Engineering, University of Washington, United States"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-3482-5767","authenticated-orcid":false,"given":"Brett","family":"Saiki","sequence":"additional","affiliation":[{"name":"Paul G. Allen School of Computer Science & Engineering, University of Washington, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4050-4284","authenticated-orcid":false,"given":"Eunice","family":"Jun","sequence":"additional","affiliation":[{"name":"University of Washington, United States and University of California, Los Angeles, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4731-0124","authenticated-orcid":false,"given":"Zachary","family":"Tatlock","sequence":"additional","affiliation":[{"name":"Paul G. Allen School of Computer Science & Engineering, University of Washington, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2621-3592","authenticated-orcid":false,"given":"Pavel","family":"Panchekha","sequence":"additional","affiliation":[{"name":"Kahlert School of Computing, University of Utah, United States"}]}],"member":"320","published-online":{"date-parts":[[2023,10,29]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2022. Improving Rust with Herbie. https:\/\/pavpanchekha.com\/blog\/herbie-rust.html."},{"key":"e_1_3_2_2_2_1","unstructured":"2023. VSCode-PRECiSA. https:\/\/github.com\/nasa\/PRECiSA\/tree\/master\/vscode-precisa"},{"volume-title":"Numerical Issues in Statistical Computing for the Social Scientist","author":"Altman Micah","key":"e_1_3_2_2_3_1","unstructured":"Micah Altman, Jeff Gill, and Michael\u00a0P. McDonald. 2003. Numerical Issues in Statistical Computing for the Social Scientist. Springer-Verlag. 1\u201311 pages."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/pan\/mpg016"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","unstructured":"Earl\u00a0T. Barr Thanh Vo Vu Le and Zhendong Su. 2013. Automatic detection of floating-point exceptions(POPL \u201913).","DOI":"10.1145\/2429069.2429133"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2013.6613834"},{"volume-title":"A Dynamic Program Analysis to Find Floating-point Accuracy Problems(PLDI \u201912)","author":"Benz Florian","key":"e_1_3_2_2_7_1","unstructured":"Florian Benz, Andreas Hildebrandt, and Sebastian Hack. 2012. A Dynamic Program Analysis to Find Floating-point Accuracy Problems(PLDI \u201912). ACM, New York, NY, USA, 453\u2013462. http:\/\/doi.acm.org\/10.1145\/2254064.2254118"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02614-0_10"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501988.2502050"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555265"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"crossref","unstructured":"Wei-Fan Chiang Ganesh Gopalakrishnan Zvonimir Rakamari\u0107 and Alexey Solovyev. 2014. Efficient Search for Inputs Causing High Floating-point Errors. ACM 43\u201352.","DOI":"10.1145\/2555243.2555265"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183481"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2015.7332446"},{"key":"e_1_3_2_2_14_1","volume-title":"Salsa: An automatic tool to improve the numerical accuracy of programs(AFM).","author":"Damouche Nasrine","year":"2017","unstructured":"Nasrine Damouche and Matthieu Martel. 2017. Salsa: An automatic tool to improve the numerical accuracy of programs(AFM)."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","unstructured":"Eva Darulova and Viktor Kuncak. 2014. Sound Compilation of Reals(POPL). 14\u00a0pages. http:\/\/doi.acm.org\/10.1145\/2535838.2535874","DOI":"10.1145\/2535838.2535874"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00055"},{"key":"e_1_3_2_2_17_1","unstructured":"Jos de Jong. 2013. math.js: An extensive math library for JavaScript and Node.js. http:\/\/mathjs.org\/"},{"key":"e_1_3_2_2_18_1","unstructured":"European Commission. 1998. The introduction of the euro and the rounding of currency amounts. European Commission Directorate General II Economic and Financial Affairs."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/103162.103163"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"crossref","unstructured":"Eric Goubault and Sylvie Putot. 2011. Static Analysis of Finite Precision Computations(VMCAI\u201911). 232\u2013247. http:\/\/dl.acm.org\/citation.cfm?id=1946284.1946301","DOI":"10.1007\/978-3-642-18275-4_17"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3544548.3581099"},{"key":"e_1_3_2_2_22_1","volume-title":"Numerical Methods for Scientists and Engineers","author":"Hamming Richard","unstructured":"Richard Hamming. 1987. Numerical Methods for Scientists and Engineers (2nd ed.). Dover Publications.","edition":"2"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290605.3300500"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3173574.3174106"},{"key":"e_1_3_2_2_25_1","volume-title":"IEEE Standard for Binary Floating-Point Arithmetic","author":"IEEE.","year":"2008","unstructured":"IEEE. 2008. IEEE Standard for Binary Floating-Point Arithmetic. IEEE Std. 754-2008 (2008)."},{"key":"e_1_3_2_2_26_1","volume-title":"Guided Optimization for Image Processing Pipelines. In 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). IEEE, 1\u20135.","author":"Ikarashi Yuka","year":"2021","unstructured":"Yuka Ikarashi, Jonathan Ragan-Kelley, Tsukasa Fukusato, Jun Kato, and Takeo Igarashi. 2021. Guided Optimization for Image Processing Pipelines. In 2021 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC). IEEE, 1\u20135."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","unstructured":"Anastasiia Izycheva and Eva Darulova. 2017. On sound relative error bounds for floating-point arithmetic(FMCAD). 15\u201322. https:\/\/doi.org\/10.23919\/FMCAD.2017.8102236","DOI":"10.23919\/FMCAD.2017.8102236"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3025453.3025626"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2018.8506576"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50508-4"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/985692.985712"},{"key":"e_1_3_2_2_32_1","volume-title":"Tsugite: Interactive Design and Fabrication of Wood Joints.. In UIST. 317\u2013327.","author":"Larsson Maria","year":"2020","unstructured":"Maria Larsson, Hironori Yoshida, Nobuyuki Umetani, and Takeo Igarashi. 2020. Tsugite: Interactive Design and Fabrication of Wood Joints.. In UIST. 317\u2013327."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376494"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2556288.2557409"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2020.3028985"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1257\/jel.37.2.633"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353446"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2009.5295287"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"crossref","unstructured":"Pavel Panchekha Alex Sanchez-Stern James\u00a0R. Wilcox and Zachary Tatlock. 2015. Automatically Improving Accuracy for Floating Point Expressions(PLDI).","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_2_40_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.","journal-title":"The Wall Street Journal"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462176"},{"key":"e_1_3_2_2_42_1","volume-title":"Combining Precision Tuning and Rewriting. In 2021 IEEE 28th Symposium on Computer Arithmetic (ARITH).","author":"Saiki Brett","year":"2021","unstructured":"Brett Saiki, Oliver Flatt, Chandrakana Nandi, Pavel Panchekha, and Zachary Tatlock. 2021. Combining Precision Tuning and Rewriting. In 2021 IEEE 28th Symposium on Computer Arithmetic (ARITH)."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"crossref","unstructured":"Alexey Solovyev Charlie Jacobsen Zvonimir Rakamaric and Ganesh Gopalakrishnan. 2015. Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions(FM).","DOI":"10.1007\/978-3-319-19249-9_33"},{"key":"e_1_3_2_2_44_1","unstructured":"The Herbie\u00a0Development Team. 2013\u2013. Herbie: Optimize floating-point expressions for accuracy. https:\/\/github.com\/herbie-fp\/herbie"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"crossref","unstructured":"Laura Titolo Marco\u00a0A Feli\u00fa Mariano Moscato and C\u00e9sar\u00a0A Munoz. 2018. An Abstract Interpretation Framework for the Round-Off Error Analysis of Floating-Point Programs(VMCAI). 516\u2013537.","DOI":"10.1007\/978-3-319-73721-8_24"},{"volume-title":"Saudi Arabia","author":"General Accounting Office U.S.","key":"e_1_3_2_2_46_1","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"},{"key":"e_1_3_2_2_47_1","unstructured":"Debora Weber-Wulff. 1992. Rounding error changes Parliament makeup. http:\/\/catless.ncl.ac.uk\/Risks\/13.37.html#subj4"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.43"}],"event":{"name":"UIST '23: The 36th Annual ACM Symposium on User Interface Software and Technology","sponsor":["SIGGRAPH ACM Special Interest Group on Computer Graphics and Interactive Techniques","SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"San Francisco CA USA","acronym":"UIST '23"},"container-title":["Proceedings of the 36th Annual ACM Symposium on User Interface Software and Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3586183.3606819","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3586183.3606819","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3586183.3606819","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T23:54:47Z","timestamp":1755820487000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3586183.3606819"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,29]]},"references-count":48,"alternative-id":["10.1145\/3586183.3606819","10.1145\/3586183"],"URL":"https:\/\/doi.org\/10.1145\/3586183.3606819","relation":{},"subject":[],"published":{"date-parts":[[2023,10,29]]},"assertion":[{"value":"2023-10-29","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}