Types for precise thread interference (2011)

by Jaeheon Yi, Tim Disney, Stephen N Freund, Cormac Flanagan