@inproceedings{jin2012automated, title = {Automated concurrency-bug fixing}, author = {Jin, Guoliang and Zhang, Wei and Deng, Dongdong and Liblit, Ben and Lu, Shan}, booktitle = {Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation}, pages = {221--246}, year = {2012} }