Paper

QAM: Quadratic-Accurate Checkpoint Merging via Sequential Consistency · ByteTrail