Programmer-guided reliability for extreme-scale applications. (September 2018)