Preprint
Oct 2026
Breaking the Coupling: Efficient Concurrency Fuzzing for Linux Kernel Data Race Detection
Detecting data races in the Linux kernel requires exploring both the input space and the thread-interleaving space. Existing kernel concurrency fuzzers couple these two searches by exploring interleavings during fuzzing, often spending substantial scheduling effort on inputs with little potential to trigger real races....
Cen Zhang, Jia-Ju Bai, Zi-Yu Zhang et al.
· 0 citations