Type-based race detection for Java (2000)

by C Flanagan, S N Freund
Venue:in Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI