Autolocker: Synchronization Inference for Atomic Sections (2006)

by Bill Mccloskey , Feng Zhou , David Gay , Eric Brewer
Venue:In POPL
Citations:72 - 2 self