{"id":"https://openalex.org/W4403345148","doi":"https://doi.org/10.48550/arxiv.2410.06440","title":"Checker Bug Detection and Repair in Deep Learning Libraries","display_name":"Checker Bug Detection and Repair in Deep Learning Libraries","publication_year":2024,"publication_date":"2024-10-09","ids":{"openalex":"https://openalex.org/W4403345148","doi":"https://doi.org/10.48550/arxiv.2410.06440"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2410.06440","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.06440","pdf_url":"https://arxiv.org/pdf/2410.06440","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2410.06440","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054038436","display_name":"Nima Shiri Harzevili","orcid":"https://orcid.org/0000-0003-0484-3972"},"institutions":[{"id":"https://openalex.org/I2803051454","display_name":"Jack Miller Center","ror":"https://ror.org/01n03de84","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I2803051454"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Harzevili, Nima Shiri","raw_affiliation_strings":["Jack"],"affiliations":[{"raw_affiliation_string":"Jack","institution_ids":["https://openalex.org/I2803051454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025120794","display_name":"Mohammad Mahdi Mohajer","orcid":"https://orcid.org/0009-0000-8192-0164"},"institutions":[{"id":"https://openalex.org/I2803051454","display_name":"Jack Miller Center","ror":"https://ror.org/01n03de84","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I2803051454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mohajer, Mohammad Mahdi","raw_affiliation_strings":["Jack"],"affiliations":[{"raw_affiliation_string":"Jack","institution_ids":["https://openalex.org/I2803051454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102446495","display_name":"Jiho Shin","orcid":"https://orcid.org/0000-0001-8829-3773"},"institutions":[{"id":"https://openalex.org/I2803051454","display_name":"Jack Miller Center","ror":"https://ror.org/01n03de84","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I2803051454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Shin, Jiho","raw_affiliation_strings":["Jack"],"affiliations":[{"raw_affiliation_string":"Jack","institution_ids":["https://openalex.org/I2803051454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045306475","display_name":"Moshi Wei","orcid":"https://orcid.org/0000-0003-1659-1960"},"institutions":[{"id":"https://openalex.org/I2803051454","display_name":"Jack Miller Center","ror":"https://ror.org/01n03de84","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I2803051454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wei, Moshi","raw_affiliation_strings":["Jack"],"affiliations":[{"raw_affiliation_string":"Jack","institution_ids":["https://openalex.org/I2803051454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067154597","display_name":"Gias Uddin","orcid":"https://orcid.org/0000-0003-1376-095X"},"institutions":[{"id":"https://openalex.org/I2803051454","display_name":"Jack Miller Center","ror":"https://ror.org/01n03de84","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I2803051454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Uddin, Gias","raw_affiliation_strings":["Jack"],"affiliations":[{"raw_affiliation_string":"Jack","institution_ids":["https://openalex.org/I2803051454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101712379","display_name":"Jinqiu Yang","orcid":"https://orcid.org/0000-0003-4282-406X"},"institutions":[{"id":"https://openalex.org/I2803051454","display_name":"Jack Miller Center","ror":"https://ror.org/01n03de84","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I2803051454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yang, Jinqiu","raw_affiliation_strings":["Jack"],"affiliations":[{"raw_affiliation_string":"Jack","institution_ids":["https://openalex.org/I2803051454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108814327","display_name":"Junjie Wang","orcid":"https://orcid.org/0000-0002-9941-6713"},"institutions":[{"id":"https://openalex.org/I2803051454","display_name":"Jack Miller Center","ror":"https://ror.org/01n03de84","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I2803051454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wang, Junjie","raw_affiliation_strings":["Jack"],"affiliations":[{"raw_affiliation_string":"Jack","institution_ids":["https://openalex.org/I2803051454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100326214","display_name":"Song Wang","orcid":"https://orcid.org/0000-0003-0617-2877"},"institutions":[{"id":"https://openalex.org/I2803051454","display_name":"Jack Miller Center","ror":"https://ror.org/01n03de84","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I2803051454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wang, Song","raw_affiliation_strings":["Jack"],"affiliations":[{"raw_affiliation_string":"Jack","institution_ids":["https://openalex.org/I2803051454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100572320","display_name":"Zhen Ming","orcid":null},"institutions":[{"id":"https://openalex.org/I2803051454","display_name":"Jack Miller Center","ror":"https://ror.org/01n03de84","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I2803051454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ming, Zhen","raw_affiliation_strings":["Jack"],"affiliations":[{"raw_affiliation_string":"Jack","institution_ids":["https://openalex.org/I2803051454"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Jiang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jiang","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101612061","display_name":"Nachiappan Nagappan","orcid":"https://orcid.org/0000-0003-1358-4124"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nagappan, Nachiappan","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":11,"corresponding_author_ids":["https://openalex.org/A5054038436"],"corresponding_institution_ids":["https://openalex.org/I2803051454"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12535","display_name":"Machine Learning and Data Classification","score":0.9538999795913696,"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"}},"topics":[{"id":"https://openalex.org/T12535","display_name":"Machine Learning and Data Classification","score":0.9538999795913696,"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"}},{"id":"https://openalex.org/T10036","display_name":"Advanced Neural Network Applications","score":0.9523000121116638,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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.9505000114440918,"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/computer-science","display_name":"Computer science","score":0.6272729635238647},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.5735167860984802},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.45983120799064636}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6272729635238647},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.5735167860984802},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45983120799064636}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2410.06440","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.06440","pdf_url":"https://arxiv.org/pdf/2410.06440","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"doi:10.48550/arxiv.2410.06440","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2410.06440","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2410.06440","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2410.06440","pdf_url":"https://arxiv.org/pdf/2410.06440","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403345148.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2731899572","https://openalex.org/W3215138031","https://openalex.org/W3009238340","https://openalex.org/W4321369474","https://openalex.org/W4360585206","https://openalex.org/W4285208911","https://openalex.org/W3082895349","https://openalex.org/W4213079790","https://openalex.org/W2248239756","https://openalex.org/W4323565446"],"abstract_inverted_index":{"Checker":[0],"bugs":[1,13,60,74,126,162],"in":[2,17,39,75,163,191,272],"Deep":[3],"Learning":[4],"(DL)":[5],"libraries":[6,26,165],"are":[7,14],"critical":[8],"yet":[9],"not":[10],"well-explored.":[11],"These":[12],"often":[15],"concealed":[16],"the":[18,48,67,138,243,256,265,273],"input":[19],"validation":[20],"and":[21,27,50,82,95,134,159,186,193,221,226],"error-checking":[22],"code":[23],"of":[24,52,71,90,145,171,213,232,239,264,275],"DL":[25,40,72,78,119,164],"can":[28],"lead":[29],"to":[30,45,103,110,157,198],"silent":[31],"failures,":[32],"incorrect":[33],"results,":[34],"or":[35],"unexpected":[36],"program":[37],"behavior":[38],"applications.":[41],"Despite":[42],"their":[43],"potential":[44],"significantly":[46],"impact":[47],"reliability":[49],"performance":[51,177,218],"DL-enabled":[53],"systems":[54],"built":[55],"with":[56],"these":[57,125],"libraries,":[58,79],"checker":[59,73,111,120,146,161,278],"have":[61,251],"received":[62],"limited":[63],"attention.":[64],"We":[65,174,250],"present":[66],"first":[68],"comprehensive":[69],"study":[70],"two":[76],"widely-used":[77],"i.e.,":[80,130],"TensorFlow":[81,94,192],"PyTorch.":[83],"Initially,":[84],"we":[85,116,123,148],"automatically":[86],"collected":[87],"a":[88,152,169,179,216],"dataset":[89,181],"2,418":[91],"commits":[92],"from":[93,100,127,195,268],"PyTorch":[96,194],"repositories":[97],"on":[98,178,255],"GitHub":[99],"Sept.":[101],"2016":[102],"Dec.":[104],"2023":[105],"using":[106,211,223],"specific":[107],"keywords":[108],"related":[109],"bugs.":[112,121,279],"Through":[113],"manual":[114],"inspection,":[115],"identified":[117],"527":[118],"Subsequently,":[122],"analyzed":[124],"three":[128],"perspectives,":[129],"root":[131,142],"causes,":[132],"symptoms,":[133],"fixing":[135],"patterns.":[136],"Using":[137],"knowledge":[139],"gained":[140],"via":[141,166],"cause":[143],"analysis":[144],"bugs,":[147],"further":[149],"propose":[150],"TensorGuard,":[151],"proof-of-concept":[153],"RAG-based":[154],"LLM-based":[155],"tool":[156],"detect":[158],"fix":[160],"prompt":[167],"engineering":[168],"series":[170],"ChatGPT":[172],"prompts.":[173],"evaluated":[175],"TensorGuard's":[176],"test":[180],"that":[182,204],"includes":[183],"92":[184],"buggy":[185],"135":[187],"clean":[188],"checker-related":[189,260],"changes":[190,261],"January":[196],"2024":[197],"July":[199],"2024.":[200],"Our":[201],"results":[202],"demonstrate":[203],"TensorGuard":[205,235,254],"has":[206],"high":[207],"average":[208],"recall":[209,222],"(94.51\\%)":[210],"Chain":[212],"Thought":[214],"prompting,":[215],"balanced":[217],"between":[219],"precision":[220],"Zero-Shot":[224],"prompting":[225,228],"Few-Shot":[227],"strategies.":[229],"In":[230],"terms":[231],"patch":[233],"generation,":[234],"achieves":[236],"an":[237],"accuracy":[238],"11.1\\%,":[240],"which":[241,270],"outperforms":[242],"state-of-the-art":[244],"bug":[245],"repair":[246],"baseline":[247],"by":[248],"2\\%.":[249],"also":[252],"applied":[253],"latest":[257],"six":[258],"months'":[259],"(493":[262],"changes)":[263],"JAX":[266],"library":[267],"Google,":[269],"resulted":[271],"detection":[274],"64":[276],"new":[277]},"counts_by_year":[],"updated_date":"2026-04-17T18:11:37.981687","created_date":"2025-10-10T00:00:00"}