Sishuai Gong, Deniz Altinbüken, Pedro Fonseca, Petros Maniatis. Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis. In Robbert van Renesse, Nickolai Zeldovich, editors, SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021. pages 66-83, ACM, 2021. [doi]
Abstract is missing.