Computation checkpointing and migration | lit.salon