@inproceedings {186192, author = {Pedro Fonseca and Rodrigo Rodrigues and Bj{\"o}rn B. Brandenburg}, title = {{SKI}: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration}, booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)}, year = {2014}, isbn = { 978-1-931971-16-4}, address = {Broomfield, CO}, pages = {415--431}, url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/fonseca}, publisher = {USENIX Association}, month = oct }