Snowboard: Finding Kernel Concurrency Bugs through Systematic Inter-thread Communication Analysis.

Sishuai Gong, Deniz Altinbken, Pedro Fonseca, Petros Maniatis

Browse the full SOSP paper archive.