paperbot · PL 论文追踪

全部论文 待读 收藏

P1 Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run-Time

Comfrey:在运行时缓解 LLM 使能软件中的集成失效
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 5/10 · 论文关注 LLM 使能软件(含 Agent 和 RAG)的集成失效,属于 Agentic 程序正确性保障问题,与用户 PL→AI 方向有交集;但方法为运行时缓解而非静态分析,且不涉及浮点或贝叶斯程序分析,因此匹配度中等。引用 2 inbox
Yuchen Shao, Yuheng Huang, Jiazhen Zou, Yuling Shi, Long Yang, Lei Ma, Ting Su, Chengcheng Wan
crossref: 2026-09-12

AI 速览

一句话:提出 Comfrey,在运行时缓解 LLM 使能软件中由 LLM/RAG 输出与组件要求冲突引发的集成失效。

论文关注集成 LLM agent 与检索增强生成(RAG)的软件中广泛存在的集成失效问题。其根源在于 LLM 输出不受限制,而软件组件对其输入有严格要求;二者不匹配时,即便 LLM/RAG 的响应看似正确,也可能触发软件的错误行为。针对这一问题,作者提出 Comfrey,目标是在运行时缓解此类集成失效。摘要仅给出问题定位与系统名称,未披露具体技术机制、实现细节以及评估方式与实验结果。

问题
LLM 输出不受约束而软件组件有严格要求,导致集成 LLM agent 与 RAG 的软件中集成失效普遍存在,甚至看似正确的响应也会引发软件错误行为。
方法
提出 Comfrey,在运行时对 LLM 使能软件中的集成失效进行缓解(摘要未给出具体技术路线与实现细节)。
评估
摘要未说明评估方式与结果。
原文摘要(Abstract)

Due to the unrestricted outputs of LLMs and strict requirements of software components, integration failures are widespread in software that incorporates LLM agents and retrieval-augmented generation (RAG). Even seemingly correct LLM/RAG responses can trigger software misbehaviors if they violate these requirements.

链接与引用

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

BibTeX
@inproceedings{paperbot11856,
  title = {Comfrey: Mitigating Integration Failures in LLM-enabled Software at Run-Time},
  author = {Yuchen Shao and Yuheng Huang and Jiazhen Zou and Yuling Shi and Long Yang and Lei Ma and Ting Su and Chengcheng Wan},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3787847}
}