Achieving Enhanced Performance Combining Checkpointing and Dynamic State Partitioning. - Henrique S. Goulart; João Trombeta; Álvaro Franco; Odorico M. Mendizabal (SBAC-PAD, 2023)