CHECKPOINT ALLOCATION IN A SPECULATIVE PROCESSOR | AMiner