Guoliang Jin, Wei Zhang 0022, Dongdong Deng. Automated Concurrency-Bug Fixing. In Chandu Thekkath, Amin Vahdat, editors, 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, October 8-10, 2012. pages 221-236, USENIX Association, 2012. [doi]
@inproceedings{Jin0D12,
title = {Automated Concurrency-Bug Fixing},
author = {Guoliang Jin and Wei Zhang 0022 and Dongdong Deng},
year = {2012},
url = {https://www.usenix.org/conference/osdi12/technical-sessions/presentation/jin},
researchr = {https://researchr.org/publication/Jin0D12},
cites = {0},
citedby = {0},
pages = {221-236},
booktitle = {10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, October 8-10, 2012},
editor = {Chandu Thekkath and Amin Vahdat},
publisher = {USENIX Association},
isbn = {978-1-931971-96-6},
}