Programmer-directed partial redundancy for resilient HPC | Publicación