Inferring locks for atomic sections.

Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani

Browse the full PLDI paper archive.