Jin, Song, Zhang, Lu, and Liblit
Summary:
Automated Atomicity-Violation Fixing by Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit has been nominated as a SIGPLAN CACM Research Highlight.
Automated Atomicity-Violation Fixing by Guoliang Jin, Linhai Song, Wei Zhang, Shan Lu, and Ben Liblit has been nominated as a SIGPLAN CACM Research Highlight.