SPLASH 2026
Sun 4 - Fri 9 October 2026 Oakland, California, United States
co-located with SPLASH/ISSTA 2026
Tue 6 Oct 2026 10:30 - 10:48 at East Hall 1 - Fuzzing and Test Generation Chair(s): Michael Pradel

GPUs play an increasingly important role in modern software. However, the heterogeneous host-device execution model and expanding software stacks make GPU programs prone to memory-safety and concurrency bugs that evade static analysis. While fuzz-testing, combined with dynamic error checking tools, offers a plausible solution, it remains underutilized for GPUs. In this work, we identify three main obstacles limiting prior GPU fuzzing efforts: (1) kernel-level fuzzing leading to false positives, (2) lack of device-side coverage-guided feedback, and (3) incompatibility between coverage and sanitization tools. We present cuFuzz, the first CUDA-oriented fuzzer that makes GPU fuzzing practical by addressing these obstacles.

cuFuzz uses whole program fuzzing to avoid false positives from independently fuzzing device-side kernels. It leverages NVBit to instrument device-side instructions and merges the resultant coverage with compiler-based host coverage. Finally, cuFuzz decouples sanitization from coverage collection by executing host- and device-side sanitizers in separate processes. cuFuzz uncovers 43 previously unknown bugs (19 in commercial libraries) across 14 CUDA programs, including illegal memory accesses, uninitialized reads, and data races. cuFuzz achieves significantly more discovered edges and unique inputs compared to baseline approaches, especially on closed-source targets. Moreover, we quantify the execution time overheads of the different cuFuzz components and add persistent-mode support to improve the overall fuzzing throughput. Our results demonstrate that cuFuzz is an effective and deployable addition to the GPU testing toolbox. cuFuzz is publicly available at https://github.com/NVlabs/cuFuzz/.

Tue 6 Oct

Displayed time zone: Pacific Time (US & Canada) change

10:30 - 12:00
Fuzzing and Test GenerationOOPSLA at East Hall 1
Chair(s): Michael Pradel CISPA Helmholtz Center for Information Security
10:30
18m
Talk
Hunting CUDA Bugs at Scale with cuFuzz
OOPSLA
Mohamed Tarek Ibn Ziad NVIDIA, Christos Kozyrakis NVIDIA; Stanford University
Link to publication DOI Pre-print Media Attached
10:48
18m
Talk
RandSet: Randomized Corpus Reduction for Fuzzing Seed Scheduling
OOPSLA
Yuchong Xie Hong Kong University of Science and Technology, Kaikai Zhang Hong Kong University of Science and Technology, Yu Liu Fudan University, Rundong Yang Fudan University, Ping Chen Fudan University, Shuai Wang Hong Kong University of Science and Technology, Dongdong She Hong Kong University of Science and Technology
DOI
11:06
18m
Talk
Metamorphic Testing for Infrastructure-as-Code Engines
OOPSLA
David Spielmann University of St. Gallen, George Zakhour University of St. Gallen, Dominik Arnold University of Zurich, Matteo Biagiola USI Lugano; University of St. Gallen, Roland Meier armasuisse, Guido Salvaneschi University of St. Gallen
Link to publication DOI Pre-print
11:24
18m
Talk
Prunario: Testing Autonomous Driving Systems by Pruning Likely Redundant Scenarios
OOPSLA
Minsu Kim Korea University, Sunbeom So Korea University, Hakjoo Oh Korea University
DOI
11:42
18m
Talk
OBsmith: LLM-Powered JavaScript Obfuscator Testing
OOPSLA
Shan Jiang University of Texas at Austin, Chenguang Zhu University of Texas at Austin, Sarfraz Khurshid University of Texas at Austin
DOI File Attached