{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T04:11:29Z","timestamp":1776399089202,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,3,14]],"date-time":"2015-03-14T00:00:00Z","timestamp":1426291200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-10-C-0237, FA8750-11-C-0249"],"award-info":[{"award-number":["FA8750-10-C-0237, FA8750-11-C-0249"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,3,14]]},"DOI":"10.1145\/2694344.2694367","type":"proceedings-article","created":{"date-parts":[[2015,3,3]],"date-time":"2015-03-03T09:15:23Z","timestamp":1425374123000},"page":"117-130","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":41,"title":["Beyond the PDP-11"],"prefix":"10.1145","author":[{"given":"David","family":"Chisnall","sequence":"first","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Colin","family":"Rothwell","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert N.M.","family":"Watson","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Woodruff","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Munraj","family":"Vadera","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon W.","family":"Moore","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Roe","sequence":"additional","affiliation":[{"name":"University of Cambridge, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brooks","family":"Davis","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter G.","family":"Neumann","sequence":"additional","affiliation":[{"name":"SRI International, Menlo Park, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,3,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Is address space 1 reserved? URL http:\/\/lists.cs.uiuc.edu\/pipermail\/llvmdev\/2015-January\/080288.html.  Is address space 1 reserved? URL http:\/\/lists.cs.uiuc.edu\/pipermail\/llvmdev\/2015-January\/080288.html."},{"key":"e_1_3_2_1_2_1","first-page":"14","article-title":"Smashing the stack for fun and profit","volume":"7","author":"One Alelph","year":"1996","unstructured":"Alelph One . Smashing the stack for fun and profit . Phrack Magazine , 7 : 14 -- 16 , 1996 . Alelph One. Smashing the stack for fun and profit. Phrack Magazine, 7:14--16, 1996.","journal-title":"Phrack Magazine"},{"key":"e_1_3_2_1_3_1","volume-title":"for ARMv8- A architecture profile. ARM Limited, 110 Fulbourn Road","author":"Architecture Reference Manual ARM","year":"2013","unstructured":"ARM Architecture Reference Manual . ARMv8 , for ARMv8- A architecture profile. ARM Limited, 110 Fulbourn Road , Cambridge, England CB 1 9NJ, 2013 . ARM Architecture Reference Manual. ARMv8, for ARMv8- A architecture profile. ARM Limited, 110 Fulbourn Road, Cambridge, England CB1 9NJ, 2013."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180902"},{"key":"e_1_3_2_1_6_1","volume-title":"May","author":"Chandra R.","year":"2007","unstructured":"R. Chandra , V. Padmanabhan , and M. Zhang . CRAWDAD data set microsoft\/osdi2006 (v. 2007-05-23). Downloaded from http:\/\/crawdad.org\/microsoft\/osdi2006\/ , May 2007 . R. Chandra, V. Padmanabhan, and M. Zhang. CRAWDAD data set microsoft\/osdi2006 (v. 2007-05-23). Downloaded from http:\/\/crawdad.org\/microsoft\/osdi2006\/, May 2007."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1109\/DISCEX.2000.821514","volume-title":"DARPA Information Survivability Conference and Exposition, 2000. DISCEX '00. Proceedings","volume":"2","author":"Cowan C.","year":"2000","unstructured":"C. Cowan , P. Wagle , C. Pu , S. Beattie , and J. Walpole . Buffer overflows: attacks and defenses for the vulnerability of the decade . In DARPA Information Survivability Conference and Exposition, 2000. DISCEX '00. Proceedings , volume 2 , pages 119 -- 129 vol.2, 2000 . C. Cowan, P. Wagle, C. Pu, S. Beattie, and J. Walpole. Buffer overflows: attacks and defenses for the vulnerability of the decade. In DARPA Information Survivability Conference and Exposition, 2000. DISCEX '00. Proceedings, volume 2, pages 119--129 vol.2, 2000."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294295"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the Eighteenth Usenix Security Symposium","author":"Criswell J.","year":"2009","unstructured":"J. Criswell , N. Geoffray , and V. Adve . Memory safety for low-level software\/hardware interactions . In Proceedings of the Eighteenth Usenix Security Symposium , August 2009 . J. Criswell, N. Geoffray, and V. Adve. Memory safety for low-level software\/hardware interactions. In Proceedings of the Eighteenth Usenix Security Symposium, August 2009."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/851028.856245"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.29"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353534.1346295"},{"key":"e_1_3_2_1_13_1","volume-title":"BSDCan","author":"Evans J.","year":"2006","unstructured":"J. Evans . A scalable concurrent malloc(3) implementation for FreeBSD . In BSDCan , 2006 . J. Evans. A scalable concurrent malloc(3) implementation for FreeBSD. In BSDCan, 2006."},{"key":"e_1_3_2_1_14_1","volume-title":"August","author":"Software Gimpel","year":"2014","unstructured":"Gimpel Software . FlexeLint for C\/C++ , August 2014 . URL http:\/\/www.gimpel.com\/html\/flex.htm. Gimpel Software. FlexeLint for C\/C++, August 2014. URL http:\/\/www.gimpel.com\/html\/flex.htm."},{"key":"e_1_3_2_1_15_1","unstructured":"Intel Plc. Introduction to Intel R memory protection extensions. http:\/\/software.intel.com\/en-us\/articles\/introduction-to-intel-memory-protection-extensions July 2013.  Intel Plc. Introduction to Intel R memory protection extensions. http:\/\/software.intel.com\/en-us\/articles\/introduction-to-intel-memory-protection-extensions July 2013."},{"key":"e_1_3_2_1_16_1","volume-title":"International Organization for Standardization","author":"ISO.","year":"2011","unstructured":"ISO. ISO\/IEC 9899:2011 Information technology -- Programming languages -- C . International Organization for Standardization , Geneva, Switzerland , Dec. 2011 . URL http:\/\/www.iso.org\/iso\/iso_catalogue\/catalogue_tc\/catalogue_detail.htm?csnumber=57853. ISO. ISO\/IEC 9899:2011 Information technology -- Programming languages -- C. International Organization for Standardization, Geneva, Switzerland, Dec. 2011. URL http:\/\/www.iso.org\/iso\/iso_catalogue\/catalogue_tc\/catalogue_detail.htm?csnumber=57853."},{"key":"e_1_3_2_1_17_1","first-page":"275","volume-title":"Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference, ATEC '02","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 of the Annual Conference on USENIX Annual Technical Conference, ATEC '02 , pages 275 -- 288 , Berkeley, CA, USA , 2002 . USENIX Association. ISBN 1-880446-00-6. URL http:\/\/dl.acm.org\/citation.cfm?id=647057.713871. 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 of the Annual Conference on USENIX Annual Technical Conference, ATEC '02, pages 275--288, Berkeley, CA, USA, 2002. USENIX Association. ISBN 1-880446-00-6. URL http:\/\/dl.acm.org\/citation.cfm?id=647057.713871."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516713"},{"key":"e_1_3_2_1_19_1","unstructured":"Managed C++. Managed extensions for C++ specification. http:\/\/msdn.microsoft.com\/en-us\/library\/Aa712867 (accessed2014\/07\/14).  Managed C++. Managed extensions for C++ specification. http:\/\/msdn.microsoft.com\/en-us\/library\/Aa712867 (accessed2014\/07\/14)."},{"key":"e_1_3_2_1_20_1","unstructured":"Microsoft Corporation. CONTAINING RECORD macro. URL http:\/\/msdn.microsoft.com\/en-us\/library\/windows\/hardware\/ff542043%28v=vs.85%29.aspx.  Microsoft Corporation. CONTAINING RECORD macro. URL http:\/\/msdn.microsoft.com\/en-us\/library\/windows\/hardware\/ff542043%28v=vs.85%29.aspx."},{"key":"e_1_3_2_1_21_1","unstructured":"Mitre. CWE\/SANS top 25 most dangerous software errors 2011. URL http:\/\/cwe.mitre.org\/top25.  Mitre. CWE\/SANS top 25 most dangerous software errors 2011. URL http:\/\/cwe.mitre.org\/top25."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1476793.1476880"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1978.tb02140.x"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9939"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187673"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535505"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.13"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168635"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2387880.2387897"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522728"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2665671.2665740"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629175.1629203"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048147.2048224"}],"event":{"name":"ASPLOS '15: Architectural Support for Programming Languages and Operating Systems","location":"Istanbul Turkey","acronym":"ASPLOS '15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2694344.2694367","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2694344.2694367","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:13:32Z","timestamp":1750212812000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2694344.2694367"}},"subtitle":["Architectural Support for a Memory-Safe C Abstract Machine"],"short-title":[],"issued":{"date-parts":[[2015,3,14]]},"references-count":35,"alternative-id":["10.1145\/2694344.2694367","10.1145\/2694344"],"URL":"https:\/\/doi.org\/10.1145\/2694344.2694367","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2775054.2694367","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/2786763.2694367","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,3,14]]},"assertion":[{"value":"2015-03-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}