SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

Fonseca, Pedro and Rodrigues, Rodrigo and Brandenburg, Björn B.
(2014) SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration.
In: Proc. of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14).
Conference: OSDI - Usenix Symposium on Operating Systems Design and Implementation

[img] Text
fonseca - Published Version

Download (72kB)

Actions

Actions (login required)

View Item View Item