paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Execution-Aware Code Documentation through Semantic Data Differences

通过语义数据差异实现执行感知的代码文档
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 4/10 · 论文将静态分析与执行后语义结合,用于数据笔记本的代码文档生成,与程序分析/程序理解有方法交集;但它不涉及用户核心关注的 ML/Agentic 程序静态分析、LLM/Agent 改进静态分析、浮点或贝叶斯程序分析,也未以 LLM/Agent 为主要工具。引用 0 inbox
Giacomo Fantino
crossref: 2026-09-12

AI 速览

一句话:提出语义数据差异这一符号表示,结合静态分析与执行后语义,生成能说明代码对数据做了什么感知运行的文档。

随着 AI 辅助软件工程工具进入软件生命周期,自动代码文档日益重要。然而现有方法大多只利用代码的静态特征,忽视了其动态行为,在数据密集型编程环境中尤为突出——这类代码的含义与它对数据的影响紧密相关。本文提出通过「语义数据差异」(semantic data differences)来实现执行感知的代码文档:这是一种结构化的符号表示,刻画代码执行如何变换数据,从而把代码理解从语法与词法特征扩展到运行时语义。作者提出一个多模态建模框架,将静态代码分析与执行后语义结合起来,并设计了一条数据采集流水线:执行真实世界的数据密集型 notebook,记录变量级变化,并将其抽象为语义数据差异文法,用于训练与评估。该博士研究尚在进行中,目标是让文档系统不仅描述代码怎么写,也描述代码对数据做了什么,从而推动更透明、可复现、智能的数据中心软件。

问题
现有自动代码文档方法主要依赖静态代码特征,忽略动态行为;在数据密集型编程环境(如 notebook)中,代码含义取决于其对数据的影响,静态视角不足。
方法
引入「语义数据差异」作为代码执行如何变换数据的结构化符号表示,并提出结合静态代码分析与执行后语义的多模态建模框架,配套设计执行真实 notebook、记录变量级变化并抽象为语义数据差异文法的数据采集流水线。
评估
通过执行真实世界的数据密集型 notebook、记录变量级变化并抽象为语义数据差异文法,构建用于训练与评估的数据集;该评估方案处于进行中的博士研究阶段。
原文摘要(Abstract)

Automated code documentation has gained increasing importance as AI-assisted software engineering tools become integrated into the software lifecycle. However, most approaches rely solely on static features of code, overlooking its dynamic behavior—particularly in data-centric programming environments where code meaning is deeply tied to its effect on data. This research explores how execution-aware code documentation can be achieved by introducing semantic data differences, a structured symbolic representation of how code execution transforms data. By capturing these runtime semantics, this work aims to extend code understanding beyond syntax and lexical features. I propose a multimodal modeling framework that combines static code analysis with post-execution semantics. In support of this framework, I design a data collection pipeline that executes real-world data-centric notebooks, logs variable-level changes, and abstracts them into a grammar of semantic data differences for training and evaluation. This ongoing doctoral research aims to enable documentation systems that describe not only how code is written, but also what code does to data—a step toward more transparent, reproducible, and intelligent data-centric software.

链接与引用

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

BibTeX
@inproceedings{paperbot11595,
  title = {Execution-Aware Code Documentation through Semantic Data Differences},
  author = {Giacomo Fantino},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3774748.3787660}
}