paperbot · PL 论文追踪

全部论文 待读 收藏

P2 HeteroFuzz: fuzz testing to detect platform dependent divergence for heterogeneous applications

HeteroFuzz:模糊测试检测异构应用的平台相关分歧
FSE Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering2021匹配度 2/10 · 该论文聚焦于异构应用(FPGA)的模糊测试以检测平台相关分歧,属于软件测试与硬件体系结构方向;而用户研究方向是PL与AI/LLM的交叉、浮点程序分析、贝叶斯程序分析,未涉及LLM或静态分析,因此匹配度低。引用 16 inbox
Qian Zhang, Jiyuan Wang, Miryung Kim
crossref: 2026-09-12

AI 速览

一句话:提出 HeteroFuzz,用模糊测试检测异构应用中由硬件综合细节导致的平台相关行为分歧。

随着 FPGA 等专用硬件加速器普及,异构应用日益增多,尤其在机器学习和边缘 IoT 系统中。此类应用外观类似普通 C/C++ 代码,却通过预处理指令嵌入硬件综合细节,因此在异构架构上的行为可能相较 CPU 显著分歧,而现有调试与测试方法不足。HeteroFuzz 针对该问题,提出利用模糊测试检测平台相关分歧。其核心挑战在于编译与硬件仿真周期极长,难以支持模糊测试所需的频繁调用。摘要主要阐述问题与动机,未给出具体评估结果。

问题
异构应用因硬件综合细节在异构架构与 CPU 间可能产生平台相关行为分歧,而现有调试与测试方法不足。
方法
提出 HeteroFuzz,采用模糊测试来检测此类平台相关分歧,并需应对编译与硬件仿真周期过长的问题。
评估
摘要未报告具体评估方式或结果;仅指出编译与硬件仿真周期耗时巨大,限制模糊测试频繁调用。
原文摘要(Abstract)

As specialized hardware accelerators like FPGAs become a prominent part of the current computing landscape, software applications are increasingly constructed to leverage heterogeneous architectures. Such a trend is already happening in the domain of machine learning and Internet-of-Things (IoT) systems built on edge devices. Yet, debugging and testing methods for heterogeneous applications are currently lacking. These applications may look similar to regular C/C++ code but include hardware synthesis details in terms of preprocessor directives. Therefore, their behavior under heterogeneous architectures may diverge significantly from CPU due to hardware synthesis details. Further, the compilation and hardware simulation cycle takes an enormous amount of time, prohibiting frequent invocations required for fuzz testing.

链接与引用

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

BibTeX
@inproceedings{paperbot6430,
  title = {HeteroFuzz: fuzz testing to detect platform dependent divergence for heterogeneous applications},
  author = {Qian Zhang and Jiyuan Wang and Miryung Kim},
  booktitle = {FSE},
  year = {2021},
  doi = {10.1145/3468264.3468610}
}