Using likely program invariants to detect hardware errors.

Swarup Kumar Sahoo, Man-Lap Li, Pradeep Ramachandran, Sarita V. Adve, Vikram S. Adve, Yuanyuan Zhou

Browse the full DSN paper archive.