{"id":"https://openalex.org/W7154150252","doi":"https://doi.org/10.48550/arxiv.2604.08720","title":"Demystifying the Silence of Correctness Bugs in PyTorch Compiler","display_name":"Demystifying the Silence of Correctness Bugs in PyTorch Compiler","publication_year":2026,"publication_date":"2026-04-09","ids":{"openalex":"https://openalex.org/W7154150252","doi":"https://doi.org/10.48550/arxiv.2604.08720"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.08720","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08720","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":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.08720","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056098400","display_name":"Meiziniu Li","orcid":"https://orcid.org/0000-0001-5947-4030"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Meiziniu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133521635","display_name":"Dongze Li","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Li, Dongze","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133542162","display_name":"Jianmeng Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Jianmeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133537486","display_name":"Shing-Chi Cheung","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cheung, Shing-Chi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.5627999901771545,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.5627999901771545,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.1363999992609024,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.05050000175833702,"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/correctness","display_name":"Correctness","score":0.9472000002861023},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6872000098228455},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5126000046730042},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.47839999198913574},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.44859999418258667},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.43950000405311584},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.43799999356269836},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.42480000853538513}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9472000002861023},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8666999936103821},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6872000098228455},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5655999779701233},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5126000046730042},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.47839999198913574},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.45509999990463257},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.44859999418258667},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.43950000405311584},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.43799999356269836},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.42480000853538513},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.31380000710487366},{"id":"https://openalex.org/C120936955","wikidata":"https://www.wikidata.org/wiki/Q2155640","display_name":"Empirical research","level":2,"score":0.29409998655319214},{"id":"https://openalex.org/C16910744","wikidata":"https://www.wikidata.org/wiki/Q7705759","display_name":"Test data","level":2,"score":0.2897999882698059},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2863999903202057},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.27720001339912415},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.26980000734329224},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.2646999955177307},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.2558000087738037},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.2533000111579895},{"id":"https://openalex.org/C68366613","wikidata":"https://www.wikidata.org/wiki/Q5156378","display_name":"Compiler correctness","level":3,"score":0.25209999084472656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.08720","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08720","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.08720","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.08720","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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5957240462303162}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Performance":[0],"optimization":[1,22],"of":[2,11,46,65,77,83,125,138,188,218,229],"AI":[3],"infrastructure":[4],"is":[5,37],"key":[6],"to":[7,39,62,108,177],"the":[8,63,71,91,121,126,136,186,210,227],"fast":[9],"adoption":[10],"large":[12],"language":[13],"models":[14,28,49,86],"(LLMs).":[15],"The":[16],"PyTorch":[17,72,211],"compiler":[18],"(torch.compile),":[19],"a":[20,59,150],"core":[21],"tool":[23],"for":[24,158,181],"deep":[25],"learning":[26],"(DL)":[27],"(including":[29],"LLMs),":[30],"has":[31,105,191],"received":[32],"due":[33],"attention.":[34],"However,":[35,101],"torch.compile":[36,89],"prone":[38],"correctness":[40,127,160,182,196],"bugs,":[41,90,225],"which":[42],"cause":[43],"incorrect":[44,81],"outputs":[45,82],"compiled":[47,84],"DL":[48,85],"without":[50],"triggering":[51],"exceptions,":[52],"crashes,":[53],"or":[54,207],"warnings.":[55],"These":[56],"bugs":[57,128,161,197,203],"pose":[58],"serious":[60],"threat":[61],"reliability":[64],"downstream":[66],"LLM":[67],"applications.":[68],"Data":[69],"from":[70,169],"community":[73],"shows":[74],"that":[75],"19.2%":[76],"high-priority":[78,224],"issues":[79],"are":[80,220],"induced":[87],"by":[88,209],"second-most-common":[92],"bug":[93,166,183],"category":[94],"(only":[95],"behind":[96],"program":[97],"crashes":[98],"at":[99],"19.57%).":[100],"no":[102],"systematic":[103],"study":[104,124],"been":[106,205],"conducted":[107],"specifically":[109,157],"characterize":[110],"and":[111,134,214],"thereby":[112],"detect":[113],"these":[114,202],"bugs.":[115],"In":[116],"this":[117],"paper,":[118],"we":[119,148],"present":[120],"first":[122],"empirical":[123,171],"in":[129,141,162,198],"torch.compile,":[130],"examine":[131],"their":[132],"characteristics,":[133],"assess":[135],"effectiveness":[137],"existing":[139,178],"fuzzers":[140],"detecting":[142,159],"them.":[143],"Based":[144],"on":[145],"our":[146,170,230],"findings,":[147],"propose":[149],"proof-of-concept":[151],"testing":[152],"technique":[153],"named":[154],"AlignGuard,":[155],"tailored":[156],"torch.compile.":[163,200],"AlignGuard":[164,190],"incorporates":[165],"characteristics":[167],"distilled":[168],"study,":[172],"applying":[173],"LLM-based":[174],"test":[175,179],"mutation":[176],"cases":[180],"detection.":[184],"At":[185],"time":[187],"writing,":[189],"successfully":[192],"detected":[193],"23":[194],"new":[195],"recent":[199],"All":[201],"have":[204],"confirmed":[206],"fixed":[208],"development":[212],"team,":[213],"over":[215],"half":[216],"(14/23)":[217],"them":[219],"even":[221],"marked":[222],"as":[223],"underscoring":[226],"usefulness":[228],"technique.":[231]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-14T00:00:00"}