SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration.

Pedro Fonseca, Rodrigo Rodrigues, Bjrn B. Brandenburg

Browse the full OSDI paper archive.