Type-based race detection for Java

by Cormac Flanagan, Stephen N. Freund
Venue:IN PROCEEDINGS OF THE SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION