Pedro Fonseca 0001, Rodrigo Rodrigues, Björn B. Brandenburg. SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration. In Jason Flinn, Hank Levy, editors, 11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14, Broomfield, CO, USA, October 6-8, 2014. pages 415-431, USENIX Association, 2014. [doi]
Abstract is missing.