Safe open-nested transactions through ownership.

Kunal Agrawal, I-Ting Angelina Lee, Jim Sukha

Browse the full PPoPP paper archive.