Technical Perspective: Toward Reliable Programming for Unreliable Hardware

Communications of the ACM (CACM), 59(8): 82, August 2016.

A technical perspective on "Verifying Quantitative Reliability for Programs that Execute on Unreliable Hardware" by Carbin et al.