@inproceedings{cherem:inferring:pldi:2008,
  author	= {Cherem, Sigmund and Chilimbi, Trishul and Gulwani, Sumit},
  title		= {Inferring locks for atomic sections},
  booktitle	= {PLDI~'08: Proc. 2008 ACM SIGPLAN conference on Programming language design and implementation},
  urlpage	= {http://dx.doi.org/10.1145/1379022.1375619},
  pdf		= {http://www.cs.cornell.edu/w8/~siggi/getfile.php?pldi08.pdf},
  pages		= {304--315},
  year		= {2008},
  month		= {jun},
}