{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T08:03:23Z","timestamp":1776931403527,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,16]]},"DOI":"10.1145\/3731599.3767479","type":"proceedings-article","created":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T16:13:44Z","timestamp":1762532024000},"page":"1039-1047","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["CIRE: LLVM Analysis for Floating-Point Rounding Error Affected by Precision and Optimizations"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0049-5045","authenticated-orcid":false,"given":"Tanmay","family":"Tirpankar","sequence":"first","affiliation":[{"name":"University of Utah, SALT LAKE CITY, USA"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-0285-3082","authenticated-orcid":false,"given":"Cayden","family":"Lund","sequence":"additional","affiliation":[{"name":"University of Utah, American Fork, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4161-9278","authenticated-orcid":false,"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, USA"}]}],"member":"320","published-online":{"date-parts":[[2025,11,15]]},"reference":[{"key":"e_1_3_3_2_2_2","doi-asserted-by":"publisher","unstructured":"Ignacio Araya Gilles Trombettoni Bertrand Neveu and Gilles Chabert. 2014. Upper Bounding in Inner Regions for Global Optimization under Inequality Constraints. Journal of Global Optimization 60 (10 2014) 145\u2013164. 10.1007\/s10898-014-0145-7","DOI":"10.1007\/s10898-014-0145-7"},{"key":"e_1_3_3_2_3_2","doi-asserted-by":"publisher","DOI":"10.5555\/1477767"},{"key":"e_1_3_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/2555243.2555265"},{"key":"e_1_3_3_2_5_2","doi-asserted-by":"publisher","unstructured":"Sangeeta Chowdhary and Santosh Nagarakatte. 2022. Fast shadow execution for debugging numerical errors using error free transformations. Proc. ACM Program. Lang. 6 OOPSLA2 Article 190 (Oct. 2022) 28\u00a0pages. 10.1145\/3563353","DOI":"10.1145\/3563353"},{"key":"e_1_3_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535874"},{"key":"e_1_3_3_2_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/SC41405.2020.00055"},{"key":"e_1_3_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/Cluster48925.2021.00055"},{"key":"e_1_3_3_2_9_2","doi-asserted-by":"crossref","unstructured":"Marc Daumas and Guillaume Melquiond. 2010. Certification of Bounds on Expressions Involving Rounded Operators. ACM Trans. Math. Software 37 1 Article 2 (2010) 20\u00a0pages.","DOI":"10.1145\/1644001.1644003"},{"key":"e_1_3_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04570-7_6"},{"key":"e_1_3_3_2_11_2","unstructured":"fpbench [n. d.]. FPBENCH Benchmarks compilers and standards for the floating point research community. http:\/\/fpbench.org\/benchmarks.html."},{"key":"e_1_3_3_2_12_2","unstructured":"Frama-C 2017. Frama-C Software Analyzers. http:\/\/frama-c.com\/index.html."},{"key":"e_1_3_3_2_13_2","doi-asserted-by":"publisher","unstructured":"David Goldberg. 1991. What Every Computer Scientist Should Know About Floating-Point Arithmetic. Comput. Surveys 23 1 (March 1991) 5\u201348. 10.1145\/103162.103163","DOI":"10.1145\/103162.103163"},{"key":"e_1_3_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/11757283_8"},{"key":"e_1_3_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718027"},{"key":"e_1_3_3_2_16_2","volume-title":"ANSI\/IEEE 754-1985, Standard for Binary Floating-Point Arithmetic","author":"P754 IEEE Task","year":"1985","unstructured":"IEEE Task P754. 1985. ANSI\/IEEE 754-1985, Standard for Binary Floating-Point Arithmetic. IEEE."},{"key":"e_1_3_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-65474-0_8"},{"key":"e_1_3_3_2_18_2","doi-asserted-by":"publisher","unstructured":"Ariel\u00a0E. Kellison and Justin Hsu. 2024. Numerical Fuzz: A Type System for Rounding Error Analysis. Proc. ACM Program. Lang. 8 PLDI Article 226 (June 2024) 25\u00a0pages. 10.1145\/3656456","DOI":"10.1145\/3656456"},{"key":"e_1_3_3_2_19_2","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874889"},{"key":"e_1_3_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"e_1_3_3_2_21_2","first-page":"1","volume-title":"Proceedings of the Conference on Design, Automation & Test in Europe, DATE 2014","author":"Leeser Miriam","year":"2014","unstructured":"Miriam Leeser, Saoni Mukherjee, Jaideep Ramachandran, and Thomas Wahl. 2014. Make it real: Effective floating-point reasoning via exact arithmetic. In Proceedings of the Conference on Design, Automation & Test in Europe, DATE 2014. 1\u20134."},{"key":"e_1_3_3_2_22_2","unstructured":"LLVM Language Reference 2025. LLVM Language Reference Manual. https:\/\/llvm.org\/docs\/LangRef.html. https:\/\/llvm.org\/docs\/LangRef.html"},{"key":"e_1_3_3_2_23_2","unstructured":"LLVM Passes 2025. LLVM Analysis and Transform Passes. https:\/\/llvm.org\/docs\/Passes.html. https:\/\/llvm.org\/docs\/Passes.html"},{"key":"e_1_3_3_2_24_2","unstructured":"LLVM SOC 2023. Missed FMA optimization. https:\/\/github.com\/rust-lang\/rust\/issues\/112192. https:\/\/github.com\/rust-lang\/rust\/issues\/112192"},{"key":"e_1_3_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454030"},{"key":"e_1_3_3_2_26_2","doi-asserted-by":"publisher","unstructured":"Guillaume Melquiond. 2012. Floating-Point Arithmetic in the Coq System. Information and Computation 216 (2012) 14\u201323. 10.1016\/j.ic.2011.09.005","DOI":"10.1016\/j.ic.2011.09.005"},{"key":"e_1_3_3_2_27_2","series-title":"(SC \u201918)","volume-title":"Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis","author":"Menon Harshitha","year":"2018","unstructured":"Harshitha Menon, Michael\u00a0O. Lam, Daniel Osei-Kuffuor, Markus Schordan, Scott Lloyd, Kathryn Mohror, and Jeffrey Hittinger. 2018. ADAPT: Algorithmic Differentiation Applied to Floating-Point Precision Tuning. In Proceedings of the International Conference for High Performance Computing, Networking, Storage, and Analysis (Dallas, Texas) (SC \u201918). IEEE Press, Article 48, 13\u00a0pages."},{"key":"e_1_3_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/3458817.3476165"},{"key":"e_1_3_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-8176-4705-6"},{"key":"e_1_3_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-76526-6"},{"key":"e_1_3_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_3_2_32_2","volume-title":"Informal proceedings of 8th International Workshop on Satisfiability Modulo Theories, SMT Workshop 2010","author":"R\u00fcmmer Philipp","year":"2010","unstructured":"Philipp R\u00fcmmer and Thomas Wahl. 2010. An SMT-LIB Theory of Binary Floating-Point Arithmetic. In Informal proceedings of 8th International Workshop on Satisfiability Modulo Theories, SMT Workshop 2010."},{"key":"e_1_3_3_2_33_2","unstructured":"Max Sagebaum Tim Albring and Nicolas\u00a0R. Gauger. 2017. High-Performance Derivative Computations using CoDiPack. CoRR abs\/1709.07229 (2017). arxiv:https:\/\/arXiv.org\/abs\/1709.07229http:\/\/arxiv.org\/abs\/1709.07229"},{"key":"e_1_3_3_2_34_2","doi-asserted-by":"publisher","unstructured":"Alexey Solovyev Marek\u00a0S. Baranowski Ian Briggs Charles Jacobsen Zvonimir Rakamariundefined and Ganesh Gopalakrishnan. 2018. Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions. ACM Trans. Program. Lang. Syst. 41 1 Article 2 (Dec. 2018) 39\u00a0pages. 10.1145\/3230733","DOI":"10.1145\/3230733"},{"key":"e_1_3_3_2_35_2","doi-asserted-by":"crossref","unstructured":"Tanmay Tirpankar Artem Yadrov and Ganesh Gopalakrishnan. 2025. FPGUARD: Static-Analysis Guided Domain Exclusions for Robust Floating-Point Error Analysis (to appear).","DOI":"10.1109\/STATIC66697.2025.00006"},{"key":"e_1_3_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73721-824"}],"event":{"name":"SC Workshops '25: Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis","location":"St Louis MO USA","acronym":"SC Workshops '25","sponsor":["SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"]},"container-title":["Proceedings of the SC '25 Workshops of the International Conference for High Performance Computing, Networking, Storage and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3731599.3767479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T19:28:01Z","timestamp":1767986881000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3731599.3767479"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,15]]},"references-count":35,"alternative-id":["10.1145\/3731599.3767479","10.1145\/3731599"],"URL":"https:\/\/doi.org\/10.1145\/3731599.3767479","relation":{},"subject":[],"published":{"date-parts":[[2025,11,15]]},"assertion":[{"value":"2025-11-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}