paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters

深度学习中的互操作性:ONNX 模型转换器的用户调查与失败分析
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 4/10 · 该论文关注深度学习模型转换器(ONNX)的失败分析与用户调研,属于机器学习系统与编译/代码生成交叉方向,并具有工程落地视角;但未涉及用户核心关注的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,因此匹配度有限。引用 28 inbox
Purvish Jajal, Wenxin Jiang, Arav Tewari, Erik Kocinare, Joseph Woo, Anusha Sarraf, Yung-Hsiang Lu, George K. Thiruvathukal, James C. Davis
crossref: 2026-09-12

AI 速览

一句话:通过 92 名工程师问卷与 200 个 ONNX 缺陷分析,揭示 DL 模型转换器约 75% 的缺陷集中在节点转换阶段。

深度学习模型转换器负责在开发框架与运行时环境之间迁移模型,转换错误会损害模型质量并阻碍部署,但其失败特征此前并不清楚。本文对 ONNX 模型转换器的失败展开研究:首先对 92 名软件工程师进行问卷调查,了解 DL 互操作工具的使用场景与痛点;其次对 PyTorch 与 TensorFlow 生态中 200 个 ONNX 相关 issue 进行失败刻画;最后提出并检验两个关于失败结构性成因的假设。结果显示,转换器的节点转换阶段约占缺陷的 75%,33% 的报告失败与语义不正确的模型有关;语义错误的根因难以定位,但行为不一致的模型往往共享算子序列。作者据此呼吁让 DL 互操作软件更易维护、扩展与验证,并指出行为容差与架构覆盖度度量是未来值得研究的方向。

问题
深度学习模型转换器(如 ONNX)的失败特征未知,转换错误会破坏模型质量并中断部署,给互操作技术的使用带来风险。
方法
对 92 名软件工程师开展关于 DL 互操作工具、用例与痛点的问卷调查;对 PyTorch 和 TensorFlow 中 200 个 ONNX 相关 issue 进行失败刻画;提出并检验两个关于失败结构性成因的假设。
评估
通过问卷统计、issue 分类与假设检验,量化缺陷在转换器各阶段的分布,并测量语义不正确模型在报告失败中的占比及其算子序列特征。
原文摘要(Abstract)

Software engineers develop, fine-tune, and deploy deep learning (DL) models using a variety of development frameworks and runtime environments. DL model converters move models between frameworks and to runtime environments. Conversion errors compromise model quality and disrupt deployment. However, the failure characteristics of DL model converters are unknown, adding risk when using DL interoperability technologies. This paper analyzes failures in DL model converters. We survey software engineers about DL interoperability tools, use cases, and pain points (N=92). Then, we characterize failures in model converters associated with the main interoperability tool, ONNX (N=200 issues in PyTorch and TensorFlow). Finally, we formulate and test two hypotheses about structural causes for the failures we studied. We find that the node conversion stage of a model converter accounts for ∼75% of the defects and 33% of reported failure are related to semantically incorrect models. The cause of semantically incorrect models is elusive, but models with behaviour inconsistencies share operator sequences. Our results motivate future research on making DL interoperability software simpler to maintain, extend, and validate. Research into behavioural tolerances and architectural coverage metrics would be fruitful.

链接与引用

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

BibTeX
@inproceedings{paperbot8557,
  title = {Interoperability in Deep Learning: A User Survey and Failure Analysis of ONNX Model Converters},
  author = {Purvish Jajal and Wenxin Jiang and Arav Tewari and Erik Kocinare and Joseph Woo and Anusha Sarraf and Yung-Hsiang Lu and George K. Thiruvathukal and James C. Davis},
  booktitle = {ISSTA},
  year = {2024},
  doi = {10.1145/3650212.3680374}
}