Merging checkpoints in an execute-ahead processor | AMiner