A parameterized type system for race-free Java programs (2001)

by C Boyapati, M Rinard
Venue:In OOPSLA