Nir Shavit
Dave Dice
Ori Shalev
Distributed Computing
Checkpoints and Continuations Instead of Nested Transactions