Type-based Race Detection for Java (2000)

by C Flanagan, S Freund
Venue:In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI