Phoenix uses a multi-agent LLM workflow to build SBIRs from code context and bug summaries for static detection of tensor-related bugs in DL frameworks, reporting 31 new PyTorch bugs with 20 merged fixes.
Enhancing static analysis for practical bug detection: An llm-integrated approach.Pro- ceedings of the ACM on Programming Languages, 8(OOPSLA1):474– 499, 2024
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Rise From The Ashes: LLM-based Static Analysis for Deep Learning Framework Bugs
Phoenix uses a multi-agent LLM workflow to build SBIRs from code context and bug summaries for static detection of tensor-related bugs in DL frameworks, reporting 31 new PyTorch bugs with 20 merged fixes.