paperbot · PL 论文追踪

全部论文 待读 收藏

P0 AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI

AgenticTyper:使用智能体 AI 对遗留软件项目进行自动类型标注
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 8/10 · 论文属于‘AI→PL’方向,用 LLM Agent 自动为大型遗留 JS 项目补类型,涉及类型推断/检查等静态分析任务,并给出工业仓库的落地评估,与用户对 Agent 改进静态分析、工业案例的兴趣高度契合。但任务偏具体工程化类型标注,未涉及形式化验证或浮点/贝叶斯程序分析,故非正中核心。引用 2 inbox
Clemens Pohle
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出基于 LLM 智能体的自动化类型标注系统,通过迭代纠错与转译对比保持行为,20 分钟解决 633 个类型错误。

遗留 JavaScript 系统缺乏类型安全,维护风险高;虽然 TypeScript 可提供帮助,但人工添加类型成本昂贵。已有自动类型标注研究多聚焦类型推断,很少涉及类型检查环境搭建、定义生成、缺陷识别以及仓库规模下的行为正确性。本文提出 AgenticTyper,一个基于大语言模型(LLM)的智能体系统,通过迭代错误纠正以及基于转译对比的行为保持机制来填补上述空白。作者在两个专有仓库(共 81K 行代码)上评估系统:AgenticTyper 在 20 分钟内解决了全部 633 个初始类型错误,将原本需要约一个工作日的人工投入大幅降低。

问题
遗留 JavaScript 项目缺少类型安全,人工引入 TypeScript 类型代价高昂,而现有自动类型推断工作很少覆盖类型检查配置、定义生成、缺陷发现与仓库级行为正确性。
方法
提出基于 LLM 的智能体系统 AgenticTyper,采用迭代错误纠正,并通过转译对比来验证和保持程序行为不变。
评估
在两个专有仓库(共 81K 行代码)上进行评估,系统在 20 分钟内解决了全部 633 个初始类型错误,将人工工作量从约一个工作日显著降低。
原文摘要(Abstract)

Legacy JavaScript systems lack type safety, making maintenance risky. While TypeScript can help, manually adding types is expensive. Previous automated typing research focuses on type inference but rarely addresses type checking setup, definition generation, bug identification, or behavioral correctness at repository scale. We present AgenticTyper, a Large Language Model (LLM)-based agentic system that addresses these gaps through iterative error correction and behavior preservation via transpilation comparison. Evaluation on two proprietary repositories (81K LOC) shows that AgenticTyper resolves all 633 initial type errors in 20 minutes, reducing manual effort from one working day.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@inproceedings{abs-2602-21251,
  title = {AgenticTyper: Automated Typing of Legacy Software Projects Using Agentic AI},
  author = {Clemens Pohle},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3774748.3787746}
}