Autolocker: Synchronization inference for atomic sections (2006)

by Bill McCloskey, Feng Zhou, David Gay, Eric A Brewer
Venue:In Proc. of POPL