Inferring locks for atomic sections (2008)

by S Cherem, T Chilimbi, S Gulwani
Venue:In PLDI ’08