98 citations · 98 across the 1 of their papers we have counts for
1 paper · 1 filter
Cen Zhang, Jia-Ju Bai, Zi-Yu Zhang +1
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…