{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,31]],"date-time":"2026-10-31T16:28:56Z","timestamp":1793464136718,"version":"4.5.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,6,11]],"date-time":"2006-06-11T00:00:00Z","timestamp":1149984000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,6,11]]},"DOI":"10.1145\/1133981.1134000","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"158-168","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":276,"title":["DieHard"],"prefix":"10.1145","author":[{"given":"Emery D.","family":"Berger","sequence":"first","affiliation":[{"name":"University of Massachusetts Amherst, Amherst, MA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benjamin G.","family":"Zorn","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2006,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178446"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.231893"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062520"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646485.694462"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/378993.379232"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378821"},{"key":"e_1_3_2_1_7_1","first-page":"105","volume-title":"Proceedings of the 12th USENIX Security Symposium","author":"Bhatkar S.","year":"2003","unstructured":"S. Bhatkar , D. C. DuVarney , and R. Sekar . Address obfuscation: An efficient approach to combat a broad range of memory error exploits . In Proceedings of the 12th USENIX Security Symposium , pages 105 -- 120 . USENIX, Aug. 2003 . S. Bhatkar, D. C. DuVarney, and R. Sekar. Address obfuscation: An efficient approach to combat a broad range of memory error exploits. In Proceedings of the 12th USENIX Security Symposium, pages 105--120. USENIX, Aug. 2003."},{"key":"e_1_3_2_1_8_1","first-page":"271","volume-title":"Proceedings of the 14th USENIX Security Symposium","author":"Bhatkar S.","year":"2005","unstructured":"S. Bhatkar , R. Sekar , and D. C. DuVarney . Efficient techniques for comprehensive protection from memory error exploits . In Proceedings of the 14th USENIX Security Symposium , pages 271 -- 286 . USENIX, Aug. 2005 . S. Bhatkar, R. Sekar, and D. C. DuVarney. Efficient techniques for comprehensive protection from memory error exploits. In Proceedings of the 14th USENIX Security Symposium, pages 271--286. USENIX, Aug. 2005."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180902"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224058"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301633"},{"key":"e_1_3_2_1_12_1","volume-title":"OOPSLA\/ECOOP '93 Workshop on Garbage Collection in Object-Oriented Systems","author":"Detlefs D. L.","year":"1993","unstructured":"D. L. Detlefs . Empirical evidence for using garbage collection in C and C++ programs. In E. Moss, P. R. Wilson, and B. Zorn, editors , OOPSLA\/ECOOP '93 Workshop on Garbage Collection in Object-Oriented Systems , Oct. 1993 . D. L. Detlefs. Empirical evidence for using garbage collection in C and C++ programs. In E. Moss, P. R. Wilson, and B. Zorn, editors, OOPSLA\/ECOOP '93 Workshop on Garbage Collection in Object-Oriented Systems, Oct. 1993."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780743"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111583.1111594"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512563"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155107"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. of the","author":"Hastings R.","year":"1992","unstructured":"R. Hastings and B. Joyce . Purify: Fast detection of memory leaks and access errors . In Proc. of the Winter 1992 USENIX Conference, pages 125--138, San Francisco, California , 1991. R. Hastings and B. Joyce. Purify: Fast detection of memory leaks and access errors. In Proc. of the Winter 1992 USENIX Conference, pages 125--138, San Francisco, California, 1991."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1024393.1024412"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094836"},{"key":"e_1_3_2_1_21_1","first-page":"275","volume-title":"Proceedings of the General Track: 2002 USENIX Annual Technical Conference","author":"Jim T.","year":"2002","unstructured":"T. Jim , J. G. Morrisett , D. Grossman , M. W. Hicks , J. Cheney , and Y. Wang . Cyclone : A safe dialect of C . In Proceedings of the General Track: 2002 USENIX Annual Technical Conference , pages 275 -- 288 , Berkeley, CA, USA , 2002 . USENIX Association. T. Jim, J. G. Morrisett, D. Grossman, M. W. Hicks, J. Cheney, and Y.Wang. Cyclone: A safe dialect of C. In Proceedings of the General Track: 2002 USENIX Annual Technical Conference, pages 275--288, Berkeley, CA, USA, 2002. USENIX Association."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/286860.286864"},{"issue":"8","key":"e_1_3_2_1_23_1","article-title":"Vudo malloc tricks","volume":"57","author":"Kaempf M.","year":"2001","unstructured":"M. Kaempf . Vudo malloc tricks . Phrack Magazine , 57 ( 8 ), Aug. 2001 . M. Kaempf. Vudo malloc tricks. Phrack Magazine, 57(8), Aug. 2001.","journal-title":"Phrack Magazine"},{"key":"e_1_3_2_1_24_1","unstructured":"P.-H. Kamp. Malloc(3) revisited. http:\/\/phk.freebsd.dk\/pubs\/malloc.pdf.   P.-H. Kamp. Malloc(3) revisited. http:\/\/phk.freebsd.dk\/pubs\/malloc.pdf."},{"key":"e_1_3_2_1_25_1","unstructured":"D. Lea. A memory allocator. http:\/\/gee.cs.oswego.edu\/dl\/html\/malloc.html 1997.  D. Lea. A memory allocator. http:\/\/gee.cs.oswego.edu\/dl\/html\/malloc.html 1997."},{"key":"e_1_3_2_1_26_1","volume-title":"Aug.","author":"Marsaglia G.","year":"1994","unstructured":"G. Marsaglia . yet another RNG. posted to the electronic bulletin board sci.stat.math , Aug. 1994 . G. Marsaglia. yet another RNG. posted to the electronic bulletin board sci.stat.math, Aug. 1994."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_1_28_1","volume-title":"SPACE 2004","author":"Nethercote N.","year":"2004","unstructured":"N. Nethercote and J. Fitzhardinge . Bounds-checking entire programs without recompiling . In SPACE 2004 , Venice, Italy , Jan. 2004 . N. Nethercote and J. Fitzhardinge. Bounds-checking entire programs without recompiling. In SPACE 2004, Venice, Italy, Jan. 2004."},{"key":"e_1_3_2_1_29_1","unstructured":"PaX Team. PaX address space layout randomization (ASLR). http:\/\/pax.grsecurity.net\/docs\/aslr.txt.  PaX Team. PaX address space layout randomization (ASLR). http:\/\/pax.grsecurity.net\/docs\/aslr.txt."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095833"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2004.2"},{"key":"e_1_3_2_1_32_1","volume-title":"Sixth Symposium on Operating Systems Design and Implementation","author":"Rinard M.","year":"2004","unstructured":"M. Rinard , C. Cadar , D. Dumitran , D. M. Roy , T. Leu , and J. William S. Beebee . Enhancing server availability and security through failure oblivious computing . In Sixth Symposium on Operating Systems Design and Implementation , San Francisco, CA , Dec. 2004 . USENIX. M. Rinard, C. Cadar, D. Dumitran, D. M. Roy, T. Leu, and J. William S. Beebee. Enhancing server availability and security through failure oblivious computing. In Sixth Symposium on Operating Systems Design and Implementation, San Francisco, CA, Dec. 2004. USENIX."},{"key":"e_1_3_2_1_33_1","first-page":"51","volume-title":"LISA '03: Proceedings of the 17th Large Installation Systems Administration Conference","author":"Robertson W.","year":"2003","unstructured":"W. Robertson , C. Kruegel , D. Mutz , and F. Valeur . Run-time detection of heap-based overflows . In LISA '03: Proceedings of the 17th Large Installation Systems Administration Conference , pages 51 - 60 . USENIX, 2003 . W. Robertson, C. Kruegel, D. Mutz, and F. Valeur. Run-time detection of heap-based overflows. In LISA '03: Proceedings of the 17th Large Installation Systems Administration Conference, pages 51-60. USENIX, 2003."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/321832.321846"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247360.1247362"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030083.1030124"},{"key":"e_1_3_2_1_37_1","volume-title":"Performance Evaluation Corporation. SPEC2000","author":"Standard","unstructured":"Standard Performance Evaluation Corporation. SPEC2000 . http:\/\/www.spec.org. Standard Performance Evaluation Corporation. SPEC2000. http:\/\/www.spec.org."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029873.1029883"},{"key":"e_1_3_2_1_39_1","unstructured":"US-CERT. US-CERT vulnerability notes. http:\/\/www.kb.cert.org\/vuls\/.  US-CERT. US-CERT vulnerability notes. http:\/\/www.kb.cert.org\/vuls\/."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/645647.664690"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029913"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940113"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380230704"}],"event":{"name":"PLDI06: ACM SIGPLAN Conference on Programming Language Design and Implementation 2006","location":"Ottawa Ontario Canada","acronym":"PLDI06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 27th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1133981.1134000","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1133981.1134000","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:22:18Z","timestamp":1750263738000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1133981.1134000"}},"subtitle":["probabilistic memory safety for unsafe languages"],"short-title":[],"issued":{"date-parts":[[2006,6,11]]},"references-count":43,"alternative-id":["10.1145\/1133981.1134000","10.1145\/1133981"],"URL":"https:\/\/doi.org\/10.1145\/1133981.1134000","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1133255.1134000","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,6,11]]},"assertion":[{"value":"2006-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}