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]
@inproceedings{0001RB14,
title = {SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration},
author = {Pedro Fonseca 0001 and Rodrigo Rodrigues and Björn B. Brandenburg},
year = {2014},
url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/fonseca},
researchr = {https://researchr.org/publication/0001RB14},
cites = {0},
citedby = {0},
pages = {415-431},
booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation, OSDI '14, Broomfield, CO, USA, October 6-8, 2014},
editor = {Jason Flinn and Hank Levy},
publisher = {USENIX Association},
}