{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T09:38:19Z","timestamp":1787564299677,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,6,19]],"date-time":"2009-06-19T00:00:00Z","timestamp":1245369600000},"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":[[2009,6,19]]},"DOI":"10.1145\/1542431.1542438","type":"proceedings-article","created":{"date-parts":[[2009,6,24]],"date-time":"2009-06-24T17:59:19Z","timestamp":1245866359000},"page":"39-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Precise garbage collection for C"],"prefix":"10.1145","author":[{"given":"Jon","family":"Rafkind","sequence":"first","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Adam","family":"Wick","sequence":"additional","affiliation":[{"name":"Galois, Portland, OR, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Regehr","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthew","family":"Flatt","sequence":"additional","affiliation":[{"name":"University of Utah, Salt Lake City, UT, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,6,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compiling with Continuations","author":"Appel Andrew","year":"1992","unstructured":"Andrew Appel . Compiling with Continuations . Cambridge University Press , 1992 . Andrew Appel. Compiling with Continuations. Cambridge University Press, 1992."},{"key":"e_1_3_2_1_2_1","volume-title":"Efficient detection of all pointer and array access errors. Technical report","author":"Austin Todd M.","year":"1993","unstructured":"Todd M. Austin , Scott E. Breach , and Gurindar S. Sohi . Efficient detection of all pointer and array access errors. Technical report , University of Wisconsin-Madison , December 1993 . Todd M. Austin, Scott E. Breach, and Gurindar S. Sohi. Efficient detection of all pointer and array access errors. Technical report, University of Wisconsin-Madison, December 1993."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/1759937.1759944"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/181904.181907"},{"key":"e_1_3_2_1_5_1","volume-title":"http:\/\/manju.cs.berkeley.edu\/cil\/","author":"CIL.","year":"2005","unstructured":"CILBerkeley. CIL. http:\/\/manju.cs.berkeley.edu\/cil\/ , 2005 . CILBerkeley. CIL. http:\/\/manju.cs.berkeley.edu\/cil\/, 2005."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155109"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503282"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-5668-5","volume-title":"phLisp Lore: A Guide to Programming the Lisp Machine","author":"Bromley Hank","year":"1986","unstructured":"Hank Bromley . phLisp Lore: A Guide to Programming the Lisp Machine . Kluwer Academic Publishers , 1986 . Hank Bromley. phLisp Lore: A Guide to Programming the Lisp Machine. Kluwer Academic Publishers, 1986."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277719"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780743"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/773146.773040"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/277631.277637"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251229.1251230"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231389"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113460"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781150"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/512429.512449"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/586088.586089"},{"key":"e_1_3_2_1_20_1","unstructured":"HnxGC. HnxGC 2009. http:\/\/hnxgc.harnixworld.com\/.  HnxGC. HnxGC 2009. http:\/\/hnxgc.harnixworld.com\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_1_22_1","first-page":"275","volume-title":"Proc. USENIX Annual Technical Conference","author":"Jim Trevor","year":"2002","unstructured":"Trevor Jim , Greg Morrisett , Dan Grossman , Michael Hicks , James Cheney , and Yanling Wang . Cyclone : A safe dialect of C . In Proc. USENIX Annual Technical Conference , pages 275 -- 288 , 2002 . Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A safe dialect of C. In Proc. USENIX Annual Technical Conference, pages 275--288, 2002."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176760.1176767"},{"key":"e_1_3_2_1_24_1","unstructured":"phManaged Extensions for C++ Programming. Microsoft 2004.  phManaged Extensions for C++ Programming. Microsoft 2004."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_1_26_1","unstructured":"Scott M. Pike Bruce W. Weide and Joseph E. Hollingsworth. Checkmate: cornering C  Scott M. Pike Bruce W. Weide and Joseph E. Hollingsworth. Checkmate: cornering C"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/330908.331884"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/286860.286869"},{"key":"e_1_3_2_1_29_1","unstructured":"Ruby. Ruby 2008. http:\/\/www.ruby-lang.org\/.  Ruby. Ruby 2008. http:\/\/www.ruby-lang.org\/."},{"key":"e_1_3_2_1_30_1","volume-title":"McKenney","author":"John","year":"1995","unstructured":"John D. Slingwine and Paul E . McKenney , 1995 . Patent No. 5,442,758. John D. Slingwine and Paul E. McKenney, 1995. Patent No. 5,442,758."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/286860.286868"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165196"},{"key":"e_1_3_2_1_33_1","unstructured":"Sun Microsystems Inc. JavaOS: A standalone Java environment 1997. http:\/\/www.javasoft.com\/products\/javaos\/javaos.white.html.  Sun Microsystems Inc. JavaOS: A standalone Java environment 1997. http:\/\/www.javasoft.com\/products\/javaos\/javaos.white.html."},{"key":"e_1_3_2_1_34_1","unstructured":"User Mode Linux 2008. http:\/\/user-mode-linux.sourceforge.net\/.  User Mode Linux 2008. http:\/\/user-mode-linux.sourceforge.net\/."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1029873.1029888"}],"event":{"name":"ISMM '09: International Symposium on Memory Management","location":"Dublin Ireland","acronym":"ISMM '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2009 international symposium on Memory management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542431.1542438","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1542431.1542438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:55Z","timestamp":1750238995000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1542431.1542438"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,19]]},"references-count":35,"alternative-id":["10.1145\/1542431.1542438","10.1145\/1542431"],"URL":"https:\/\/doi.org\/10.1145\/1542431.1542438","relation":{},"subject":[],"published":{"date-parts":[[2009,6,19]]},"assertion":[{"value":"2009-06-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}