A Parameterized Type System for Race-Free Java Programs.

Chandrasekhar Boyapati, Martin C. Rinard

Browse the full OOPSLA paper archive.