{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T10:45:06Z","timestamp":1753440306651,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,3]],"date-time":"2024-06-03T00:00:00Z","timestamp":1717372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CCF 2217154","CCF 2124100","CCF 1956106"],"award-info":[{"award-number":["CCF 2217154","CCF 2124100","CCF 1956106"]}],"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-SC0022252","SCW1743"],"award-info":[{"award-number":["DE-SC0022252","SCW1743"]}],"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":[[2024,6,3]]},"DOI":"10.1145\/3625549.3658660","type":"proceedings-article","created":{"date-parts":[[2024,8,30]],"date-time":"2024-08-30T15:55:29Z","timestamp":1725033329000},"page":"83-93","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["FPBOXer: Efficient Input-Generation for Targeting Floating-Point Exceptions in GPU Programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3849-7935","authenticated-orcid":false,"given":"Anh","family":"Tran","sequence":"first","affiliation":[{"name":"University of Utah, Salt Lake City, UT, United States"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9374-4433","authenticated-orcid":false,"given":"Ignacio","family":"Laguna","sequence":"additional","affiliation":[{"name":"Lawrence Livermore National Lab, Livermore, United States of America"}]},{"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":[[2024,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Standard for Binary Floating-Point Arithmetic","author":"IEEE","year":"1985","unstructured":"IEEE Task P754. ANSI\/IEEE 754-1985, Standard for Binary Floating-Point Arithmetic. IEEE, 1985."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-76526-6"},{"key":"e_1_3_2_1_3_1","volume-title":"Proposed consistent exception handling for the blas and lapack. arXiv preprint arXiv:2207.09281","author":"Demmel James","year":"2022","unstructured":"James Demmel, Jack Dongarra, Mark Gates, Greg Henry, Julien Langou, Xiaoye Li, Piotr Luszczek, Weslley Pereira, Jason Riedy, and Cindy Rubio-Gonz\u00e1lez. Proposed consistent exception handling for the blas and lapack. arXiv preprint arXiv:2207.09281, 2022."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227701"},{"key":"e_1_3_2_1_5_1","unstructured":"https:\/\/docs.nvidia.com\/cuda\/floating-point\/index.html."},{"key":"e_1_3_2_1_6_1","volume-title":"Practical bayesian optimization of machine learning algorithms. Advances in neural information processing systems, 25","author":"Snoek Jasper","year":"2012","unstructured":"Jasper Snoek, Hugo Larochelle, and Ryan P Adams. Practical bayesian optimization of machine learning algorithms. Advances in neural information processing systems, 25, 2012."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-24494-1"},{"key":"e_1_3_2_1_8_1","volume-title":"Autotuning polybench benchmarks with LLVM clang\/polly loop optimization pragmas using bayesian optimization (extended version). CoRR, abs\/2104.13242","author":"Wu Xingfu","year":"2021","unstructured":"Xingfu Wu, Michael Kruse, Prasanna Balaprakash, Hal Finkel, Paul D. Hovland, Valerie E. Taylor, and Mary W. Hall. Autotuning polybench benchmarks with LLVM clang\/polly loop optimization pragmas using bayesian optimization (extended version). CoRR, abs\/2104.13242, 2021."},{"key":"e_1_3_2_1_9_1","volume-title":"Supercomputing","author":"Laguna Ignacio","year":"2022","unstructured":"Ignacio Laguna and Ganesh Gopalakrishnan. Finding inputs that trigger floating-point exceptions in gpus via bayesian optimization. In Supercomputing, 2022."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3588195.3592991"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00118"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/IISWC55918.2022.00014","volume-title":"2022 IEEE International Symposium on Workload Characterization (IISWC)","author":"Laguna Ignacio","year":"2022","unstructured":"Ignacio Laguna, Tanmay Tirpankar, Xinyi Li, and Ganesh Gopalakrishnan. Fpchecker: Floating-point exception detection tool and benchmark for parallel and distributed hpc. In 2022 IEEE International Symposium on Workload Characterization (IISWC), pages 39--50, 2022."},{"key":"e_1_3_2_1_13_1","first-page":"1","volume-title":"Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2022","author":"Laguna Ignacio","year":"2022","unstructured":"Ignacio Laguna, Xinyi Li, and Ganesh Gopalakrishnan. Binfpe: Accurate floating-point exception detection for gpu applications. In Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2022, page 1--8, New York, NY, USA, 2022. Association for Computing Machinery."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3369583.3392673"},{"key":"e_1_3_2_1_15_1","first-page":"9","article-title":"Finding inputs that trigger floating-point exceptions in heterogeneous computing via bayesian optimization","volume":"117","author":"Laguna Ignacio","year":"2023","unstructured":"Ignacio Laguna, Anh Tran, and Ganesh Gopalakrishnan. Finding inputs that trigger floating-point exceptions in heterogeneous computing via bayesian optimization. Parallel Computing, 117, 9 2023.","journal-title":"Parallel Computing"},{"key":"e_1_3_2_1_16_1","unstructured":"LULESH Development Team. LULESH: Livermore unstructured lagrangian explicit\/implicit shock hydrodynamics. https:\/\/asc.llnl.gov\/codes\/proxy-apps\/lulesh."},{"key":"e_1_3_2_1_17_1","volume-title":"Lawrence Livermore National Lab (LLNL)","author":"Karlin Ian","year":"2013","unstructured":"Ian Karlin, Jeff Keasler, and JR Neely. Lulesh 2.0 updates and changes. Technical report, Lawrence Livermore National Lab (LLNL), Livermore, CA (United States), 2013."},{"key":"e_1_3_2_1_18_1","unstructured":"Ga\u00ebl Guennebaud Beno\u00eet Jacob et al. Eigen v3. http:\/\/eigen.tuxfamily.org 2010."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480359.2429133"},{"key":"e_1_3_2_1_20_1","volume-title":"TACAS 2008","volume":"4963","author":"de Moura Leonardo","year":"2008","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, volume 4963 of Lecture Notes in Computer Science, pages 337--340. Springer Berlin Heidelberg, 2008."},{"key":"e_1_3_2_1_21_1","unstructured":"https:\/\/www.philipzucker.com\/stupid-is-as-stupid-does-floating-point-in-z3py\/."},{"key":"e_1_3_2_1_22_1","first-page":"43","volume-title":"Alexey Solovyev. Efficient Search for Inputs Causing High Floating-point Errors. In Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP)","author":"Chiang Wei-Fan","year":"2014","unstructured":"Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamari\u0107, and Alexey Solovyev. Efficient Search for Inputs Causing High Floating-point Errors. In Proceedings of the 19th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), pages 43--52. ACM, 2014."},{"key":"e_1_3_2_1_23_1","first-page":"439","volume-title":"Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019","author":"Fu Zhoulai","year":"2019","unstructured":"Zhoulai Fu and Zhendong Su. Effective floating-point analysis via weak-distance minimization. In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, page 439--452, New York, NY, USA, 2019. Association for Computing Machinery."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2022.100471"},{"key":"e_1_3_2_1_25_1","first-page":"49","volume-title":"2020 IEEE\/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness)","author":"Pollard Samuel D","year":"2020","unstructured":"Samuel D Pollard and Boyana Norris. A statistical analysis of error in mpi reduction operations. In 2020 IEEE\/ACM 4th International Workshop on Software Correctness for HPC Applications (Correctness), pages 49--57. IEEE, 2020."},{"key":"e_1_3_2_1_26_1","volume-title":"Advances in Neural Information Processing Systems","author":"Gardner Jacob R","year":"2018","unstructured":"Jacob R Gardner, Geoff Pleiss, David Bindel, Kilian Q Weinberger, and Andrew Gordon Wilson. Gpytorch: Blackbox matrix-matrix gaussian process inference with gpu acceleration. In Advances in Neural Information Processing Systems, 2018."},{"key":"e_1_3_2_1_27_1","first-page":"2187","article-title":"Parallel bayesian optimization of multiple noisy objectives with expected hypervolume improvement","volume":"34","author":"Daulton Samuel","year":"2021","unstructured":"Samuel Daulton, Maximilian Balandat, and Eytan Bakshy. Parallel bayesian optimization of multiple noisy objectives with expected hypervolume improvement. Advances in Neural Information Processing Systems, 34:2187--2200, 2021.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_28_1","volume-title":"Bayesian Optimization: Open source constrained global optimization tool for Python","author":"Nogueira Fernando","year":"2014","unstructured":"Fernando Nogueira. Bayesian Optimization: Open source constrained global optimization tool for Python, 2014--."},{"key":"e_1_3_2_1_29_1","first-page":"33","article-title":"A Framework for Efficient Monte-Carlo Bayesian Optimization","author":"Balandat Maximilian","year":"2020","unstructured":"Maximilian Balandat, Brian Karrer, Daniel R. Jiang, Samuel Daulton, Benjamin Letham, Andrew Gordon Wilson, and Eytan Bakshy. BoTorch: A Framework for Efficient Monte-Carlo Bayesian Optimization. In Advances in Neural Information Processing Systems 33, 2020.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_30_1","first-page":"1","volume-title":"SC22: International Conference for High Performance Computing, Networking, Storage and Analysis","author":"Laguna I.","year":"2022","unstructured":"I. Laguna and G. Gopalakrishnan. Finding inputs that trigger floating-point exceptions in gpus via bayesian optimization. In SC22: International Conference for High Performance Computing, Networking, Storage and Analysis, pages 1--14, Los Alamitos, CA, USA, nov 2022. IEEE Computer Society."}],"event":{"name":"HPDC '24: 33rd International Symposium on High-Performance Parallel and Distributed Computing","sponsor":["SIGARCH ACM Special Interest Group on Computer Architecture","SIGHPC ACM Special Interest Group on High Performance Computing, Special Interest Group on High Performance Computing"],"location":"Pisa Italy","acronym":"HPDC '24"},"container-title":["Proceedings of the 33rd International Symposium on High-Performance Parallel and Distributed Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3625549.3658660","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3625549.3658660","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:38Z","timestamp":1750287038000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3625549.3658660"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,3]]},"references-count":30,"alternative-id":["10.1145\/3625549.3658660","10.1145\/3625549"],"URL":"https:\/\/doi.org\/10.1145\/3625549.3658660","relation":{},"subject":[],"published":{"date-parts":[[2024,6,3]]},"assertion":[{"value":"2024-08-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}