@inproceedings{OSDI-2014-0001RB,
	author        = "Pedro Fonseca and Rodrigo Rodrigues and Björn B. Brandenburg",
	booktitle     = "{Proceedings of the 11th Symposium on Operating Systems Design and Implementation}",
	ee            = "https://www.usenix.org/conference/osdi14/technical-sessions/presentation/fonseca",
	pages         = "415--431",
	publisher     = "{USENIX Association}",
	title         = "{SKI: Exposing Kernel Concurrency Bugs through Systematic Schedule Exploration}",
	year          = 2014,
}