Stabilizers: a modular checkpointing abstraction for concurrent functional programs. - Lukasz Ziarek; Philip Schatz; Suresh Jagannathan (ICFP, 2006)

Modular Checkpointing for Atomicity. - Lukasz Ziarek; Philip Schatz; Suresh Jagannathan (TV@FLoC, 2006)