Automatic Risk-based Selective Redundancy for Fault-tolerant Task-parallel HPC Applications | Publicación