{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,13]],"date-time":"2026-08-13T16:48:13Z","timestamp":1786639693625,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":61,"publisher":"ACM","funder":[{"name":"German Research Foundation (ResPECT)","award":["502615015"],"award-info":[{"award-number":["502615015"]}]},{"name":"German Research Foundation (Watwa)","award":["502947440"],"award-info":[{"award-number":["502947440"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,13]]},"DOI":"10.1145\/3735452.3735534","type":"proceedings-article","created":{"date-parts":[[2025,6,13]],"date-time":"2025-06-13T15:11:16Z","timestamp":1749827476000},"page":"97-108","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["vNV-Heap: An Ownership-Based Virtually Non-Volatile Heap for Embedded Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0005-9089-4902","authenticated-orcid":false,"given":"Markus Elias","family":"Gerber","sequence":"first","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3401-430X","authenticated-orcid":false,"given":"Luis","family":"Gerhorst","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-6870-7862","authenticated-orcid":false,"given":"Ishwar","family":"Mudraje","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7633-1880","authenticated-orcid":false,"given":"Kai","family":"Vogelgesang","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3746-7638","authenticated-orcid":false,"given":"Thorsten","family":"Herfet","sequence":"additional","affiliation":[{"name":"Saarland University, Saarbr\u00fccken, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3730-533X","authenticated-orcid":false,"given":"Peter","family":"W\u00e4gemann","sequence":"additional","affiliation":[{"name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg, Erlangen, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,6,13]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2024. Back to the Building Blocks: A Path Toward Secure and Measurable Software. The Office of the White House."},{"key":"e_1_3_2_2_2_1","unstructured":"2024. Translation granule - AArch64 memory management Guide. https:\/\/developer.arm.com\/documentation\/101811\/0104\/Translation-granule"},{"key":"e_1_3_2_2_3_1","unstructured":"2024. tylerwhall\/zephyr-rust. https:\/\/github.com\/tylerwhall\/zephyr-rust commit: ff51ff709f79b2adbcbd0c34644eab59bce0dc11"},{"key":"e_1_3_2_2_4_1","unstructured":"2024. zephyrproject-rtos\/zephyr at v3.7.0. https:\/\/github.com\/zephyrproject-rtos\/zephyr\/tree\/v3.7.0"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316482.3326357"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3624718"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"crossref","unstructured":"David Atienza Alonso Stylianos Mamagkakis Christophe Poucet Miguel Pe\u00f3n-Quir\u00f3s Alexandros Bartzas Francky Catthoor and Dimitrios Soudris. 2015. Dynamic Memory Management for Embedded Systems. https:\/\/link.springer.com\/book\/10.1007\/978-3-319-10572-7","DOI":"10.1007\/978-3-319-10572-7"},{"key":"e_1_3_2_2_8_1","unstructured":"MISRA The Motor Industry Software Reliability Association. 2004. MISRA-C:2004 - Guidelines for the Use of the C Language in Critical Systems."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2024.3451349"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2547919"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2014.2371494"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2893711.2893731"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055031.3055082"},{"key":"e_1_3_2_2_14_1","unstructured":"David Brown. 2022. d3zd3z\/zephyr_secure_inference. https:\/\/github.com\/d3zd3z\/zephyr_secure_inference"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336769"},{"key":"e_1_3_2_2_16_1","volume-title":"18th USENIX Conf. on File and Storage Technologies (FAST 20)","author":"Cao Zhichao","unstructured":"Zhichao Cao, Siying Dong, Sagar Vemuri, and David H.C. Du. 2020. Characterizing, Modeling, and Benchmarking RocksDB Key-Value Workloads at Facebook. In 18th USENIX Conf. on File and Storage Technologies (FAST 20). 209\u2013223. isbn:978-1-939133-12-0 https:\/\/www.usenix.org\/conference\/fast20\/presentation\/cao-zhichao"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","unstructured":"Dave Clarke Johan \u00d6stlund Ilya Sergey and Tobias Wrigstad. 2013. Ownership Types: A Survey. In Aliasing in Object-Oriented Programming. Types Analysis and Verification. 15\u201358. isbn:978-3-642-36946-9 https:\/\/doi.org\/10.1007\/978-3-642-36946-9_3 10.1007\/978-3-642-36946-9_3","DOI":"10.1007\/978-3-642-36946-9_3"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2248487.1950380"},{"key":"e_1_3_2_2_20_1","unstructured":"Cyrille Comar Claire Dross Florian Gilcher and Yannick Moy. 2022. Dynamic Memory Management in Critical Embedded Software. AdaCore. https:\/\/www.adacore.com\/uploads\/techPapers\/DynamicMemoryManagement.pdf"},{"key":"e_1_3_2_2_21_1","unstructured":"Vikram Dattu Shivani Tipnis Tomas Rezucha and Ivan Grokhotkov. 2025. espressif\/esp-tflite-micro. https:\/\/github.com\/espressif\/esp-tflite-micro"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2019.01.023"},{"key":"e_1_3_2_2_23_1","unstructured":"2024. ESP32-C3 Technical Reference Manual Version 1.1. https:\/\/www.espressif.com\/sites\/default\/files\/documentation\/esp32-c3_technical_reference_manual_en.pdf"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","unstructured":"Kasra Ferdowsi. 2023. The Usability of Advanced Type Systems: Rust as a Case Study. https:\/\/doi.org\/10.48550\/arXiv.2301.02308 10.48550\/arXiv.2301.02308","DOI":"10.48550\/arXiv.2301.02308"},{"key":"e_1_3_2_2_26_1","unstructured":"2018. Fujitsu MB85RS4MT Data Sheet (DS501-00053-1v0-E). https:\/\/www.fujitsu.com\/uk\/Images\/MB85RS4MT.pdf"},{"key":"e_1_3_2_2_27_1","unstructured":"Markus Elias Gerber. 2025. vNV-Heap Implementation Git Commit #0d920e - resident_object_metadata.rs (Line 51). https:\/\/gitos.rrze.fau.de\/i4\/openaccess\/vnv-heap\/-\/blob\/0d920ea7aeebbcdd11d55c1cae847e8f14ad5a1c\/vnv_heap\/src\/resident_object_manager\/resident_object_metadata.rs##L51"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3712433"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2022.3210866"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.etran.2019.100005"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2014.63"},{"key":"e_1_3_2_2_32_1","volume-title":"The Rust Programming Language","author":"Klabnik Steve","unstructured":"Steve Klabnik and Carol Nichols. 2023. The Rust Programming Language: 2nd edition. No Starch Press. https:\/\/doc.rust-lang.org\/book\/second-edition\/","edition":"2"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3698365.3698372"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.SNAPL.2017.8"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","unstructured":"Maroua Maalej Tucker Taft and Yannick Moy. 2018. S]afe Dynamic Memory Management in Ada and SPARK. 37\u201352. isbn:9783319924328 issn:1611-3349 https:\/\/doi.org\/10.1007\/978-3-319-92432-8_3 10.1007\/978-3-319-92432-8_3","DOI":"10.1007\/978-3-319-92432-8_3"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133920"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/3291168.3291178"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485730.3485949"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.4230\/OASIcs.WCET.2024.2"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1186\/1556-276x-9-526"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3520089"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2021.102609"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2016.08.039"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","unstructured":"Jonas Rabenstein Dustin Nguyen Oliver Giersch Christian Eichler Timo H\u00f6nig J\u00f6rg Nolte and Wolfgang Schr\u00f6der-Preikschat. 2023. Back to the Core-Memory Age: Running Operating Systems in NVRAM only. In Architecture of Computing Systems. 153\u2013167. isbn:978-3-031-42785-5 https:\/\/doi.org\/10.1007\/978-3-031-42785-5_11 10.1007\/978-3-031-42785-5_11","DOI":"10.1007\/978-3-031-42785-5_11"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3652032.3657569"},{"key":"e_1_3_2_2_46_1","unstructured":"Alex Rebert and Christoph Kern. 2024. Secure by Design: Google\u2019s Perspective on Memory Safety. https:\/\/research.google\/pubs\/secure-by-design-googles-perspective-on-memory-safety\/"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2018.00018"},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317812"},{"key":"e_1_3_2_2_49_1","unstructured":"Stack Exchange Inc.. 2024. Stack Overflow Developer Survey. https:\/\/survey.stackoverflow.co\/2024\/technology"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591250"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.3390\/make5040083"},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483563"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.suscom.2018.07.003"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC54725.2025.10975988"},{"key":"e_1_3_2_2_55_1","unstructured":"Pete Warden and Daniel Situnayake. 2019. TinyML: Machine Learning with Tensorflow Lite on Arduino and Ultra-Low Power Microcontrollers. https:\/\/www.oreilly.com\/library\/view\/tinyml\/9781492052036\/"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"crossref","unstructured":"Andrew Waterman Yunsup Lee Rimas Avizienis David A. Patterson and Krste Asanovi\u0107. 2015. The RISC-V Instruction Set Manual Volume II: Privileged Architecture Version 1.7. http:\/\/www2.eecs.berkeley.edu\/Pubs\/TechRpts\/2015\/EECS-2015-49.html","DOI":"10.21236\/ADA605735"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613160"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/3560905.3568105"},{"key":"e_1_3_2_2_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813637"},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-018-04826-0"},{"key":"e_1_3_2_2_61_1","unstructured":"Joseph Yiu. 2016. ARM Cortex-M for Beginners - An overview of the ARM Cortex-M processor family and comparison. Arm Limited. https:\/\/community.arm.com\/cfs-file\/__key\/telligent-evolution-components-attachments\/01-2142-00-00-00-00-52-96\/White-Paper-_2D00_-Cortex_2D00_M-for-Beginners-_2D00_-2016-_2800_final-v3_2900_.pdf"}],"event":{"name":"LCTES '25: 26th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems","location":"Seoul Republic of Korea","acronym":"LCTES '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 26th ACM SIGPLAN\/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3735452.3735534","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T07:12:50Z","timestamp":1752649970000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3735452.3735534"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,13]]},"references-count":61,"alternative-id":["10.1145\/3735452.3735534","10.1145\/3735452"],"URL":"https:\/\/doi.org\/10.1145\/3735452.3735534","relation":{},"subject":[],"published":{"date-parts":[[2025,6,13]]},"assertion":[{"value":"2025-06-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}