Type-based race detection for java (2000)

by C Flanagan, S Freund
Venue:In PLDI