This work is based on the seminar titled 'Resiliency in Numerical Algorithm Design for
Extreme Scale Simulations' held March 1–6, 2020, at Schloss Dagstuhl, that was attended …

We provide a framework to analyze multi-level checkpointing protocols, by formally defining
a-level checkpointing pattern. We provide a first-order approximation to the optimal …

This paper provides a model and an analytical study of replication as a technique to cope
with silent errors, as well as a mixture of both silent and fail-stop errors on large-scale …

Abstract We focus on High Performance Computing (HPC) workflows whose dependency
graph forms a linear chain, and we extend single-level checkpointing in two important …

Many methods are available to detect silent errors in high-performance computing (HPC)
applications. Each method comes with a cost, a recall (fraction of all errors that are actually …

As applications move towards extreme scales, data-related challenges are becoming
significant concerns, and in-situ workflows based on data staging and in-situ/in-transit data …

Large-scale platforms currently experience errors from two different sources, namely fail-
stop errors (which interrupt the execution) and silent errors (which strike unnoticed and …

In multicore systems, a large portion of checkpoint time overhead can be hidden from the
execution critical path by resorting to a dedicated checkpointing thread run concurrently with …

This paper combines checkpointing and replication for the reliable execution of linear
workflows. While both methods have been studied separately, their combination has not yet …

This chapter describes a unified framework for the detection and correction of silent errors,
which constitute a major threat for scientific applications at extreme-scale. We first motivate …