Gene Novark Emery D. Berger Benjamin G. Zorn Exterminator: automatically correcting memory errors with high probability. 1-11 2007 conf/pldi/2007 PLDI http://doi.acm.org/10.1145/1250734.1250736 db/conf/pldi/pldi2007.html#NovarkBZ07