paperbot · PL 论文追踪

全部论文 待读 收藏

P1 BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques

BugsInDLLs:面向深度学习库测试技术系统评估的可复现缺陷数据库
ISSTA Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis2025匹配度 5/10 · 该论文构建深度学习库(JAX/TensorFlow/PyTorch)的可复现缺陷数据库,属于ML系统与PL交叉的测试/调试基础设施,对在ML系统上评估静态分析或缺陷检测技术有潜在参考价值;但它聚焦测试技术评估,不涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,与核心研究方向仅为间接相关。引用 2 inbox
M M Abid Naziri, Aman Kumar Singh, Benjamin Wu, Feiran (Alex) Qin, Saikat Dutta, Marcelo d'Amorim
crossref: 2026-09-12

AI 速览

一句话:构建覆盖JAX、TensorFlow、PyTorch的112个可复现缺陷环境数据库,支撑深度学习库测试技术评估。

深度学习库(如PyTorch、TensorFlow)是当前AI应用的基础构件,但与其他软件一样可能存在缺陷。尽管已有大量缺陷发现技术被提出,该领域却缺乏经过整理的可复现缺陷集合,导致这些技术难以得到可信的评估。本文提出BugsInDLLs,一个经过整理的、可复现的深度学习库缺陷数据库,以填补这一空白。构建此类数据库面临独特挑战,例如为复现特定GPU相关缺陷,需要安装特定CUDA版本的驱动等。该数据集当前包含112个可复现环境,覆盖JAX、TensorFlow和PyTorch三个主流深度学习库。该工作为系统评估深度学习库测试技术提供了基础设施。

问题
深度学习库缺陷发现技术众多,但缺乏经过整理、可复现的缺陷集合,使这些技术难以获得可信、可比的评估。
方法
构建BugsInDLLs数据库,收集并整理深度学习库中可复现的缺陷,并解决特定CUDA驱动安装等复现环境配置难题。
评估
以数据集规模与覆盖度作为评估,当前包含112个可复现环境,覆盖JAX、TensorFlow和PyTorch三个主流库,为后续测试技术评估提供基础。
原文摘要(Abstract)

AI-enabled applications are prolific today. Deep Learning (DL) libraries, such as PyTorch and Tensorflow, provide the building blocks for the AI components of these applications. As any piece of software, these libraries can be buggy. An impressive number of bug-finding techniques to address this problem have been proposed, but the lack of a curated set of reproducible bugs in DL libraries hinders credible evaluation of these techniques. We present BugsInDLLs, a database of curated reproducible bugs to fill that gap. Unique challenges exist in this context, such as installing drivers of specific CUDA versions to reproduce certain GPU-related bugs. Our dataset currently consists of 112 environments to reproduce bugs across three popular DL libraries, namely, JAX, Tensorflow, and PyTorch.

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot9602,
  title = {BugsInDLLs : A Database of Reproducible Bugs in Deep Learning Libraries to Enable Systematic Evaluation of Testing Techniques},
  author = {M M Abid Naziri and Aman Kumar Singh and Benjamin Wu and Feiran (Alex) Qin and Saikat Dutta and Marcelo d'Amorim},
  booktitle = {ISSTA},
  year = {2025},
  doi = {10.1145/3713081.3731739}
}