paperbot · PL 论文追踪

全部论文 待读 收藏

P0 Large Language Model-Aided Partial Program Dependence Analysis

大语言模型辅助的部分程序依赖分析
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 8/10 · 论文利用LLM辅助部分程序依赖分析,属于用户“AI→PL”方向(用LLM改进静态分析),与核心研究兴趣高度吻合;问题驱动(不完整代码上精度与召回的权衡),但未涉及浮点或贝叶斯程序分析,也未面向Agentic程序。引用 1 inbox
Xiaokai Rong, Aashish Yadavally, Tien N. Nguyen
crossref: 2026-09-12

AI 速览

一句话:提出利用大语言模型辅助部分程序依赖分析,缓解不完整代码片段上精度与召回率的权衡。

依赖分析在代码优化与调试中至关重要,但传统方法要求完整的源代码。实际开发中,StackOverflow 论坛或模块化开发常出现不完整或部分代码片段,缺失程序构造,使得依赖分析工具难以正确识别依赖。现有面向部分代码的依赖分析工具往往在精度与召回率之间面临权衡。本文提出利用大语言模型辅助部分程序依赖分析,借助 LLM 的能力处理不完整代码,以期缓解上述权衡。摘要未提供具体方法细节与实验评估结果。

问题
传统依赖分析依赖完整且语法语义正确的源代码,而实际中常遇到缺失构造的部分代码片段,导致现有工具在精度与召回率上难以兼顾。
方法
利用大语言模型辅助对部分代码进行程序依赖分析,以处理不完整代码片段中的依赖识别。
评估
摘要未给出具体评估设置与结果;从问题描述看,评估需关注部分代码上依赖分析的精度与召回率权衡。
原文摘要(Abstract)

Dependence analysis (DA) plays a critical role in software engineering, from code optimization to debugging. It is traditionally limited to scenarios where entire source code is available. In practice, however, developers often encounter incomplete or partial code snippets, as in StackOverflow (S/O) forums or during modular development, where program constructs are missing. This presents challenges for DA tools, which rely on syntactic and semantic correctness to correctly identify dependencies. Thus, existing DA tools for partial code often face trade-offs in precision and recall.

链接与引用

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

BibTeX
@inproceedings{paperbot11836,
  title = {Large Language Model-Aided Partial Program Dependence Analysis},
  author = {Xiaokai Rong and Aashish Yadavally and Tien N. Nguyen},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3773119}
}