Checkpoint for asplos