A type and effect system for atomicity.

Cormac Flanagan, Shaz Qadeer

Browse the full PLDI paper archive.