@inproceedings{OSDI-2012-Jin0D,
	author        = "Guoliang Jin and Wei Zhang and Dongdong Deng",
	booktitle     = "{Proceedings of the 10th Symposium on Operating Systems Design and Implementation}",
	ee            = "https://www.usenix.org/conference/osdi12/technical-sessions/presentation/jin",
	isbn          = "978-1-931971-96-6",
	pages         = "221--236",
	publisher     = "{USENIX Association}",
	title         = "{Automated Concurrency-Bug Fixing}",
	year          = 2012,
}