{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:15Z","timestamp":1772163975640,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,6,10]],"date-time":"2007-06-10T00:00:00Z","timestamp":1181433600000},"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":[[2007,6,10]]},"DOI":"10.1145\/1250734.1250736","type":"proceedings-article","created":{"date-parts":[[2007,9,14]],"date-time":"2007-09-14T12:07:37Z","timestamp":1189771657000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":74,"title":["Exterminator"],"prefix":"10.1145","author":[{"given":"Gene","family":"Novark","sequence":"first","affiliation":[{"name":"University of Massachusetts Amherst, Amherst, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emery D.","family":"Berger","sequence":"additional","affiliation":[{"name":"University of Massachusetts Amherst, Amherst, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin G.","family":"Zorn","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,6,10]]},"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.1145\/1062455.1062520"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134000"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378821"},{"key":"e_1_3_2_1_6_1","unstructured":"D. Bernstein. Usenet posting comp.lang.c. http:\/\/groups.google.com\/group\/comp.lang.c\/msg\/6b82e964887d73d9 Dec. 1990.  D. Bernstein. Usenet posting comp.lang.c. http:\/\/groups.google.com\/group\/comp.lang.c\/msg\/6b82e964887d73d9 Dec. 1990."},{"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\/1062455.1062522"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146266"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949314"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1062455.1062499"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2006.31"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133999"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780743"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337240"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155107"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2006.70"},{"key":"e_1_3_2_1_21_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_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/286860.286864"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168884"},{"key":"e_1_3_2_1_24_1","unstructured":"D. Lea. A memory allocator. http:\/\/gee.cs.oswego.edu\/dl\/html\/malloc.html.  D. Lea. A memory allocator. http:\/\/gee.cs.oswego.edu\/dl\/html\/malloc.html."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781148"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065014"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081753"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_1_30_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_31_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_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095833"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.62"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2005.34"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2004.2"},{"key":"e_1_3_2_1_36_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_37_1","first-page":"51","volume-title":"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 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 Proceedings of the 17th Large Installation Systems Administration Conference, pages 51--60. USENIX, 2003."},{"key":"e_1_3_2_1_38_1","unstructured":"G. S. Roy. mpatrol: Related software. http:\/\/www.cbmamiga.demon.co.uk\/mpatrol\/mpatrol_83.html Nov. 2006.  G. S. Roy. mpatrol: Related software. http:\/\/www.cbmamiga.demon.co.uk\/mpatrol\/mpatrol_83.html Nov. 2006."},{"key":"e_1_3_2_1_39_1","volume-title":"Implementation of Functional Languages Workshop","author":"Runciman C.","year":"1995","unstructured":"C. Runciman and N. Rojemo . Lag, drag and postmortem heap profiling . In Implementation of Functional Languages Workshop , Bastad, Sweden , Sept. 1995 . C. Runciman and N. Rojemo. Lag, drag and postmortem heap profiling. In Implementation of Functional Languages Workshop, Bastad, Sweden, Sept. 1995."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247360.1247362"},{"key":"e_1_3_2_1_41_1","first-page":"149","volume-title":"USENIX Annual Technical Conference","author":"Sidiroglou S.","year":"2005","unstructured":"S. Sidiroglou , M. E. Locasto , S. W. Boyd , and A. D. Keromytis . Building a reactive immune system for software services . In USENIX Annual Technical Conference , pages 149 -- 161 . USENIX, 2005 . S. Sidiroglou, M. E. Locasto, S. W. Boyd, and A. D. Keromytis. Building a reactive immune system for software services. In USENIX Annual Technical Conference, pages 149--161. USENIX, 2005."},{"key":"e_1_3_2_1_42_1","volume-title":"USENIX Annual Technical Conference. USENIX","author":"Sidiroglou S.","year":"2007","unstructured":"S. Sidiroglou , M. E. Locasto , S. W. Boyd , and A. D. Keromytis . From STEM to SEAD: Speculative execution for automated defense . In USENIX Annual Technical Conference. USENIX , 2007 . S. Sidiroglou, M. E. Locasto, S. W. Boyd, and A. D. Keromytis. From STEM to SEAD: Speculative execution for automated defense. In USENIX Annual Technical Conference. USENIX, 2007."},{"key":"e_1_3_2_1_43_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_44_1","unstructured":"Symantec. Internet security threat report. http:\/\/www.symantec.com\/enterprise\/threatreport\/index.jsp Sept. 2006.  Symantec. Internet security threat report. http:\/\/www.symantec.com\/enterprise\/threatreport\/index.jsp Sept. 2006."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029913"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940113"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/318773.318946"}],"event":{"name":"PLDI '07: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"San Diego California USA","acronym":"PLDI '07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 28th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1250734.1250736","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1250734.1250736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:19Z","timestamp":1750243939000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1250734.1250736"}},"subtitle":["automatically correcting memory errors with high probability"],"short-title":[],"issued":{"date-parts":[[2007,6,10]]},"references-count":46,"alternative-id":["10.1145\/1250734.1250736","10.1145\/1250734"],"URL":"https:\/\/doi.org\/10.1145\/1250734.1250736","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1273442.1250736","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,6,10]]},"assertion":[{"value":"2007-06-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}