DieHard: Probabilistic Memory Safety for Unsafe Languages (2006)

by E D Berger, B G Zorn
Venue:In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI