{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:25Z","timestamp":1750307965995,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,21]],"date-time":"2007-10-21T00:00:00Z","timestamp":1192924800000},"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,10,21]]},"DOI":"10.1145\/1296907.1296911","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T14:30:20Z","timestamp":1195137020000},"page":"2-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Safe manual memory management"],"prefix":"10.1145","author":[{"given":"David","family":"Gay","sequence":"first","affiliation":[{"name":"Intel, Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rob","family":"Ennals","sequence":"additional","affiliation":[{"name":"Intel, Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Brewer","sequence":"additional","affiliation":[{"name":"Intel, Berkeley, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"HOTOS XI","author":"ANDERSON Z.","year":"2007","unstructured":"ANDERSON , Z. , BREWER , E. , CONDIT , J. , ENNALS , R. , GAY , D. , HARREN , M. , NECULA , G. C. , AND ZHOU , F. Beyond bug-finding: Sound program analysis for Linux . In HOTOS XI ( 2007 ). ANDERSON, Z., BREWER, E., CONDIT, J., ENNALS, R., GAY, D., HARREN, M., NECULA, G. C., AND ZHOU, F. Beyond bug-finding: Sound program analysis for Linux. In HOTOS XI (2007)."},{"key":"e_1_3_2_1_2_1","unstructured":"APPLE. Cocoa. http:\/\/developer.apple.com.  APPLE. Cocoa. http:\/\/developer.apple.com."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178446"},{"key":"e_1_3_2_1_4_1","unstructured":"BACON D. F. AND RAJAN V. Concurrent cycle collection in reference counted systems. In ECOOP-01.   BACON D. F. AND RAJAN V. Concurrent cycle collection in reference counted systems. In ECOOP-01."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/357103.357104"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180902"},{"key":"e_1_3_2_1_8_1","unstructured":"CONDIT J. HARREN M. ANDERSON Z. GAY D. AND NECULA G. Dependent types for low--level programming. In ESOP-07.   CONDIT J. HARREN M. ANDERSON Z. GAY D. AND NECULA G. Dependent types for low--level programming. In ESOP-07."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/360336.360345"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134309"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1053271.1053275"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231389"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230482"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378815"},{"key":"e_1_3_2_1_16_1","volume-title":"USENIX Annual Technical Conference","author":"JIM T.","year":"2002","unstructured":"JIM , T. , MORRISETT , G. , GROSSMAN , D. , HICKS , M. , CHENEY , J. , AND WANG , Y. Cyclone : A safe dialect of C . In USENIX Annual Technical Conference ( 2002 ). JIM, T., MORRISETT, G., GROSSMAN, D., HICKS, M., CHENEY, J., AND WANG, Y. Cyclone: A safe dialect of C. In USENIX Annual Technical Conference (2002)."},{"key":"e_1_3_2_1_17_1","unstructured":"JONES R. AND LINS R. Garbage Collection. Wiley 1996.  JONES R. AND LINS R. Garbage Collection. Wiley 1996."},{"key":"e_1_3_2_1_18_1","volume-title":"Automated and Algorithmic Debugging (AADEBUG--97)","author":"JONES R. W.","year":"1997","unstructured":"JONES , R. W. M., AND KELLY , P. H. J. Backwards compatible bounds checking for arrays and pointers in C . In Automated and Algorithmic Debugging (AADEBUG--97) ( 1997 ). JONES, R. W. M., AND KELLY, P. H. J. Backwards compatible bounds checking for arrays and pointers in C. In Automated and Algorithmic Debugging (AADEBUG--97) (1997)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504309"},{"key":"e_1_3_2_1_20_1","unstructured":"LOGINOV A. YONG S. HORWITZ S. AND REPS T. Debugging via run--time type checking. In FASE--01.   LOGINOV A. YONG S. HORWITZ S. AND REPS T. Debugging via run--time type checking. In FASE--01."},{"key":"e_1_3_2_1_21_1","first-page":"1","volume":"11","author":"LOMET D. B.","year":"1985","unstructured":"LOMET , D. B. Making pointers safe in system programming languages. IEEE Transactions on Software Engineering SE-- 11 , 1 ( Jan. 1985 ), 87--96. LOMET, D. B. Making pointers safe in system programming languages. IEEE Transactions on Software Engineering SE-- 11, 1 (Jan. 1985), 87--96.","journal-title":"IEEE Transactions on Software Engineering SE--"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065887.1065892"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_1_24_1","unstructured":"NEXT. Openstep. http:\/\/www.gnustep.org.  NEXT. Openstep. http:\/\/www.gnustep.org."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199701)27:1%3C87::AID-SPE78%3E3.0.CO;2-P"},{"key":"e_1_3_2_1_26_1","unstructured":"PERENS B. Electric fence. http:\/\/perens.com\/FreeSoftware\/.  PERENS B. Electric fence. http:\/\/perens.com\/FreeSoftware\/."},{"key":"e_1_3_2_1_27_1","unstructured":"RATIONAL SOFTWARE. Purify: Fast detection of memory leaks and access errors. http:\/\/www.rational.com.  RATIONAL SOFTWARE. Purify: Fast detection of memory leaks and access errors. http:\/\/www.rational.com."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/1247360.1247362"},{"key":"e_1_3_2_1_30_1","volume-title":"SPECCPU 2000 and","author":"SPEC.","year":"2006","unstructured":"SPEC. SPECCPU 2000 and 2006 . http:\/\/www.spec.org. SPEC. SPECCPU 2000 and 2006. http:\/\/www.spec.org."},{"key":"e_1_3_2_1_31_1","unstructured":"WATSON G. Dmalloc -- debug malloc. http:\/\/dmalloc.com.  WATSON G. Dmalloc -- debug malloc. http:\/\/dmalloc.com."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/645648.664824"}],"event":{"name":"ISMM07: International Symposium on Memory Management","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Montreal Quebec Canada","acronym":"ISMM07"},"container-title":["Proceedings of the 6th international symposium on Memory management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1296907.1296911","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1296907.1296911","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:11Z","timestamp":1750258691000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1296907.1296911"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,21]]},"references-count":31,"alternative-id":["10.1145\/1296907.1296911","10.1145\/1296907"],"URL":"https:\/\/doi.org\/10.1145\/1296907.1296911","relation":{},"subject":[],"published":{"date-parts":[[2007,10,21]]},"assertion":[{"value":"2007-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}