Autolocker: synchronization inference for atomic sections (2006)

by B McCloskey, F Zhou, D Gay, E Brewer
Venue:In POPL