Guava: a dialect of Java without data races.

David F. Bacon, Robert E. Strom, Ashis Tarafdar

Browse the full OOPSLA paper archive.