paperbot · PL 论文追踪

全部论文 待读 收藏

P2 A comprehensive study of deep learning compiler bugs

深度学习编译器缺陷的综合研究
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 4/10 · 论文是深度学习编译器缺陷的大规模实证研究,与“机器学习系统/编译器”这一 PL→AI 应用场景有间接关联,可能为静态分析提供缺陷模式参考。但它本身不是静态分析技术,也不涉及 LLM/Agent、浮点程序分析或贝叶斯程序分析等核心方向,匹配度有限。引用 118 inbox
Qingchao Shen, Haoyang Ma, Junjie Chen, Yongqiang Tian, Shing-Chi Cheung, Xiang Chen
crossref: 2026-09-12

AI 速览

一句话:对深度学习编译器缺陷进行大规模实证研究,揭示其与传统编译器缺陷的异同。

深度学习(DL)编译器被越来越多地用于生成优化代码,以提升 DL 模型在特定硬件上的运行时性能。然而,与传统编译器一样,DL 编译器也可能生成不正确的代码,导致模型行为异常,在关键任务系统中可能造成灾难性后果。另一方面,DL 编译器处理的 DL 模型与传统命令式程序有本质区别:DL 模型中的程序逻辑是隐式的。因此,传统编译器的缺陷特征需要在 DL 编译器背景下重新审视。本文对 DL 编译器缺陷进行了全面研究,旨在揭示其特性,并探讨这些特性与传统编译器缺陷的差异。

问题
深度学习编译器可能生成错误代码,且其处理的模型逻辑隐式,因此传统编译器的缺陷特征需要重新审视。
方法
对深度学习编译器的缺陷进行全面实证研究,系统性地分析缺陷的特征。
评估
通过综合研究缺陷数据,刻画 DL 编译器缺陷的特性,并与传统编译器缺陷进行对比。
原文摘要(Abstract)

There are increasing uses of deep learning (DL) compilers to generate optimized code, boosting the runtime performance of DL models on specific hardware. Like their traditional counterparts, DL compilers can generate incorrect code, resulting in unexpected model behaviors that may cause catastrophic consequences in mission-critical systems. On the other hand, the DL models processed by DL compilers differ fundamentally from imperative programs in that the program logic in DL models is implicit. As such, various characteristics of the bugs arising from traditional compilers need to be revisited in the context of DL compilers.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot6347,
  title = {A comprehensive study of deep learning compiler bugs},
  author = {Qingchao Shen and Haoyang Ma and Junjie Chen and Yongqiang Tian and Shing-Chi Cheung and Xiang Chen},
  booktitle = {FSE},
  year = {2021},
  doi = {10.1145/3468264.3468591}
}