TY  - RPRT
TI  - Evaluating Exact Output and Checkpoint-State Prediction in Real Programs
AU  - Xiaohong Chen
AU  - David Bucur
AU  - Chenglong Ma
AU  - Yi Zhang
AU  - Lingming Zhang
AU  - Sriram Vishwanath
AU  - Grigore Rosu
PY  - 2026
UR  - https://arxiv.org/abs/2610.11889
ID  - 2610.11889
ER  -