{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:14:36Z","timestamp":1757452476130,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,14]],"date-time":"2022-06-14T00:00:00Z","timestamp":1655164800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,6,14]]},"DOI":"10.1145\/3520313.3534655","type":"proceedings-article","created":{"date-parts":[[2022,6,9]],"date-time":"2022-06-09T20:46:24Z","timestamp":1654807584000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["BinFPE: accurate floating-point exception detection for GPU applications"],"prefix":"10.1145","author":[{"given":"Ignacio","family":"Laguna","sequence":"first","affiliation":[{"name":"Lawrence Livermore National Laboratory, USA"}]},{"given":"Xinyi","family":"Li","sequence":"additional","affiliation":[{"name":"University of Utah, USA"}]},{"given":"Ganesh","family":"Gopalakrishnan","sequence":"additional","affiliation":[{"name":"University of Utah, USA"}]}],"member":"320","published-online":{"date-parts":[[2022,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"v11.6.2. https:\/\/docs.nvidia.com\/cuda\/floating-point\/index.html Online","author":"Programming Guide CUDA","year":"2022","unstructured":"2022. CUDA C++ Programming Guide , v11.6.2. https:\/\/docs.nvidia.com\/cuda\/floating-point\/index.html Online ; accessed March , 30, 2022 . 2022. CUDA C++ Programming Guide, v11.6.2. https:\/\/docs.nvidia.com\/cuda\/floating-point\/index.html Online; accessed March, 30, 2022."},{"volume-title":"AMD, 30-November-2020. https:\/\/developer.amd.com\/wp-content\/resources\/RDNA2_Shader_ISA_November2020.pdf Online","year":"2022","key":"e_1_3_2_1_2_1","unstructured":"2022. RDNA 2 Instruction Set Architecture Reference Guide , AMD, 30-November-2020. https:\/\/developer.amd.com\/wp-content\/resources\/RDNA2_Shader_ISA_November2020.pdf Online ; accessed April , 25, 2022 . 2022. RDNA 2 Instruction Set Architecture Reference Guide, AMD, 30-November-2020. https:\/\/developer.amd.com\/wp-content\/resources\/RDNA2_Shader_ISA_November2020.pdf Online; accessed April, 25, 2022."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254118"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024569.2024572"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2009.5306797"},{"key":"e_1_3_2_1_6_1","unstructured":"Sharan Chetlur Cliff Woolley Philippe Vandermersch Jonathan Cohen John Tran Bryan Catanzaro and Evan Shelhamer. 2014. cudnn: Efficient primitives for deep learning. arXiv preprint arXiv:1410.0759.  Sharan Chetlur Cliff Woolley Philippe Vandermersch Jonathan Cohen John Tran Bryan Catanzaro and Evan Shelhamer. 2014. cudnn: Efficient primitives for deep learning. arXiv preprint arXiv:1410.0759."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386004"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468585"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3446804.3446848"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3014426"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1644001.1644003"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH51176.2021.00014"},{"key":"e_1_3_2_1_14_1","volume-title":"Pablo De Oliveira Castro, and Eric Petit","author":"Denis Christophe","year":"2015","unstructured":"Christophe Denis , Pablo De Oliveira Castro, and Eric Petit . 2015 . Verificarlo : Checking floating point accuracy through monte carlo arithmetic. arXiv preprint arXiv:1509.01347. Christophe Denis, Pablo De Oliveira Castro, and Eric Petit. 2015. Verificarlo: Checking floating point accuracy through monte carlo arithmetic. arXiv preprint arXiv:1509.01347."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3369583.3392673"},{"volume-title":"Proceedings of the 24th International Conference on Automated Deduction, CADE 2013. 208\u2013214","author":"Gao Sicun","key":"e_1_3_2_1_16_1","unstructured":"Sicun Gao , Soonho Kong , and Edmund M. Clarke . 2013. dReal: An SMT Solver for Nonlinear Theories over the Reals . In Proceedings of the 24th International Conference on Automated Deduction, CADE 2013. 208\u2013214 . Sicun Gao, Soonho Kong, and Edmund M. Clarke. 2013. dReal: An SMT Solver for Nonlinear Theories over the Reals. In Proceedings of the 24th International Conference on Automated Deduction, CADE 2013. 208\u2013214."},{"key":"e_1_3_2_1_17_1","volume-title":"What every computer scientist should know about floating-point arithmetic. ACM computing surveys (CSUR), 23, 1","author":"Goldberg David","year":"1991","unstructured":"David Goldberg . 1991. What every computer scientist should know about floating-point arithmetic. ACM computing surveys (CSUR), 23, 1 ( 1991 ), 5\u201348. David Goldberg. 1991. What every computer scientist should know about floating-point arithmetic. ACM computing surveys (CSUR), 23, 1 (1991), 5\u201348."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Scott Grauer-Gray Lifan Xu Robert Searles Sudhee Ayalasomayajula and John Cavazos. 2012. Auto-tuning a high-level language targeted to GPU codes. In 2012 innovative parallel computing (InPar). 1\u201310.  Scott Grauer-Gray Lifan Xu Robert Searles Sudhee Ayalasomayajula and John Cavazos. 2012. Auto-tuning a high-level language targeted to GPU codes. In 2012 innovative parallel computing (InPar). 1\u201310.","DOI":"10.1109\/InPar.2012.6339595"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3441830"},{"key":"e_1_3_2_1_20_1","first-page":"1","article-title":". IEEE Standard for Floating-Point Arithmetic","volume":"754","year":"2008","unstructured":"2008 . IEEE Standard for Floating-Point Arithmetic . IEEE Std 754-2008 , 1 \u2013 70 . 2008. IEEE Standard for Floating-Point Arithmetic. IEEE Std 754-2008, 1\u201370.","journal-title":"IEEE Std"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cpc.2008.02.003"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3330345.3330360"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-50497-0"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00118"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-20656-7_12"},{"key":"e_1_3_2_1_26_1","volume-title":"Vijay Janapa Reddi, and Kim Hazelwood","author":"Luk Chi-Keung","year":"2005","unstructured":"Chi-Keung Luk , Robert Cohn , Robert Muth , Harish Patil , Artur Klauser , Geoff Lowney , Steven Wallace , Vijay Janapa Reddi, and Kim Hazelwood . 2005 . Pin: building customized program analysis tools with dynamic instrumentation. Acm sigplan notices, 40, 6 (2005), 190\u2013200. Chi-Keung Luk, Robert Cohn, Robert Muth, Harish Patil, Artur Klauser, Geoff Lowney, Steven Wallace, Vijay Janapa Reddi, and Kim Hazelwood. 2005. Pin: building customized program analysis tools with dynamic instrumentation. Acm sigplan notices, 40, 6 (2005), 190\u2013200."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2018.00051"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737959"},{"key":"e_1_3_2_1_30_1","volume-title":"Pytorch: An imperative style, high-performance deep learning library. Advances in neural information processing systems, 32","author":"Paszke Adam","year":"2019","unstructured":"Adam Paszke , Sam Gross , Francisco Massa , Adam Lerer , James Bradbury , Gregory Chanan , Trevor Killeen , Zeming Lin , Natalia Gimelshein , and Luca Antiga . 2019 . Pytorch: An imperative style, high-performance deep learning library. Advances in neural information processing systems, 32 (2019). Adam Paszke, Sam Gross, Francisco Massa, Adam Lerer, James Bradbury, Gregory Chanan, Trevor Killeen, Zeming Lin, Natalia Gimelshein, and Luca Antiga. 2019. Pytorch: An imperative style, high-performance deep learning library. Advances in neural information processing systems, 32 (2019)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3230733"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC.2017.8167778"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73721-8_24"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73721-8_24"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3352460.3358307"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the ACM on Programming Languages, 4, POPL","author":"Zou Daming","year":"2019","unstructured":"Daming Zou , Muhan Zeng , Yingfei Xiong , Zhoulai Fu , Lu Zhang , and Zhendong Su . 2019 . Detecting floating-point errors via atomic conditions . Proceedings of the ACM on Programming Languages, 4, POPL (2019), 1\u201327. Daming Zou, Muhan Zeng, Yingfei Xiong, Zhoulai Fu, Lu Zhang, and Zhendong Su. 2019. Detecting floating-point errors via atomic conditions. Proceedings of the ACM on Programming Languages, 4, POPL (2019), 1\u201327."}],"event":{"name":"SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"San Diego CA USA","acronym":"SOAP '22"},"container-title":["Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520313.3534655","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3520313.3534655","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:31Z","timestamp":1750183771000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520313.3534655"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,14]]},"references-count":36,"alternative-id":["10.1145\/3520313.3534655","10.1145\/3520313"],"URL":"https:\/\/doi.org\/10.1145\/3520313.3534655","relation":{},"subject":[],"published":{"date-parts":[[2022,6,14]]},"assertion":[{"value":"2022-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}