paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Polymer: Development Workflows as Software

Polymer:将开发工作流作为软件
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10 · 该论文聚焦用 LLM 将开发工作流编写为软件并落地于沃尔沃自动化测试,属于 LLM 辅助软件工程的工业案例,与用户核心方向(ML/Agentic 程序的静态分析、浮点与贝叶斯程序分析、LLM 改进形式化验证)基本不相关,仅在“LLM+PL 交叉”和工业落地兴趣点上略有交集。引用 0 inbox
Dhasarathy Parthasarathy, Yinan Yu, Earl T. Barr
crossref: 2026-09-12

AI 速览

一句话:提出 Polymer 配方,用 LLM 把开发工作流写成软件以自动化开发早期阶段,在沃尔沃自动化测试中节省 2–3 个 FTE。

软件开发旨在自动化流程,但其从启动到部署的早期阶段仍以人工为主。原因有二:开发任务常欠规约;任务之间的转换又往往需要人工“翻译器”。二者相互强化:无法衔接时规约无意义,而写翻译器又需要规约。作者指出 LLM 改变了这一成本方程——它既能处理欠规约的系统,又擅长翻译,可作为“万能钥匙”自动打通此前成本过高而难以互连的任务与转换。据此论文提出 polymer(将开发工作流写成软件)这一配方,以进一步自动化开发早期阶段。作者报告在大型汽车制造商沃尔沃的落地:将 polymer 用于自动化测试,以约两个月的开发与部署成本节省 2–3 个 FTE,并给出 polymer 化工作流的开放挑战。

问题
软件开发的初期阶段(直至部署)仍大量依赖人工:开发任务往往欠规约,任务之间的衔接又通常需要人工“翻译器”,二者互为因果,导致自动化代价高昂。
方法
提出 polymer 配方,把开发工作流编写成软件,借助 LLM 能处理欠规约系统且擅长翻译的能力充当“万能钥匙”,自动连接原本难以互连的任务与转换。
评估
在大型汽车制造商沃尔沃落地实践:用 polymer 自动化测试,投入约两个月完成开发与部署,节省 2–3 个全职人力(FTE),并总结出 polymer 化开发工作流的开放挑战。
原文摘要(Abstract)

Software development builds digital tools to automate processes, yet its initial phases, up to deployment, remain largely manual. There are two reasons: Development tasks are often under-specified and transitions between tasks usually require a translator. These reasons are mutually reinforcing: it makes little sense to specify tasks when you cannot connect them and writing a translator requires a specification. LLMs change this cost equation: they can handle under-specified systems and they excel at translation. Thus, they can act as skeleton keys that unlock the automation of tasks and transitions that were previously too expensive to automatically interlink. We introduce a recipe for writing development workflows as software (polymer) to further automate the initial phases of development. We show how adopting polymer at Volvo, a large automotive manufacturer, to automate testing saved 2–3 FTEs at the cost of two months to develop and deploy. We close with open challenges when polymerizing development workflows.

链接与引用

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

BibTeX
@inproceedings{paperbot9081,
  title = {Polymer: Development Workflows as Software},
  author = {Dhasarathy Parthasarathy and Yinan Yu and Earl T. Barr},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3728494}
}