Stabilizers: a modular checkpointing abstraction for concurrent functional programs.

Lukasz Ziarek, Philip Schatz, Suresh Jagannathan

Browse the full ICFP paper archive.