Inferring locks for atomic sections.

Sigmund Cherem Trishul M. Chilimbi Sumit Gulwani

Published in: PLDI (2008)

Keyphrases

concurrency control
data sets
machine learning
social networks
image segmentation
objective function
fine grained