2 papers
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…
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…