paperbot · PL 论文追踪

全部论文 待读 收藏

P1 TAAF: A Trace Abstraction and Analysis Framework Synergizing Knowledge Graphs and LLMs

TAAF:一个协同知识图谱与大语言模型的轨迹抽象与分析框架
ICSE Proceedings of the 2026 IEEE/ACM 48th International Conference on Software Engineering2026匹配度 5/10 · 论文将知识图谱与LLM结合用于执行轨迹分析,属于程序分析(动态分析)与LLM交叉,但并非用户核心关注的静态分析/形式化验证,也未涉及浮点或贝叶斯程序分析,因此匹配度中等。引用 1 inbox
Alireza Ezaz, Ghazal Khodabandeh, Majid Babaei, Naser Ezzati-Jivan
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:提出TAAF,用时间索引知识图谱与大语言模型把海量执行轨迹转为可自然语言查询的洞察,并发布TraceQA-100基准。

执行轨迹对复杂系统理解、调试与优化至关重要,但内核及 Chrome/MySQL 等大规模轨迹庞大难析;现有工具依赖预定义分析,定制洞察常需写脚本,耗时易错。TAAF 融合时间索引、知识图谱与 LLM:从轨迹事件构建时间索引 KG,捕捉线程、CPU、系统资源等实体关系;再由 LLM 解释查询相关子图,用自然语言回答问题,减少人工检查与专家知识依赖。为评估,作者提出基于真实内核轨迹的 TraceQA-100 基准;在三个 LLM 与多种时序设置下,TAAF 答案准确率最高提升 31.2%,尤其改善多跳与因果推理,并讨论图谱推理的助益与局限。

问题
大规模执行轨迹难以分析,现有工具依赖预定义分析,获取定制洞察常需编写领域脚本,耗时且易错。
方法
TAAF 从轨迹事件构建时间索引知识图谱,捕捉线程、CPU 与系统资源等关系,并让 LLM 解释查询相关子图,以自然语言回答分析问题。
评估
作者提出基于真实内核轨迹的 TraceQA-100 基准,在三个 LLM 和多种时序设置下评测,答案准确率最高提升 31.2%,尤其利于多跳与因果推理。
原文摘要(Abstract)

Execution traces are a critical source of information for understanding, debugging, and optimizing complex software systems. However, traces from OS kernels or large-scale applications like Chrome or MySQL are massive and difficult to analyze. Existing tools rely on predefined analyses, and custom insights often require writing domain-specific scripts, which is an error-prone and time-consuming task. This paper introduces TAAF (Trace Abstraction and Analysis Framework), a novel approach that combines time-indexing, knowledge graphs (KGs), and large language models (LLMs) to transform raw trace data into actionable insights. TAAF constructs a time-indexed KG from trace events to capture relationships among entities such as threads, CPUs, and system resources. An LLM then interprets query-specific subgraphs to answer natural-language questions, reducing the need for manual inspection and deep system expertise. To evaluate TAAF, we introduce TraceQA-100, a benchmark of 100 questions grounded in real kernel traces. Experiments across three LLMs and multiple temporal settings show that TAAF improves answer accuracy by up to 31.2%, particularly in multi-hop and causal reasoning tasks. We further analyze where graph-grounded reasoning helps and where limitations remain, offering a foundation for next-generation trace analysis tool.

链接与引用

DOI 原文 · arXiv · DBLP

BibTeX
@inproceedings{abs-2601-02632,
  title = {TAAF: A Trace Abstraction and Analysis Framework Synergizing Knowledge Graphs and LLMs},
  author = {Alireza Ezaz and Ghazal Khodabandeh and Majid Babaei and Naser Ezzati-Jivan},
  booktitle = {ICSE},
  year = {2026},
  doi = {10.1145/3744916.3787832}
}