Exterminator: automatically correcting memory errors with high probability.

Gene Novark, Emery D. Berger, Benjamin G. Zorn

Browse the full PLDI paper archive.