BEC: Bit-Level Static Analysis for Reliability against Soft Errors.

Yousun Ko, Bernd Burgstaller

Browse the full CGO paper archive.