Visible to the public An Algorithmic Approach to Error Localization and Partial Re-computation for Low-Overhead Fault Tolerance.pdf