"Compiler-assisted detection of transient memory errors."

Sanket Tavarageri, Sriram Krishnamoorthy, P. Sadayappan (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics