Flanagan, C., Qadeer, S.,
"A type and effect system for atomicity",
Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), San Diego, California USA, June 2003, ACM SIGPLAN, pp. 338-349.
abstract ;;Quote: use atomic methods to avoid unexpected thread interactions; race-detection is neither necessary nor sufficient
abstract+;;Quote: type system to verify atomic methods in multithreaded Java programs; based on rccjava and Lipton's reduction and type system for race-detection; found errors in java.lang.String and StringBuffer
340 ;;Quote: verify atomicity using Lipton's right and left movers; lock acquisition moves to the right while lock release moves left; atomic if acquisition and release move to start and end respectively