The following pages link to ACM Comm 2016 08 Toward Reliable Programming for Unreliable Hardware (Notes):