Autolocker: synchronization inference for atomic sections. (2006)

by B MCCLOSKEY, F ZHOU, D GAY, E BREWER
Venue:In POPL