"Inferring locks for atomic sections."

Sigmund Cherem, Trishul M. Chilimbi, Sumit Gulwani (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics