A Parameterized Type System for Race-Free Java Programs (2001)

by Chandrasekhar Boyapati, Martin Rinard
Venue: ACM CONFERENCE ON OBJECT-ORIENTED PROGRAMMING, SYSTEMS, LANGUAGES AND APPLICATIONS (OOPSLA), OCTOBER 2001