1. [1] Argonne Leadership Computing Facility. Mira log traces. https://reports.alcf.anl.gov/data/mira.html.
2. [4] Leonardo Bautista Gomez and Franck Cappello. Detecting silent data corruption through data dynamic monitoring for scientific applications. In PPoPP, 2014.
3. [19] M. R. Garey and D. S. Johnson. Computers and Intractability, a Guide to the Theory of NP-Completeness. W.H. Freeman and Company, 1979.
4. [21] Ashish Goel and Piotr Indyk. Stochastic load balancing and related problems. In Proceedings of the 40th Annual Symposium on Foundations of Computer Science (FOCS), 1999.
5. [22] Pierre-Louis Guhur, Hong Zhang, Tom Peterka, Emil Constantinescu, and Franck Cappello. Lightweight and accurate silent data corruption detection in ordinary differential equation solvers. In Euro-Par, 2016.