@mastersthesis{landslide,
	author = {Blum, Ben},
	title = {Landslide: Systematic Dynamic Race Detection in Kernel Space},
	school = {Carnegie Mellon University},
	month = {May},
	year = {2012},
	address = {Pittsburgh, PA, USA},
	note = {CMU-CS-12-118},
}