Thin Locks: Featherweight Synchronization for Java.

David F. Bacon, Ravi B. Konuru, Chet Murthy, Mauricio J. Serrano

Browse the full PLDI paper archive.