{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T22:56:06Z","timestamp":1781218566209,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T00:00:00Z","timestamp":1781136000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/X037525\/1"],"award-info":[{"award-number":["EP\/X037525\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/X037304\/1"],"award-info":[{"award-number":["EP\/X037304\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,6,11]]},"DOI":"10.1145\/3814942.3816133","type":"proceedings-article","created":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T21:59:56Z","timestamp":1781215196000},"page":"25-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Interpreter Memory Safety via Differential Fuzzing with a CHERI on Top"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-9574-9812","authenticated-orcid":false,"given":"Kai","family":"Feng","sequence":"first","affiliation":[{"name":"University of Glasgow, School of Computing Science, Glasgow, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0579-4295","authenticated-orcid":false,"given":"Huanting","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Leeds, School of Computing, Leeds, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9462-6802","authenticated-orcid":false,"given":"Jeremy","family":"Singer","sequence":"additional","affiliation":[{"name":"University of Glasgow, School of Computing Science, Glasgow, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6157-0662","authenticated-orcid":false,"given":"Zheng","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Leeds, School of Computing, Leeds, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3731569.3764844"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3613424.3614266"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23412"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2372785"},{"key":"e_1_3_2_1_5_1","volume-title":"Programming embedded systems: with C and GNU development tools","author":"Barr Michael","unstructured":"Michael Barr and Anthony Massa. 2006. Programming embedded systems: with C and GNU development tools. O'Reilly Media, Sebastopol, CA, USA. doi:doi\/10.5555\/1211083"},{"key":"e_1_3_2_1_6_1","volume-title":"MicroPython for the Internet of Things","author":"Bell Charles","unstructured":"Charles Bell. 2017. MicroPython for the Internet of Things. Apress, Berkeley, CA, USA."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2024569.2024572"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3604906"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00127"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-021-"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ME49197.2020.9286455"},{"key":"e_1_3_2_1_14_1","unstructured":"Damien P George and Paul Sokolovsky. 2025. MicroPython documentation. https:\/\/docs.micropython.org\/."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM"},{"key":"e_1_3_2_1_16_1","volume-title":"FUZZILLI: Fuzzing for JavaScript JIT Compiler Vulnerabilities. Network and Distributed System Security Symposium (NDSS). https:\/\/www.ndss-symposium.org\/wp-content\/uploads\/2023- 290-paper.pdf.","author":"Gro\u00df Samuel","year":"2023","unstructured":"Samuel Gro\u00df, Simon Koch, Lukas Bernhard, Thorsten Holz, and Martin Johns. 2023. FUZZILLI: Fuzzing for JavaScript JIT Compiler Vulnerabilities. Network and Distributed System Security Symposium (NDSS). https:\/\/www.ndss-symposium.org\/wp-content\/uploads\/2023- 290-paper.pdf."},{"key":"e_1_3_2_1_17_1","unstructured":"Brett Gutstein. 2022. Memory safety with CHERI capabilities: security analysis language interpreters and heap temporal safety. Technical Report UCAM-CL-TR-975. University of Cambridge Computer Laboratory. doi:10.48456\/tr-975 10.48456\/tr-975"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1080\/09540091.2022"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.22152\/programming-journal.org\/2026\/11\/2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428264"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3617651.3622991"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3708493.3712694"},{"key":"e_1_3_2_1_23_1","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman William M","year":"1998","unstructured":"William M McKeeman. 1998. Differential testing for software. Digital Technical Journal 10, 1 (1998), 100-107.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_24_1","volume-title":"13th USENIX Workshop on Offensive Technologies (WOOT 19)","author":"Miller Matt","year":"2019","unstructured":"Matt Miller. 2019. Trends and challenges in the vulnerability mitigation landscape. 13th USENIX Workshop on Offensive Technologies (WOOT 19)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"crossref","unstructured":"Marius Muench Jan Stijohann Frank Kargl Aur\u00e9lien Francillon and Davide Balzarotti. 2018. What You Corrupt Is Not What You Crash: Challenges in Fuzzing Embedded Devices. Network and Distributed System Security Symposium (NDSS). https:\/\/www.ndss-symposium.org\/wp-content\/uploads\/2018\/ 02\/ndss2018_01A-4_Muench_paper.pdf.","DOI":"10.14722\/ndss.2018.23166"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_27_1","unstructured":"Alexander Novikov Ng\u00e2n V u Marvin Eisenberger Emilien Dupont Po-Sen Huang Adam Zsolt Wagner Sergey Shirobokov Borislav Kozlovskii Francisco J. R. Ruiz Abbas Mehrabian M. Pawan Kumar Abigail See Swarat Chaudhuri George Holland Alex Davies Sebastian Nowozin Pushmeet Kohli and Matej Balog. 2025. AlphaEvolve: A coding agent for scientific and algorithmic discovery. arXiv:2506.13131 [cs.AI] https:\/\/arxiv.org\/abs\/2506.13131"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.3390\/electronics12010143"},{"key":"e_1_3_2_1_29_1","volume-title":"Token-Level Fuzzing. In 30th USENIX Security Symposium. USENIX Association","author":"Salls Christopher","year":"2021","unstructured":"Christopher Salls, Chani Jindal, Jake Corina, Christopher Kruegel, and Giovanni Vigna. 2021. Token-Level Fuzzing. In 30th USENIX Security Symposium. USENIX Association, Berkeley, CA, USA, 2795- 2809. https:\/\/www.usenix.org\/system\/files\/sec21-salls.pdf."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP54263"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bty612"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/SecDev.2016.043"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","unstructured":"Konstantin Serebryany Derek Bruening Alexander Potapenko and Dmitriy Vyukov. 2012. AddressSanitizer: A fast address sanity checker. In 2012 USENIX annual technical conference (USENIX ATC 12). 309-318. doi:doi\/10.1145\/3719027.3744861 10.1145\/3719027.3744861","DOI":"10.1145\/3719027.3744861"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3604919"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC66894.2025.00042"},{"key":"e_1_3_2_1_36_1","volume-title":"Programming with MicroPython: embedded programming with microcontrollers and Python","author":"Tollervey Nicholas H","unstructured":"Nicholas H Tollervey. 2017. Programming with MicroPython: embedded programming with microcontrollers and Python. O'Reilly Media, Sebastopol, CA, USA."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-45744-4_29"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00081"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/3689780"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.17863\/CAM.107230"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.9"},{"key":"e_1_3_2_1_42_1","unstructured":"Robert N. M. Watson Jessica Clarke Peter Sewell Jonathan Woodruff Simon W. Moore Graeme Barnes Richard Grisenthwaite Kathryn Stacer Silviu Baranga and Alexander Richardson. 2023. Early performance results from the prototype Morello microarchitecture. Technical Report UCAM-CL-TR-986. University of Cambridge Computer Laboratory. doi:10.48456\/tr-986 10.48456\/tr-986"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.48456\/tr-941"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.48456\/tr-927"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678373.2665740"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO68049.2026"},{"key":"e_1_3_2_1_48_1","unstructured":"Michal Zalewski. 2017. American Fuzzy Lop. [Online]. Available: https:\/\/lcamtuf.coredump.cx\/afl\/."}],"event":{"name":"ISMM '26: 2026 ACM SIGPLAN International Symposium on Memory Management","location":"Boulder CO USA","acronym":"ISMM '26","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2026 ACM SIGPLAN International Symposium on Memory Management"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3814942.3816133","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T22:00:12Z","timestamp":1781215212000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3814942.3816133"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,6,11]]},"references-count":48,"alternative-id":["10.1145\/3814942.3816133","10.1145\/3814942"],"URL":"https:\/\/doi.org\/10.1145\/3814942.3816133","relation":{},"subject":[],"published":{"date-parts":[[2026,6,11]]},"assertion":[{"value":"2026-06-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}