Task types for pervasive atomicity.

Aditya Kulkarni, Yu David Liu, Scott F. Smith

Browse the full OOPSLA paper archive.