Cheng Wang Ho-Seop Kim Youfeng Wu Victor Ying Compiler-Managed Software-based Redundant Multi-Threading for Transient Fault Detection. 244-258 2007 conf/cgo/2007 CGO http://doi.ieeecomputersociety.org/10.1109/CGO.2007.7 db/conf/cgo/cgo2007.html#WangKWY07