Thin locks: Featherweight synchronization for JavaD.F. BaconRavi Konuruet al.1998PLDI 1998Conference paper