Time Study
gemdiff
The Java Memory Model and Simulator Jeremy Manson, William Pugh Univ. of Maryland, College Park.
Precise Dynamic Data-Race Detection At The Right Abstraction Level