{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T07:38:17Z","timestamp":1768030697324,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T00:00:00Z","timestamp":1717372800000},"content-version":"vor","delay-in-days":4,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1750983"],"award-info":[{"award-number":["CCF-1750983"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Department of Energy","award":["DE-SC0022182,DE-SC0020286,SCW1743"],"award-info":[{"award-number":["DE-SC0022182,DE-SC0020286,SCW1743"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,5,30]]},"DOI":"10.1145\/3650200.3656618","type":"proceedings-article","created":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T14:11:54Z","timestamp":1717423914000},"page":"201-212","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Input Range Generation for Compiler-Induced Numerical Inconsistencies"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7511-0269","authenticated-orcid":false,"given":"Dolores","family":"Miao","sequence":"first","affiliation":[{"name":"University of California, Davis, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9374-4433","authenticated-orcid":false,"given":"Ignacio","family":"Laguna","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Laboratory, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0861-3763","authenticated-orcid":false,"given":"Cindy","family":"Rubio-Gonz\u00e1lez","sequence":"additional","affiliation":[{"name":"University of California, Davis, United States of America"}]}],"member":"320","published-online":{"date-parts":[[2024,6,3]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar, Daniel Dunbar, and Dawson\u00a0R. Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In OSDI. USENIX Association, 209\u2013224."},{"key":"e_1_3_2_1_2_1","unstructured":"CEED. 2017. CEED\/Laghos: High-Order Lagrangian Hydrodynamics Miniapp. https:\/\/github.com\/CEED\/Laghos"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Wei-Fan Chiang Ganesh Gopalakrishnan Zvonimir Rakamaric and Alexey Solovyev. 2014. Efficient search for inputs causing high floating-point errors. In PPoPP. ACM 43\u201352.","DOI":"10.1145\/2555243.2555265"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Sangeeta Chowdhary Jay\u00a0P. Lim and Santosh Nagarakatte. 2020. Debugging and detecting numerical errors in computation with posits. In PLDI. ACM 731\u2013746.","DOI":"10.1145\/3385412.3386004"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Sangeeta Chowdhary and Santosh Nagarakatte. 2021. Parallel shadow execution to accelerate the debugging of numerical errors. In ESEC\/SIGSOFT FSE. ACM 615\u2013626.","DOI":"10.1145\/3468264.3468585"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2010.2059031"},{"key":"e_1_3_2_1_7_1","volume-title":"A comprehensive study of real-world numerical bug characteristics","author":"Franco Anthony\u00a0Di","unstructured":"Anthony\u00a0Di Franco, Hui Guo, and Cindy Rubio-Gonz\u00e1lez. 2017. A comprehensive study of real-world numerical bug characteristics. In ASE. IEEE Computer Society, 509\u2013519."},{"key":"e_1_3_2_1_8_1","volume-title":"GNU Scientific Library - Reference Manual","author":"Galassi Mark","unstructured":"Mark Galassi, Jim Davies, James Theiler, Brian Gough, and Gerard Jungman. 2009. GNU Scientific Library - Reference Manual, Third Edition, for GSL Version 1.12. Network Theory Ltd."},{"key":"e_1_3_2_1_9_1","unstructured":"Mark Galassi Jim Davies James Theiler Brian Gough Gerard Jungman Patrick Alken Michael Booth Fabrice Rossi and Rhys Ulerich. 2002. GNU scientific library. Network Theory Limited Godalming."},{"key":"e_1_3_2_1_10_1","volume-title":"Practical markov chain monte carlo. Statistical science","author":"Geyer J","year":"1992","unstructured":"Charles\u00a0J Geyer. 1992. Practical markov chain monte carlo. Statistical science (1992), 473\u2013483."},{"key":"e_1_3_2_1_11_1","volume-title":"Correctness@SC","author":"Gopalakrishnan Ganesh","unstructured":"Ganesh Gopalakrishnan, Ignacio Laguna, Ang Li, Pavel Panchekha, Cindy Rubio-Gonz\u00e1lez, and Zachary Tatlock. 2021. Guarding Numerics Amidst Rising Heterogeneity. In Correctness@SC. IEEE, 9\u201315."},{"key":"e_1_3_2_1_12_1","volume-title":"pLiner: isolating lines of floating-point code for compiler-induced variability","author":"Guo Hui","unstructured":"Hui Guo, Ignacio Laguna, and Cindy Rubio-Gonz\u00e1lez. 2020. pLiner: isolating lines of floating-point code for compiler-induced variability. In SC. IEEE\/ACM, 49."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Hui Guo and Cindy Rubio-Gonz\u00e1lez. 2020. Efficient generation of error-inducing floating-point inputs via symbolic execution. In ICSE. ACM 1261\u20131272.","DOI":"10.1145\/3377811.3380359"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.14529\/jsfi170206"},{"key":"e_1_3_2_1_15_1","first-page":"1","article-title":"Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization","volume":"33","author":"Laguna Ignacio","year":"2022","unstructured":"Ignacio Laguna and Ganesh Gopalakrishnan. 2022. Finding Inputs that Trigger Floating-Point Exceptions in GPUs via Bayesian Optimization. In SC. IEEE, 33:1\u201333:14.","journal-title":"SC. IEEE"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Wen-Chuan Lee Tao Bao Yunhui Zheng Xiangyu Zhang Keval Vora and Rajiv Gupta. 2015. RAIVE: runtime assessment of floating-point instability by vectorization. In OOPSLA. ACM 623\u2013638.","DOI":"10.1145\/2814270.2814299"},{"key":"e_1_3_2_1_17_1","volume-title":"ISC(Lecture Notes in Computer Science, Vol.\u00a013948)","author":"Miao Dolores","unstructured":"Dolores Miao, Ignacio Laguna, and Cindy Rubio-Gonz\u00e1lez. 2023. Expression Isolation of Compiler-Induced Numerical Inconsistencies in Heterogeneous Code. In ISC(Lecture Notes in Computer Science, Vol.\u00a013948). Springer, 381\u2013401."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01099263"},{"key":"e_1_3_2_1_19_1","volume-title":"Modern hierarchical, agglomerative clustering algorithms. CoRR abs\/1109.2378","author":"M\u00fcllner Daniel","year":"2011","unstructured":"Daniel M\u00fcllner. 2011. Modern hierarchical, agglomerative clustering algorithms. CoRR abs\/1109.2378 (2011)."},{"key":"e_1_3_2_1_20_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. In PLDI. ACM 1\u201311.","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1953048.2078195"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477012"},{"key":"e_1_3_2_1_23_1","volume-title":"FLiT: Cross-platform floating-point result-consistency tester and workload","author":"Sawaya Geoffrey","unstructured":"Geoffrey Sawaya, Michael Bentley, Ian Briggs, Ganesh Gopalakrishnan, and Dong\u00a0H. Ahn. 2017. FLiT: Cross-platform floating-point result-consistency tester and workload. In IISWC. IEEE Computer Society, 229\u2013238."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Eric Schkufza Rahul Sharma and Alex Aiken. 2014. Stochastic optimization of floating-point programs with tunable precision. In PLDI. ACM 53\u201364.","DOI":"10.1145\/2594291.2594302"},{"key":"e_1_3_2_1_25_1","volume-title":"Matthew Brett, Joshua Wilson, K.\u00a0Jarrod Millman, Nikolay Mayorov, Andrew R.\u00a0J","author":"Virtanen Pauli","unstructured":"Pauli Virtanen, Ralf Gommers, Travis\u00a0E. Oliphant, Matt Haberland, Tyler Reddy, David Cournapeau, Evgeni Burovski, Pearu Peterson, Warren Weckesser, Jonathan Bright, St\u00e9fan van\u00a0der Walt, Matthew Brett, Joshua Wilson, K.\u00a0Jarrod Millman, Nikolay Mayorov, Andrew R.\u00a0J. Nelson, Eric Jones, Robert Kern, Eric Larson, CJ Carey, Ilhan Polat, Yu Feng, Eric\u00a0W. Moore, Jake VanderPlas, Denis Laxalde, Josef Perktold, Robert Cimrman, Ian Henriksen, E.\u00a0A. Quintero, Charles\u00a0R. Harris, Anne\u00a0M. Archibald, Ant\u00f4nio\u00a0H. Ribeiro, Fabian Pedregosa, Paul van Mulbregt, and SciPy. 2019. SciPy 1.0-Fundamental Algorithms for Scientific Computing in Python. CoRR abs\/1907.10121 (2019)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-020-03469-7"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290369"},{"key":"e_1_3_2_1_28_1","volume-title":"Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability","author":"Yu Hengbiao","unstructured":"Hengbiao Yu, Xin Yi, Banghu Yin, Fa Li, Zhenbang Chen, and Chun Huang. 2023. Efficient Generation of Floating-Point Inputs for Compiler-Induced Variability. In SANER. IEEE, 224\u2013235."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563322"},{"key":"e_1_3_2_1_30_1","volume-title":"ICSE (1)","author":"Zou Daming","unstructured":"Daming Zou, Ran Wang, Yingfei Xiong, Lu Zhang, Zhendong Su, and Hong Mei. 2015. A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies. In ICSE (1). IEEE Computer Society, 529\u2013539."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371128"}],"event":{"name":"ICS '24: 2024 International Conference on Supercomputing","location":"Kyoto Japan","acronym":"ICS '24","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the 38th ACM International Conference on Supercomputing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650200.3656618","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650200.3656618","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3650200.3656618","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T15:22:40Z","timestamp":1755876160000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3650200.3656618"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,30]]},"references-count":31,"alternative-id":["10.1145\/3650200.3656618","10.1145\/3650200"],"URL":"https:\/\/doi.org\/10.1145\/3650200.3656618","relation":{},"subject":[],"published":{"date-parts":[[2024,5,30]]},"assertion":[{"value":"2024-06-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}