{"id":"https://openalex.org/W4302344205","doi":"https://doi.org/10.1145/3520313.3534655","title":"BinFPE: accurate floating-point exception detection for GPU applications","display_name":"BinFPE: accurate floating-point exception detection for GPU applications","publication_year":2022,"publication_date":"2022-06-09","ids":{"openalex":"https://openalex.org/W4302344205","doi":"https://doi.org/10.1145/3520313.3534655"},"language":"en","primary_location":{"id":"doi:10.1145/3520313.3534655","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3520313.3534655","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3520313.3534655","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3520313.3534655","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033868370","display_name":"Ignacio Laguna","orcid":"https://orcid.org/0000-0002-9374-4433"},"institutions":[{"id":"https://openalex.org/I1282311441","display_name":"Lawrence Livermore National Laboratory","ror":"https://ror.org/041nk4h53","country_code":"US","type":"facility","lineage":["https://openalex.org/I1282311441","https://openalex.org/I1330989302","https://openalex.org/I198811213","https://openalex.org/I4210138311"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ignacio Laguna","raw_affiliation_strings":["Lawrence Livermore National Laboratory, USA"],"affiliations":[{"raw_affiliation_string":"Lawrence Livermore National Laboratory, USA","institution_ids":["https://openalex.org/I1282311441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100370279","display_name":"Xinyi Li","orcid":"https://orcid.org/0000-0002-5037-8621"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xinyi Li","raw_affiliation_strings":["University of Utah, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5069846379","display_name":"Ganesh Gopalakrishnan","orcid":"https://orcid.org/0000-0002-3705-0031"},"institutions":[{"id":"https://openalex.org/I223532165","display_name":"University of Utah","ror":"https://ror.org/03r0ha626","country_code":"US","type":"education","lineage":["https://openalex.org/I223532165"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ganesh Gopalakrishnan","raw_affiliation_strings":["University of Utah, USA"],"affiliations":[{"raw_affiliation_string":"University of Utah, USA","institution_ids":["https://openalex.org/I223532165"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5033868370"],"corresponding_institution_ids":["https://openalex.org/I1282311441"],"apc_list":null,"apc_paid":null,"fwci":1.8678,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.84868067,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cuda","display_name":"CUDA","score":0.8875414729118347},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8721277713775635},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8633342385292053},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.6254615783691406},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6086846590042114},{"id":"https://openalex.org/keywords/instrumentation","display_name":"Instrumentation (computer programming)","score":0.49063387513160706},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.4721424877643585},{"id":"https://openalex.org/keywords/floating-point","display_name":"Floating point","score":0.4695079028606415},{"id":"https://openalex.org/keywords/point","display_name":"Point (geometry)","score":0.45474833250045776},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4471045136451721},{"id":"https://openalex.org/keywords/general-purpose-computing-on-graphics-processing-units","display_name":"General-purpose computing on graphics processing units","score":0.4136161506175995},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35253193974494934},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20621541142463684},{"id":"https://openalex.org/keywords/graphics","display_name":"Graphics","score":0.1564500629901886}],"concepts":[{"id":"https://openalex.org/C2778119891","wikidata":"https://www.wikidata.org/wiki/Q477690","display_name":"CUDA","level":2,"score":0.8875414729118347},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8721277713775635},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8633342385292053},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.6254615783691406},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6086846590042114},{"id":"https://openalex.org/C118530786","wikidata":"https://www.wikidata.org/wiki/Q1134732","display_name":"Instrumentation (computer programming)","level":2,"score":0.49063387513160706},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.4721424877643585},{"id":"https://openalex.org/C84211073","wikidata":"https://www.wikidata.org/wiki/Q117879","display_name":"Floating point","level":2,"score":0.4695079028606415},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.45474833250045776},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4471045136451721},{"id":"https://openalex.org/C50630238","wikidata":"https://www.wikidata.org/wiki/Q971505","display_name":"General-purpose computing on graphics processing units","level":3,"score":0.4136161506175995},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35253193974494934},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20621541142463684},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.1564500629901886},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3520313.3534655","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3520313.3534655","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3520313.3534655","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","raw_type":"proceedings-article"},{"id":"pmh:oai:osti.gov:2005091","is_oa":true,"landing_page_url":"https://www.osti.gov/biblio/2005091","pdf_url":"https://www.osti.gov/servlets/purl/2005091","source":{"id":"https://openalex.org/S4306402487","display_name":"OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139351228","host_organization_name":"Office of Scientific and Technical Information","host_organization_lineage":["https://openalex.org/I139351228"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"doi:10.1145/3520313.3534655","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3520313.3534655","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3520313.3534655","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1065316766","display_name":null,"funder_award_id":"Award","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G1434647502","display_name":null,"funder_award_id":"SC0022252","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G1494814522","display_name":null,"funder_award_id":"DE_AC52-07NA27344","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"id":"https://openalex.org/G157168412","display_name":null,"funder_award_id":"2124100","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2813832484","display_name":null,"funder_award_id":"DE-SC0022252","funder_id":"https://openalex.org/F4320337506","funder_display_name":"Advanced Scientific Computing Research"},{"id":"https://openalex.org/G2917824471","display_name":null,"funder_award_id":"DE-AC52-07NA2734","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G3073780471","display_name":null,"funder_award_id":"1956106","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G318577966","display_name":"Research Initiation:  Development of Model-Based Design     Synthesis Technique","funder_award_id":"8119130","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3391580208","display_name":null,"funder_award_id":"DE-AC52-07NA2","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"id":"https://openalex.org/G4094752214","display_name":null,"funder_award_id":"DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320337506","funder_display_name":"Advanced Scientific Computing Research"},{"id":"https://openalex.org/G4343739756","display_name":null,"funder_award_id":"Contract DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"id":"https://openalex.org/G452285593","display_name":null,"funder_award_id":"DE-AC52-07NA2734","funder_id":"https://openalex.org/F4320337506","funder_display_name":"Advanced Scientific Computing Research"},{"id":"https://openalex.org/G4580038512","display_name":null,"funder_award_id":"DE-SC0022252","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G4711444667","display_name":null,"funder_award_id":"DE-AC52-07NA2734","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5685548091","display_name":null,"funder_award_id":"AC52-07NA27344","funder_id":"https://openalex.org/F4320337506","funder_display_name":"Advanced Scientific Computing Research"},{"id":"https://openalex.org/G5816449448","display_name":null,"funder_award_id":"DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G5964142490","display_name":null,"funder_award_id":"E-AC52-07NA27344","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"id":"https://openalex.org/G6020043373","display_name":null,"funder_award_id":"DE-AC52-07NA2734","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"},{"id":"https://openalex.org/G69709960","display_name":null,"funder_award_id":"Contract DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G7806955302","display_name":null,"funder_award_id":"DE-AC52-07NA27344","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8374966015","display_name":null,"funder_award_id":"AC52-07NA27344","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G8658770765","display_name":null,"funder_award_id":"DE-AC52-07NA27","funder_id":"https://openalex.org/F4320306084","funder_display_name":"U.S. Department of Energy"},{"id":"https://openalex.org/G991281326","display_name":null,"funder_award_id":"AC52-07NA27344","funder_id":"https://openalex.org/F4320338286","funder_display_name":"Lawrence Livermore National Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320332169","display_name":"Directorate for Computer and Information Science and Engineering","ror":"https://ror.org/025kzpk63"},{"id":"https://openalex.org/F4320337506","display_name":"Advanced Scientific Computing Research","ror":"https://ror.org/0012c7r22"},{"id":"https://openalex.org/F4320338286","display_name":"Lawrence Livermore National Laboratory","ror":"https://ror.org/041nk4h53"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4302344205.pdf","grobid_xml":"https://content.openalex.org/works/W4302344205.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W834709404","https://openalex.org/W1611084195","https://openalex.org/W1999470254","https://openalex.org/W2061091230","https://openalex.org/W2064452120","https://openalex.org/W2067856382","https://openalex.org/W2080592089","https://openalex.org/W2128120785","https://openalex.org/W2156858199","https://openalex.org/W2207050309","https://openalex.org/W2299696796","https://openalex.org/W2773283032","https://openalex.org/W2778880616","https://openalex.org/W2902494873","https://openalex.org/W2904117297","https://openalex.org/W2948348275","https://openalex.org/W2952851876","https://openalex.org/W2979340153","https://openalex.org/W3000238554","https://openalex.org/W3033741081","https://openalex.org/W3037859627","https://openalex.org/W3110699689","https://openalex.org/W3126212707","https://openalex.org/W3132423164","https://openalex.org/W3194114088","https://openalex.org/W3216357786","https://openalex.org/W4249885861","https://openalex.org/W6684109919"],"related_works":["https://openalex.org/W1963859303","https://openalex.org/W2364044215","https://openalex.org/W2389600408","https://openalex.org/W240129890","https://openalex.org/W3048701459","https://openalex.org/W2149078538","https://openalex.org/W2080146221","https://openalex.org/W2370314112","https://openalex.org/W1912958759","https://openalex.org/W2792081825"],"abstract_inverted_index":{"When":[0],"modern":[1],"heterogeneous":[2],"HPC":[3],"systems":[4],"perform":[5],"numerical":[6],"computations,":[7],"floating-point":[8],"exceptional":[9],"quantities":[10],"such":[11],"as":[12],"NaN":[13],"and":[14,29,51,58,91,122],"infinity":[15],"in":[16],"the":[17,30,74,82,96,103,118],"GPU":[18,127],"context,":[19],"remain":[20],"insufficiently":[21],"handled.":[22],"This":[23,61],"is":[24],"because":[25],"commonly":[26],"used":[27],"GPUs":[28],"CUDA":[31,109],"language":[32],"have":[33],"no":[34],"inherent":[35],"exception":[36],"detection":[37],"capabilities.":[38],"Existing":[39],"compiler-based":[40],"approaches":[41],"for":[42,98],"this":[43,93],"problem":[44],"are":[45],"tied":[46],"to":[47,80,88,95],"a":[48,65],"given":[49],"compiler":[50],"cannot":[52],"detect":[53],"exceptions":[54],"generated":[55],"by":[56],"binaries":[57],"precompiled":[59],"libraries.":[60],"paper":[62],"contributes":[63],"BinFPE,":[64],"unique":[66],"tool":[67],"that":[68],"addresses":[69],"these":[70],"challenges.":[71],"BinFPE":[72,106,121],"uses":[73],"NVBit":[75],"dynamic":[76],"binary":[77,130],"instrumentation":[78],"framework":[79],"check":[81],"machine":[83],"registers":[84],"after":[85],"each":[86],"calculation":[87],"recognize":[89],"exceptions,":[90],"conveys":[92],"information":[94],"CPU":[97],"final":[99],"reporting.":[100],"We":[101,115],"demonstrate":[102],"effectiveness":[104],"of":[105,120],"on":[107,125],"42":[108],"programs,":[110],"reporting":[111],"previously":[112],"unreported":[113],"exceptions.":[114],"also":[116],"present":[117],"limitations":[119],"our":[123],"perspective":[124],"building":[126],"tools":[128],"via":[129],"instrumentation.":[131]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-14T08:04:32.555800","created_date":"2025-10-10T00:00:00"}