{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:31Z","timestamp":1772163991519,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T00:00:00Z","timestamp":1207008000000},"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":[[2008,4]]},"DOI":"10.1145\/1352592.1352616","type":"proceedings-article","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T12:11:28Z","timestamp":1207051888000},"page":"219-232","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Samurai"],"prefix":"10.1145","author":[{"given":"Karthik","family":"Pattabiraman","sequence":"first","affiliation":[{"name":"University of Illinois (Urbana Champaign), Urbana, IL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vinod","family":"Grover","sequence":"additional","affiliation":[{"name":"NVIDIA Corporation, Santa Clara, CA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin G.","family":"Zorn","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2008,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1102120.1102165"},{"key":"e_1_3_2_1_2_1","unstructured":"S. Abeghyan \"Multi-threaded server class with example of http server.\" {Online}. Available: http:\/\/www.codeproject.com\/internet\/mhttpsrv.asp  S. Abeghyan \"Multi-threaded server class with example of http server.\" {Online}. Available: http:\/\/www.codeproject.com\/internet\/mhttpsrv.asp"},{"key":"e_1_3_2_1_3_1","first-page":"31","volume-title":"The recovery box: Using fast recovery to provide high availability in the UNIX environment,\" in USENIX'92","author":"Baker M.","year":"1992","unstructured":"M. Baker and M. Sullivan , \" The recovery box: Using fast recovery to provide high availability in the UNIX environment,\" in USENIX'92 , 1992 , pp. 31 -- 44 . M. Baker and M. Sullivan, \"The recovery box: Using fast recovery to provide high availability in the UNIX environment,\" in USENIX'92, 1992, pp. 31--44."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582421"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134000"},{"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":"392","article-title":"On-line error monitoring for several data structures","author":"Bright J. D.","year":"1995","unstructured":"J. D. Bright and G. F. Sullivan , \" On-line error monitoring for several data structures ,\" in FTCS , 1995 , pp. 392 -- 401 . J. D. Bright and G. F. Sullivan, \"On-line error monitoring for several data structures,\" in FTCS, 1995, pp. 392--401.","journal-title":"FTCS"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781157"},{"key":"e_1_3_2_1_9_1","unstructured":"M. Corporation \"Phoenix compiler infrastructure.\" {Online}. Available: http:\/\/research.microsoft.com\/phoenix  M. Corporation \"Phoenix compiler infrastructure.\" {Online}. Available: http:\/\/research.microsoft.com\/phoenix"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.122"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"e_1_3_2_1_12_1","first-page":"125","volume-title":"Fast detection of memory leaks and access errors,\" in Proceedings of the Winter '92 USENIX conference","author":"Hastings R.","year":"1992","unstructured":"R. Hastings and B. Joyce , \" Fast detection of memory leaks and access errors,\" in Proceedings of the Winter '92 USENIX conference , 1992 , pp. 125 -- 136 . R. Hastings and B. Joyce, \"Fast detection of memory leaks and access errors,\" in Proceedings of the Winter '92 USENIX conference, 1992, pp. 125--136."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.869367"},{"key":"e_1_3_2_1_14_1","first-page":"231","volume-title":"Software fault-tolerance in the application layer,\" in Software Fault Tolerance","author":"Huang Y.","year":"1995","unstructured":"Y. Huang and C. Kintala , \" Software fault-tolerance in the application layer,\" in Software Fault Tolerance , M. R. Lyu, Ed. John Wiley & amp; sons, 1995 , pp. 231 -- 248 . Y. Huang and C. Kintala, \"Software fault-tolerance in the application layer,\" in Software Fault Tolerance, M. R. Lyu, Ed. John Wiley &amp; sons, 1995, pp. 231--248."},{"key":"e_1_3_2_1_15_1","first-page":"275","volume-title":"June 2002","author":"Jim T.","unstructured":"T. Jim , J. G. Morrisett , D. Grossman , M. W. Hicks , J. Cheney , and Y. Wang , \" Cyclone: A safe dialect of C,\" in USENIX'02 , June 2002 , pp. 275 -- 288 . T. Jim, J. G. Morrisett, D. Grossman, M. W. Hicks, J. Cheney, and Y. Wang, \"Cyclone: A safe dialect of C,\" in USENIX'02, June 2002, pp. 275--288."},{"key":"e_1_3_2_1_16_1","first-page":"13","article-title":"Backwards-compatible bounds checking for arrays and pointers in C programs","author":"Jones R. W. M.","year":"1997","unstructured":"R. W. M. Jones and P. H. J. Kelly , \" Backwards-compatible bounds checking for arrays and pointers in C programs ,\" in AADEBUG , 1997 , pp. 13 -- 26 . R. W. M. Jones and P. H. J. Kelly, \"Backwards-compatible bounds checking for arrays and pointers in C programs,\" in AADEBUG, 1997, pp. 13--26.","journal-title":"AADEBUG"},{"key":"e_1_3_2_1_17_1","first-page":"193","volume-title":"FreeNIX Track: USENIX'98","author":"Kamp P.-H.","year":"1998","unstructured":"P.-H. Kamp , \"Malloc(3) revisited,\" in FreeNIX Track: USENIX'98 , 1998 , pp. 193 -- 198 . P.-H. Kamp, \"Malloc(3) revisited,\" in FreeNIX Track: USENIX'98, 1998, pp. 193--198."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.45202"},{"key":"e_1_3_2_1_19_1","unstructured":"M. Kempf \"Smashing the heap for fun and profit.\" {Online}. Available: http:\/\/doc.bughunter.net\/bufferoverflow\/heap-corruption.html  M. Kempf \"Smashing the heap for fun and profit.\" {Online}. Available: http:\/\/doc.bughunter.net\/bufferoverflow\/heap-corruption.html"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168884"},{"key":"e_1_3_2_1_21_1","unstructured":"C. Kolb \"Rayshade graphics program.\" {Online}. Available: http:\/\/graphics.stanford.edu\/?cek\/rayshade  C. Kolb \"Rayshade graphics program.\" {Online}. Available: http:\/\/graphics.stanford.edu\/?cek\/rayshade"},{"key":"e_1_3_2_1_22_1","volume-title":"The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library","author":"Musser D. R.","year":"1995","unstructured":"D. R. Musser and A. Saini , The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library . Redwood City, CA, USA : Addison Wesley Longman Publishing Co. , Inc., 1995 . D. R. Musser and A. Saini, The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library. Redwood City, CA, USA: Addison Wesley Longman Publishing Co., Inc., 1995."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065887.1065892"},{"key":"e_1_3_2_1_24_1","volume-title":"Valgrind: A program supervision framework,\" Electr. Notes Theor. Comput. Sci","author":"Nethercote N.","unstructured":"N. Nethercote and J. Seward , \" Valgrind: A program supervision framework,\" Electr. Notes Theor. Comput. Sci , vol. 89 , no. 2, 2003. N. Nethercote and J. Seward, \"Valgrind: A program supervision framework,\" Electr. Notes Theor. Comput. Sci, vol. 89, no. 2, 2003."},{"key":"e_1_3_2_1_25_1","unstructured":"H. Packard \"Stl - hewlett-packard's downloadable standard template library.\" {Online}. Available: ftp:\/\/butler.hpl.hp.com\/stl  H. Packard \"Stl - hewlett-packard's downloadable standard template library.\" {Online}. Available: ftp:\/\/butler.hpl.hp.com\/stl"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095833"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSAC.2004.2"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201065"},{"key":"e_1_3_2_1_29_1","first-page":"159","volume-title":"Feb. 2004","author":"Ruwase O.","unstructured":"O. Ruwase and M. Lam , \" A practical dynamic buffer overflow detector,\" in NDSS'04 , Feb. 2004 , pp. 159 -- 169 . O. Ruwase and M. Lam, \"A practical dynamic buffer overflow detector,\" in NDSS'04, Feb. 2004, pp. 159--169."},{"key":"e_1_3_2_1_30_1","unstructured":"C. C. E. R. Team \"Secure coding.\" {Online}. Available: http:\/\/www.cert.org\/secure-coding  C. C. E. R. Team \"Secure coding.\" {Online}. Available: http:\/\/www.cert.org\/secure-coding"},{"key":"e_1_3_2_1_31_1","volume-title":"Software fault injection: inoculating programs against errors","author":"Voas J. M.","year":"1997","unstructured":"J. M. Voas and G. McGraw , Software fault injection: inoculating programs against errors . New York, NY, USA : John Wiley & amp; Sons, Inc., 1997 . J. M. Voas and G. McGraw, Software fault injection: inoculating programs against errors. New York, NY, USA: John Wiley &amp; Sons, Inc., 1997."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/173668.168635"},{"key":"e_1_3_2_1_33_1","volume-title":"Dynamic storage allocation: A survey and critical review,\" in IWMM","author":"Wilson P. R.","year":"1995","unstructured":"P. R. Wilson , M. S. Johnstone , M. Neely , and D. Boles , \" Dynamic storage allocation: A survey and critical review,\" in IWMM , 1995 . P. R. Wilson, M. S. Johnstone, M. Neely, and D. Boles, \"Dynamic storage allocation: A survey and critical review,\" in IWMM, 1995."},{"key":"e_1_3_2_1_34_1","volume-title":"Usenix","author":"Zhou F.","year":"2006","unstructured":"F. Zhou , J. Condit , Z. Anderson , I. Bagrak , R. Ennals , M. Harren , G. Necula , and E. Brewer , \" Safedrive: Safe and recoverable extensions using language-based techniques,\" in OSDI'06 . Usenix , 2006 . F. Zhou, J. Condit, Z. Anderson, I. Bagrak, R. Ennals, M. Harren, G. Necula, and E. Brewer, \"Safedrive: Safe and recoverable extensions using language-based techniques,\" in OSDI'06. Usenix, 2006."}],"event":{"name":"Eurosys '08: Eurosys 2008 Conference","location":"Glasgow Scotland UK","acronym":"Eurosys '08","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 3rd ACM SIGOPS\/EuroSys European Conference on Computer Systems 2008"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1352592.1352616","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1352592.1352616","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:56:19Z","timestamp":1750240579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1352592.1352616"}},"subtitle":["protecting critical data in unsafe languages"],"short-title":[],"issued":{"date-parts":[[2008,4]]},"references-count":34,"alternative-id":["10.1145\/1352592.1352616","10.1145\/1352592"],"URL":"https:\/\/doi.org\/10.1145\/1352592.1352616","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1357010.1352616","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,4]]},"assertion":[{"value":"2008-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}