Havens: Explicit reliable memory regions for HPC applications | IEEE Conference Publication | IEEE Xplore