@incollection{mccloskey:autolocker:2006,
  author	= {McCloskey, Bill and Zhou, Feng and Gay, David and Brewer, Eric},
  title		= {Autolocker: Synchronization Inference for Atomic Sections},
  publisher	= {ACM Press},
  booktitle	= {Proc. 33rd ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages (POPL)},
  pages		= {346-358},
  month		= {Jan},
  year		= {2006},
  urlpage	= {http://doi.acm.org/10.1145/1111037.1111068}
}