Autolocker: Synchronization Inference for Atomic Sections (2006)

by Bill Mccloskey, Feng Zhou, David Gay, Eric Brewer
Venue:In POPL