Automated atomicity-violation fixing. (2011)

by G Jin, L Song, W Zhang, S Lu, B Liblit
Venue:In Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation, PLDI ’11,