Automatic scalable atomicity via semantic locking.

Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv, Eran Yahav

Browse the full PPoPP paper archive.