Analyzing Mutable Checkpointing via Invariants. - Deepanker Aggarwal; Astrid Kiehn (FSEN, 2015)

A study of mutable checkpointing and related algorithms. - Astrid Kiehn; Deepanker Aggarwal (Sci. Comput. Program., 2018)