T Han, X Gong, J Liu - 33rd USENIX Security Symposium (USENIX …, 2024 - usenix.org
Concurrency bugs in the Linux kernel are notoriously difficult to reproduce and debug due to
their non-deterministic nature. While they bring constant headaches to Linux kernel …