Automated atomicity-violation fixing.

Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, Ben Liblit

Browse the full PLDI paper archive.