{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:38:39Z","timestamp":1755999519098,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T00:00:00Z","timestamp":1697673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/V000349\/1 and EP\/X015831\/1"],"award-info":[{"award-number":["EP\/V000349\/1 and EP\/X015831\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010418","name":"Defence Science and Technology Laboratory","doi-asserted-by":"publisher","award":["ACC6037520"],"award-info":[{"award-number":["ACC6037520"]}],"id":[{"id":"10.13039\/100010418","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,10,19]]},"DOI":"10.1145\/3617651.3622991","type":"proceedings-article","created":{"date-parts":[[2023,10,19]],"date-time":"2023-10-19T13:56:42Z","timestamp":1697723802000},"page":"62-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Morello MicroPython: A Python Interpreter for CHERI"],"prefix":"10.1145","author":[{"given":"Duncan","family":"Lowther","sequence":"first","affiliation":[{"name":"University of Glasgow, Glasgow, United Kingdom"}]},{"given":"Dejice","family":"Jacob","sequence":"additional","affiliation":[{"name":"University of Glasgow, Glasgow, United Kingdom"}]},{"given":"Jeremy","family":"Singer","sequence":"additional","affiliation":[{"name":"University of Glasgow, Glasgow, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2023,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Saar Amar Tony Chen David Chisnall Felix Domke Nathaniel Filardo Kunyan Liu Robert Norton-Wright Yucong Tao Robert N. M. Watson and Hongyan Xia. 2023. CHERIoT: Rethinking security for low-cost embedded systems. Microsoft. https:\/\/www.microsoft.com\/en-us\/research\/publication\/cheriot-rethinking-security-for-low-cost-embedded-systems\/ \t\t\t\t  Saar Amar Tony Chen David Chisnall Felix Domke Nathaniel Filardo Kunyan Liu Robert Norton-Wright Yucong Tao Robert N. M. Watson and Hongyan Xia. 2023. CHERIoT: Rethinking security for low-cost embedded systems. Microsoft. https:\/\/www.microsoft.com\/en-us\/research\/publication\/cheriot-rethinking-security-for-low-cost-embedded-systems\/"},{"key":"e_1_3_2_1_2_1","unstructured":"Arm. 2021. Arm Architecture Reference Manual Supplement \u2014 Morello for A-profile Architecture.  https:\/\/developer.arm.com\/documentation\/ddi0606\/ \t\t\t\t  Arm. 2021. Arm Architecture Reference Manual Supplement \u2014 Morello for A-profile Architecture.  https:\/\/developer.arm.com\/documentation\/ddi0606\/"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591195.3595278"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304042"},{"key":"e_1_3_2_1_5_1","unstructured":"Damien P. George. 2013. MicroPython.  https:\/\/micropython.org \t\t\t\t  Damien P. George. 2013. MicroPython.  https:\/\/micropython.org"},{"key":"e_1_3_2_1_6_1","volume-title":"George and Paul Sokolovsky","author":"Damien","year":"2023","unstructured":"Damien P. George and Paul Sokolovsky . 2023 . MicroPython differences from CPython . https:\/\/docs.micropython.org\/en\/latest\/genrst\/ Damien P. George and Paul Sokolovsky. 2023. MicroPython differences from CPython. https:\/\/docs.micropython.org\/en\/latest\/genrst\/"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446728"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 8th Australasian Conference on Computing Education. 71\u201380","author":"Grandell Linda","year":"2006","unstructured":"Linda Grandell , Mia Peltom\u00e4ki , Ralph-Johan Back , and Tapio Salakoski . 2006 . Why Complicate Things? Introducing Programming in High School Using Python . In Proceedings of the 8th Australasian Conference on Computing Education. 71\u201380 . https:\/\/doi.org\/10.5555\/1151869.1151880 10.5555\/1151869.1151880 Linda Grandell, Mia Peltom\u00e4ki, Ralph-Johan Back, and Tapio Salakoski. 2006. Why Complicate Things? Introducing Programming in High School Using Python. In Proceedings of the 8th Australasian Conference on Computing Education. 71\u201380. https:\/\/doi.org\/10.5555\/1151869.1151880"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2023.3264676"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.48456\/tr-975"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3516807.3516823"},{"key":"e_1_3_2_1_12_1","unstructured":"Nicolas Joly Saif ElSherei and Saar Amar. 2020. Security Analysis of CHERI ISA.  https:\/\/msrc.microsoft.com\/blog\/2020\/10\/security-analysis-of-cheri-isa\/ \t\t\t\t  Nicolas Joly Saif ElSherei and Saar Amar. 2020. Security Analysis of CHERI ISA.  https:\/\/msrc.microsoft.com\/blog\/2020\/10\/security-analysis-of-cheri-isa\/"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages. https:\/\/doi.org\/10","author":"Lowther Duncan","year":"2023","unstructured":"Duncan Lowther , Dejice Jacob , and Jeremy Singer . 2023 . CHERI Performance Enhancement for a Bytecode Interpreter . In Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages. https:\/\/doi.org\/10 .1145\/3623507.3623552 arxiv:2308.05076. 10.1145\/3623507.3623552 Duncan Lowther, Dejice Jacob, and Jeremy Singer. 2023. CHERI Performance Enhancement for a Bytecode Interpreter. In Proceedings of the 15th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages. https:\/\/doi.org\/10.1145\/3623507.3623552 arxiv:2308.05076."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 2012 USENIX Annual Technical Conference. 28","author":"Serebryany Konstantin","year":"2012","unstructured":"Konstantin Serebryany , Derek Bruening , Alexander Potapenko , and Dmitry Vyukov . 2012 . AddressSanitizer: A Fast Address Sanity Checker . In Proceedings of the 2012 USENIX Annual Technical Conference. 28 . Konstantin Serebryany, Derek Bruening, Alexander Potapenko, and Dmitry Vyukov. 2012. AddressSanitizer: A Fast Address Sanity Checker. In Proceedings of the 2012 USENIX Annual Technical Conference. 28."},{"key":"e_1_3_2_1_16_1","unstructured":"Soteria Project. 2023. Researching solutions for a safer web.  https:\/\/soteriaresearch.org \t\t\t\t  Soteria Project. 2023. Researching solutions for a safer web.  https:\/\/soteriaresearch.org"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 8th International Python Conference. 24\u201327","author":"Stajano Frank","year":"2000","unstructured":"Frank Stajano . 2000 . Python in education: Raising a generation of native speakers . In Proceedings of the 8th International Python Conference. 24\u201327 . Frank Stajano. 2000. Python in education: Raising a generation of native speakers. In Proceedings of the 8th International Python Conference. 24\u201327."},{"key":"e_1_3_2_1_18_1","unstructured":"UKRI. 2022. CHERI WebAssembly Micro Runtime.  https:\/\/gtr.ukri.org\/projects?ref=10028870 \t\t\t\t  UKRI. 2022. CHERI WebAssembly Micro Runtime.  https:\/\/gtr.ukri.org\/projects?ref=10028870"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.48456\/tr-982"},{"volume-title":"d.]. Early performance results from the prototype Morello microarchitecture","author":"Watson Robert N. M.","key":"e_1_3_2_1_20_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 . [n. d.]. Early performance results from the prototype Morello microarchitecture . University of Cambridge , Computer Laboratory , 15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom, phone +44 1223 763500. Robert N. M. Watson, Jessica Clarke, Peter Sewell, Jonathan Woodruff, Simon W. Moore, Graeme Barnes, Richard Grisenthwaite, Kathryn Stacer, Silviu Baranga, and Alexander Richardson. [n. d.]. Early performance results from the prototype Morello microarchitecture. University of Cambridge, Computer Laboratory, 15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom, phone +44 1223 763500."},{"key":"e_1_3_2_1_21_1","unstructured":"Robert N. M. Watson Ben Laurie and Alex Richardson. 2021. Assessing the Viability of an Open-Source CHERI Desktop Software. https:\/\/www.capabilitieslimited.co.uk\/_files\/ugd\/f4d681_e0f23245dace466297f20a0dbd22d371.pdf \t\t\t\t  Robert N. M. Watson Ben Laurie and Alex Richardson. 2021. Assessing the Viability of an Open-Source CHERI Desktop Software. https:\/\/www.capabilitieslimited.co.uk\/_files\/ugd\/f4d681_e0f23245dace466297f20a0dbd22d371.pdf"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.48456\/tr-951"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.48456\/tr-947"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2019.2914037"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678373.2665740"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.48456\/tr-955"}],"event":{"name":"MPLR '23: 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Cascais Portugal","acronym":"MPLR '23"},"container-title":["Proceedings of the 20th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3617651.3622991","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3617651.3622991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:36:31Z","timestamp":1750178191000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3617651.3622991"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,19]]},"references-count":26,"alternative-id":["10.1145\/3617651.3622991","10.1145\/3617651"],"URL":"https:\/\/doi.org\/10.1145\/3617651.3622991","relation":{},"subject":[],"published":{"date-parts":[[2023,10,19]]},"assertion":[{"value":"2023-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}