Stabilizers: a modular checkpointing abstraction for concurrent functional programs