{"id":"https://openalex.org/W7167018432","doi":"https://doi.org/10.48550/arxiv.2607.00555","title":"Rise From The Ashes: LLM-based Static Analysis for Deep Learning Framework Bugs","display_name":"Rise From The Ashes: LLM-based Static Analysis for Deep Learning Framework Bugs","publication_year":2026,"publication_date":"2026-07-01","ids":{"openalex":"https://openalex.org/W7167018432","doi":"https://doi.org/10.48550/arxiv.2607.00555"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.00555","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.00555","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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.2607.00555","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102816452","display_name":"Shaoyu Yang","orcid":"https://orcid.org/0009-0008-7651-8582"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Shaoyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058852174","display_name":"Haifeng Lin","orcid":"https://orcid.org/0000-0002-3835-6075"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Lin, Haifeng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139907512","display_name":"Chunrong Fang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Fang, Chunrong","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139925759","display_name":"Xiang Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Xiang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101437650","display_name":"Wenjie Cheng","orcid":"https://orcid.org/0000-0003-4093-7511"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cheng, Wei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139889317","display_name":"Jiawei Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Jiawei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139880075","display_name":"Yiyu Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yiyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139895579","display_name":"Hongyu Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Hongyu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5139938416","display_name":"Zhenyu Chen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chen, Zhenyu","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.8278999924659729,"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.8278999924659729,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.050200000405311584,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.028699999675154686,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/static-analysis","display_name":"Static analysis","score":0.8059999942779541},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.707099974155426},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.5924999713897705},{"id":"https://openalex.org/keywords/automatic-summarization","display_name":"Automatic summarization","score":0.54339998960495},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4803999960422516},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4796000123023987},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.47130000591278076},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.4659999907016754},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.46140000224113464}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8294000029563904},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.8059999942779541},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.707099974155426},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.5924999713897705},{"id":"https://openalex.org/C170858558","wikidata":"https://www.wikidata.org/wiki/Q1394144","display_name":"Automatic summarization","level":2,"score":0.54339998960495},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5371000170707703},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5127999782562256},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4803999960422516},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4796000123023987},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.47130000591278076},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.4659999907016754},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.46140000224113464},{"id":"https://openalex.org/C100776233","wikidata":"https://www.wikidata.org/wiki/Q2532492","display_name":"Bridge (graph theory)","level":2,"score":0.4284999966621399},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4146000146865845},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.39959999918937683},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.3815999925136566},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.38019999861717224},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.3619000017642975},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3407999873161316},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.32499998807907104},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.32190001010894775},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.3028999865055084},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.2969000041484833},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.2939999997615814},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.2935999929904938},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2786000072956085},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.27730000019073486},{"id":"https://openalex.org/C51929080","wikidata":"https://www.wikidata.org/wiki/Q2425187","display_name":"Codebase","level":3,"score":0.27070000767707825},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.26820001006126404},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.2662000060081482}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.00555","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.00555","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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.2607.00555","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.00555","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":[{"score":0.6455807685852051,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Deep":[0],"learning":[1],"(DL)":[2],"frameworks":[3,68,100],"are":[4,22],"critical":[5],"AI":[6],"infrastructures":[7],"that":[8,94,117,191],"often":[9],"hide":[10],"bugs":[11,48,123,213],"with":[12,105],"serious":[13],"security":[14],"implications.":[15],"While":[16],"dynamic":[17,198],"approaches":[18],"such":[19],"as":[20,109],"fuzzing":[21],"effective":[23],"in":[24,98,124,214],"uncovering":[25],"these":[26],"bugs,":[27],"they":[28],"require":[29],"real":[30,211],"test":[31],"execution":[32],"and":[33,54,74,147,164,184,225],"incur":[34],"high":[35],"computational":[36],"costs.":[37],"Static":[38],"analysis":[39,65,85,177],"is":[40,59,93,179,193],"a":[41,110,133,165,194],"natural":[42],"complement":[43,196],"because":[44],"it":[45],"can":[46,101,119],"detect":[47],"without":[49],"runtime":[50],"execution,":[51],"offering":[52],"fast":[53],"scalable":[55],"testing.":[56],"Unfortunately,":[57],"there":[58],"still":[60],"limited":[61],"work":[62],"targeting":[63],"static":[64,84],"for":[66,87,121,161,202,216],"DL":[67,88,99,199],"due":[69],"to":[70,181,197],"their":[71],"multilingual":[72],"architectures":[73],"tensor-related":[75],"program":[76],"state.":[77],"We":[78,128],"present":[79],"Phoenix,":[80],"the":[81,172],"first":[82,139],"LLM-based":[83],"technique":[86],"frameworks.":[89],"Our":[90,188],"key":[91],"insight":[92,131],"cross-language":[95],"tensor":[96,125],"flows":[97],"be":[102],"modeled,":[103],"together":[104],"concrete":[106],"code":[107,162],"context,":[108],"structured":[111],"semantic":[112,126],"bridge":[113],"intermediate":[114],"representation":[115],"(SBIR)":[116],"LLMs":[118],"analyze":[120],"potential":[122,186],"propagation.":[127],"implement":[129],"this":[130],"through":[132],"multi-agent":[134],"workflow.":[135],"A":[136],"summarization":[137],"agent":[138,156,167,178],"distills":[140],"bug":[141,203],"summaries":[142],"from":[143,171],"historical":[144],"bug-fix":[145],"patches":[146,233],"CWE":[148],"rules.":[149],"Guided":[150],"by":[151],"each":[152],"summary,":[153],"an":[154,176],"extraction":[155],"identifies":[157],"bug-relevant":[158],"repository":[159],"symbols":[160],"retrieval,":[163],"generation":[166],"synthesizes":[168],"grounded":[169],"SBIRs":[170,183],"retrieved":[173],"context.":[174],"Finally,":[175],"leveraged":[180],"check":[182],"report":[185],"bugs.":[187],"evaluation":[189],"shows":[190],"Phoenix":[192,207],"practical":[195],"framework":[200],"testing":[201],"finding.":[204],"To":[205],"date,":[206],"has":[208],"found":[209],"31":[210],"new":[212],"PyTorch":[215],"different":[217],"heterogeneous":[218],"hardware":[219],"backends":[220],"(Intel":[221],"CPU,":[222],"NVIDIA":[223],"CUDA,":[224],"Apple":[226],"MPS).":[227],"Among":[228],"them,":[229],"20":[230],"submitted":[231],"bug-fixing":[232],"have":[234],"been":[235],"merged":[236],"into":[237],"upstream.":[238]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-03T00:00:00"}