Type inference for atomicity. - Cormac Flanagan; Stephen N. Freund; Marina Lifshin (TLDI, 2005)

Types for atomicity: Static checking and inference for Java. - Cormac Flanagan; Stephen N. Freund; Marina Lifshin; Shaz Qadeer (ACM Trans. Program. Lang. Syst., 2008)