SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

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]

Authors

Pedro Fonseca 0001

This author has not been identified. Look up 'Pedro Fonseca 0001' in Google

Rodrigo Rodrigues

This author has not been identified. Look up 'Rodrigo Rodrigues' in Google

Björn B. Brandenburg

This author has not been identified. Look up 'Björn B. Brandenburg' in Google