Autolocker: synchronization inference for atomic sections.

Bill McCloskey, Feng Zhou, David Gay, Eric A. Brewer

Browse the full POPL paper archive.