A type and effect system for atomicity (2003)

by Cormac Flanagan, Shaz Qadeer
Venue:In 24th ACM Conference on Programming Language Design and Implementation (PLDI