{"id":"https://openalex.org/W4411522887","doi":"https://doi.org/10.1145/3728950","title":"An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection","display_name":"An Investigation on Numerical Bugs in GPU Programs Towards Automated Bug Detection","publication_year":2025,"publication_date":"2025-06-22","ids":{"openalex":"https://openalex.org/W4411522887","doi":"https://doi.org/10.1145/3728950"},"language":"en","primary_location":{"id":"doi:10.1145/3728950","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728950","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3728950","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5116054388","display_name":"Ravishka Rathnasuriya","orcid":null},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ravishka Rathnasuriya","raw_affiliation_strings":["University of Texas at Dallas, Richardson, USA"],"raw_orcid":"https://orcid.org/0009-0005-6129-2865","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Richardson, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5118519859","display_name":"Nidhi Majoju","orcid":null},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nidhi Majoju","raw_affiliation_strings":["University of Texas at Dallas, Richardson, USA"],"raw_orcid":"https://orcid.org/0009-0002-2241-0126","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Richardson, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002964101","display_name":"Zihe Song","orcid":"https://orcid.org/0009-0009-6651-1560"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zihe Song","raw_affiliation_strings":["University of Texas at Dallas, Richardson, USA"],"raw_orcid":"https://orcid.org/0009-0009-6651-1560","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Richardson, USA","institution_ids":["https://openalex.org/I162577319"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100613524","display_name":"Wei Yang","orcid":"https://orcid.org/0000-0002-5338-7347"},"institutions":[{"id":"https://openalex.org/I162577319","display_name":"The University of Texas at Dallas","ror":"https://ror.org/049emcs32","country_code":"US","type":"education","lineage":["https://openalex.org/I162577319"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wei Yang","raw_affiliation_strings":["University of Texas at Dallas, Richardson, USA"],"raw_orcid":"https://orcid.org/0000-0002-5338-7347","affiliations":[{"raw_affiliation_string":"University of Texas at Dallas, Richardson, USA","institution_ids":["https://openalex.org/I162577319"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I162577319"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12267985,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2","issue":"ISSTA","first_page":"1654","last_page":"1677"},"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.9997000098228455,"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.9997000098228455,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/debugging","display_name":"Debugging","score":0.9048818945884705},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8331522941589355},{"id":"https://openalex.org/keywords/cuda","display_name":"CUDA","score":0.7024716734886169},{"id":"https://openalex.org/keywords/graphics-processing-unit","display_name":"Graphics processing unit","score":0.6656116247177124},{"id":"https://openalex.org/keywords/general-purpose-computing-on-graphics-processing-units","display_name":"General-purpose computing on graphics processing units","score":0.5945709943771362},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5206865072250366},{"id":"https://openalex.org/keywords/graphics","display_name":"Graphics","score":0.5008914470672607},{"id":"https://openalex.org/keywords/root-cause","display_name":"Root cause","score":0.4965081810951233},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.43068718910217285},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.39574772119522095},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.32809871435165405},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32027506828308105},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16434702277183533},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.10034897923469543}],"concepts":[{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.9048818945884705},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8331522941589355},{"id":"https://openalex.org/C2778119891","wikidata":"https://www.wikidata.org/wiki/Q477690","display_name":"CUDA","level":2,"score":0.7024716734886169},{"id":"https://openalex.org/C2779851693","wikidata":"https://www.wikidata.org/wiki/Q183484","display_name":"Graphics processing unit","level":2,"score":0.6656116247177124},{"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.5945709943771362},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5206865072250366},{"id":"https://openalex.org/C21442007","wikidata":"https://www.wikidata.org/wiki/Q1027879","display_name":"Graphics","level":2,"score":0.5008914470672607},{"id":"https://openalex.org/C84945661","wikidata":"https://www.wikidata.org/wiki/Q7366567","display_name":"Root cause","level":2,"score":0.4965081810951233},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.43068718910217285},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.39574772119522095},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.32809871435165405},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32027506828308105},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16434702277183533},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.10034897923469543},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3728950","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728950","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3728950","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3728950","pdf_url":null,"source":{"id":"https://openalex.org/S4404663975","display_name":"Proceedings of the ACM on software engineering.","issn_l":"2994-970X","issn":["2994-970X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Software Engineering","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W1966151649","https://openalex.org/W1999900893","https://openalex.org/W2025692558","https://openalex.org/W2096654515","https://openalex.org/W2121717408","https://openalex.org/W2301631282","https://openalex.org/W2547684973","https://openalex.org/W2571972762","https://openalex.org/W2731956051","https://openalex.org/W2766338242","https://openalex.org/W2767209415","https://openalex.org/W2773283032","https://openalex.org/W2887397219","https://openalex.org/W2899807069","https://openalex.org/W2901085837","https://openalex.org/W2954903132","https://openalex.org/W2956055894","https://openalex.org/W2963723316","https://openalex.org/W2990610267","https://openalex.org/W2996252512","https://openalex.org/W3000238554","https://openalex.org/W3087775079","https://openalex.org/W3089397612","https://openalex.org/W3109004940","https://openalex.org/W3126212707","https://openalex.org/W3195618452","https://openalex.org/W3196239222","https://openalex.org/W4200274933","https://openalex.org/W4214589259","https://openalex.org/W4226214462","https://openalex.org/W4233996382","https://openalex.org/W4234850770","https://openalex.org/W4256019627","https://openalex.org/W4302344205","https://openalex.org/W4313547562","https://openalex.org/W4321061926","https://openalex.org/W4321636682","https://openalex.org/W4385623150","https://openalex.org/W4403014797"],"related_works":["https://openalex.org/W2151046618","https://openalex.org/W1972148443","https://openalex.org/W1969233021","https://openalex.org/W2167646277","https://openalex.org/W2027443981","https://openalex.org/W2388314963","https://openalex.org/W3158047141","https://openalex.org/W2063573318","https://openalex.org/W1656096860","https://openalex.org/W2360624069"],"abstract_inverted_index":{"General-purpose":[0],"graphics":[1],"processing":[2],"unit":[3],"(GPU)":[4],"computing":[5,12,24,94],"has":[6],"emerged":[7],"as":[8,22],"a":[9,118,156,171],"leading":[10],"parallel":[11],"paradigm,":[13],"offering":[14],"significant":[15],"performance":[16],"gains":[17],"in":[18,180],"various":[19],"domains":[20],"such":[21],"scientific":[23],"and":[25,51,63,70,95,145,199,204,212],"deep":[26],"learning.":[27],"However,":[28],"GPU":[29,93,103],"programs":[30],"are":[31,46],"susceptible":[32],"to":[33,39,48,54,149,160],"numerical":[34,96,104,162],"bugs,":[35,85],"which":[36],"can":[37],"lead":[38],"incorrect":[40],"results":[41],"or":[42,61],"crashes.":[43],"These":[44],"bugs":[45,105,144,163,175,187],"difficult":[47],"detect,":[49],"debug,":[50],"fix":[52,150],"due":[53],"their":[55],"dependence":[56],"on":[57],"specific":[58],"input":[59,137],"values":[60],"types":[62],"the":[64,73,81,100,146,186,194],"absence":[65],"of":[66,77,84,92,102,121,173,185],"reliable":[67],"error-checking":[68],"mechanisms":[69],"oracles.":[71],"Additionally,":[72],"unique":[74],"programming":[75],"conventions":[76],"GPUs":[78],"complicate":[79],"identifying":[80],"root":[82,134],"causes":[83],"while":[86],"fixing":[87],"them":[88],"requires":[89],"domain-specific":[90],"knowledge":[91],"libraries.":[97],"Therefore,":[98],"understanding":[99],"characteristics":[101],"(GPU-NBs)":[106],"is":[107],"crucial":[108],"for":[109,196,202,207],"developing":[110,197],"effective":[111,210],"solutions.":[112],"In":[113],"this":[114],"paper,":[115],"we":[116],"conduct":[117],"comprehensive":[119],"study":[120],"GPU-NBs":[122,203],"by":[123,189],"analyzing":[124],"397":[125],"real-world":[126],"bug":[127,167],"samples":[128],"from":[129],"GitHub.":[130],"We":[131,152],"identify":[132],"common":[133],"causes,":[135],"symptoms,":[136],"patterns,":[138],"test":[139],"oracles":[140],"that":[141],"trigger":[142],"these":[143],"strategies":[147],"used":[148],"them.":[151],"also":[153],"present":[154],"GPU-NBDetect,":[155],"preliminary":[157],"tool":[158],"designed":[159],"detect":[161],"across":[164,176],"six":[165],"distinct":[166],"categories.":[168],"GPU-NBDetect":[169],"detected":[170],"total":[172],"226":[174],"186":[177],"mathematical":[178],"functions":[179],"four":[181],"libraries,":[182],"with":[183],"60":[184],"confirmed":[188],"developers.":[190],"Our":[191],"findings":[192],"lay":[193],"groundwork":[195],"detection":[198],"prevention":[200],"techniques":[201],"offer":[205],"insights":[206],"building":[208],"more":[209],"debugging":[211],"auto-repair":[213],"tool.":[214]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}
