@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} }