Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit. Automated atomicity-violation fixing. In Mary W. Hall, David A. Padua, editors, Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011. pages 389-400, ACM, 2011. [doi]
Abstract is missing.