Accelerating the Simulation of Parallel Workloads using Loop-Bounded Checkpoints | Synapse