2 papers
cs.CR2025
A Survey of Operating System Kernel Fuzzing
Jiacheng Xu, He Sun, Shihao Jiang +8
The Operating System (OS) kernel is foundational in modern computing, especially with the proliferation of diverse computing devices. However, its development also comes with vulne…
cs.OS2025
Concurrency Testing in the Linux Kernel via eBPF
Jiacheng Xu, Dylan Wolff, Xing Yi Han +2
Concurrency is indispensable for modern software systems to meet performance and scalability demands, yet concurrency bugs remain notoriously difficult to detect and reproduce. Con…