Types for Safe Locking: Static Race Detection for Java”. (2006)

by M Abadi, C Flanagan, S N Freund
Venue:ACM Transactions on Programming Languages and Systems,