Gene Novark, Emery D. Berger, Benjamin G. Zorn. Exterminator: automatically correcting memory errors with high probability. In Jeanne Ferrante, Kathryn S. McKinley, editors, Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007. pages 1-11, ACM, 2007. [doi]
Abstract is missing.