SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration

TitleSKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration
Publication TypeConference Paper
Year of Publication2014
AuthorsFonseca P, Rodrigues R, Brandenburg BB
Conference Name11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)
Date Published10/2014
PublisherUSENIX Association
Conference LocationBroomfield, CO
ISBN Number 978-1-931971-16-4
URLhttps://www.usenix.org/conference/osdi14/technical-sessions/presentation/fonseca