Featherweight transactions: decoupling threads and atomic blocks.

Virendra J. Marathe, Tim Harris, James R. Larus

Browse the full PPoPP paper archive.