{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T16:19:32Z","timestamp":1783095572631,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":118,"publisher":"ACM","license":[{"start":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T00:00:00Z","timestamp":1743292800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["2148301,2229731,2148367"],"award-info":[{"award-number":["2148301,2229731,2148367"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,3,30]]},"DOI":"10.1145\/3689031.3717470","type":"proceedings-article","created":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:25:20Z","timestamp":1742970320000},"page":"1-20","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Empowering WebAssembly with Thin Kernel Interfaces"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0007-7390-0295","authenticated-orcid":false,"given":"Arjun","family":"Ramesh","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-6788-1302","authenticated-orcid":false,"given":"Tianshu","family":"Huang","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9690-2089","authenticated-orcid":false,"given":"Ben L.","family":"Titzer","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2332-9450","authenticated-orcid":false,"given":"Anthony","family":"Rowe","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Bosch Research, Pittsburgh, Pennsylvania, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,3,30]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2012. Linux Test Project. https:\/\/github.com\/linux-test-project\/ltp.https:\/\/github.com\/linux-test-project\/ltp"},{"key":"e_1_3_2_1_2_1","unstructured":"2018. WasmCrypto: A WebAssembly set of cryptographic primitives. https:\/\/github.com\/jedisct1\/wasm-crypto. https:\/\/github.com\/jedisct1\/wasm-crypto (Accessed 2025-02-21)."},{"key":"e_1_3_2_1_3_1","unstructured":"2019. WebAssembly Exception Handling Proposal. https:\/\/github.com\/webassembly\/exception-handling. https:\/\/github.com\/webassembly\/exception-handling (Accessed 2025-02-20)."},{"key":"e_1_3_2_1_4_1","unstructured":"2020. The edge of the multi-cloud. https:\/\/www.fastly.com\/cassets\/6pk8mg3yh2ee\/79dsHLTEfYIMgUwVVllaa4\/5e5330572b8f317f72e16696256d8138\/WhitePaper-Multi-Cloud.pdf. https:\/\/www.fastly.com\/cassets\/6pk8mg3yh2ee\/79dsHLTEfYIMgUwVVllaa4\/5e5330572b8f317f72e16696256d8138\/WhitePaper-Multi-Cloud.pdf (Accessed 2021-07-06)."},{"key":"e_1_3_2_1_5_1","unstructured":"2020. libuvwasi. https:\/\/github.com\/nodejs\/uvwasi.git. https:\/\/github.com\/nodejs\/uvwasi.git (Access 2023-8-01)."},{"key":"e_1_3_2_1_6_1","unstructured":"2020. musl-libc. https:\/\/www.musl-libc.org. https:\/\/www.musl-libc.org (Accessed 2023-8-08)."},{"key":"e_1_3_2_1_7_1","unstructured":"2020. Unity: Getting started with WebGL development. https:\/\/https:\/\/docs.unity3d.com\/Manual\/webgl-gettingstarted.html. https:\/\/https:\/\/docs.unity3d.com\/Manual\/webgl-gettingstarted.html (Accessed 2025-02-12)."},{"key":"e_1_3_2_1_8_1","unstructured":"2021. Docker. https:\/\/www.docker.com\/. Accessed: 2025-02-21."},{"key":"e_1_3_2_1_9_1","unstructured":"2021. Wasmer: A Fast and Secure WebAssembly Runtime. https:\/\/github.com\/wasmerio\/wasmer. https:\/\/github.com\/wasmerio\/wasmer (Accessed 2025-02-18)."},{"key":"e_1_3_2_1_10_1","unstructured":"2021. Wasmtime: a standalone runtime for WebAssembly. https:\/\/github.com\/bytecodealliance\/wasmtime. https:\/\/github.com\/bytecodealliance\/wasmtime (Accessed 2025-02-20)."},{"key":"e_1_3_2_1_11_1","unstructured":"2021. WebAssembly 128-bit packed SIMD Extension. https:\/\/github.com\/WebAssembly\/simd\/blob\/main\/proposals\/simd\/SIMD.md.https:\/\/github.com\/WebAssembly\/simd\/blob\/main\/proposals\/simd\/SIMD.md (Accessed 2025-2-21)."},{"key":"e_1_3_2_1_12_1","unstructured":"2021. WebAssembly specifications. https:\/\/webassembly.github.io\/spec\/. https:\/\/webassembly.github.io\/spec\/ (Accessed 2025-02-16)."},{"key":"e_1_3_2_1_13_1","unstructured":"2022. WebAssembly Micro Runtime (WAMR). https:\/\/github.com\/bytecodealliance\/wasm-micro-runtime. https:\/\/github.com\/bytecodealliance\/wasm-micro-runtime (Accessed 2025-02-19)."},{"key":"e_1_3_2_1_14_1","unstructured":"2022. WebAssembly Multi Memory Proposal. https:\/\/github.com\/WebAssembly\/multi-memory. https:\/\/github.com\/WebAssembly\/multi-memory (Accessed 2023-7-13)."},{"key":"e_1_3_2_1_15_1","unstructured":"2023. CVE-2023-38408. https:\/\/www.cve.org\/CVERecord?id-CVE-2023-38408. https:\/\/www.cve.org\/CVERecord?id-CVE-2023-38408 (Accessed 2023-08-9)."},{"key":"e_1_3_2_1_16_1","unstructured":"2023. regreSSHion: CVE-2024-6387. https:\/\/www.cve.org\/CVERecord?id=CVE-2024-6387. https:\/\/www.cve.org\/CVERecord?id=CVE-2024-6387 (Accessed 2024-09-16)."},{"key":"e_1_3_2_1_17_1","unstructured":"2023. WebAssembly Tail Call Proposal. https:\/\/github.com\/WebAssembly\/tail-call. https:\/\/github.com\/WebAssembly\/tail-call (Accessed 2025-2-18)."},{"key":"e_1_3_2_1_18_1","unstructured":"2024. WebAssembly Custom Page Sizes Proposal. https:\/\/github.com\/WebAssembly\/custom-page-sizes. https:\/\/github.com\/WebAssembly\/custom-page-sizes (Accessed 2025-2-20)."},{"key":"e_1_3_2_1_19_1","unstructured":"2024. WebAssembly Garbage Collection Proposal. https:\/\/github.com\/WebAssembly\/gc. https:\/\/github.com\/WebAssembly\/gc (Accessed 2025-2-20)."},{"key":"e_1_3_2_1_20_1","unstructured":"2024. WebAssembly Memory-64 Proposal. https:\/\/github.com\/WebAssembly\/memory64. https:\/\/github.com\/WebAssembly\/memory64 (Accessed 2025-2-21)."},{"key":"e_1_3_2_1_21_1","unstructured":"2024. WebAssembly Relaxed SIMD Proposal. https:\/\/github.com\/WebAssembly\/relaxed-simd. https:\/\/github.com\/WebAssembly\/relaxed-simd (Accessed 2025-2-21)."},{"key":"e_1_3_2_1_22_1","unstructured":"2025. WebAssembly Shared-Everything Threads Proposal. https:\/\/github.com\/WebAssembly\/shared-everything-threads\/tree\/main. https:\/\/github.com\/WebAssembly\/shared-everything-threads\/tree\/main (Accessed 2025-2-21)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1609956.1609960"},{"key":"e_1_3_2_1_24_1","volume-title":"17th USENIX symposium on networked systems design and implementation (NSDI 20)","author":"Agache Alexandru","year":"2020","unstructured":"Alexandru Agache, Marc Brooker, Alexandra Iordache, Anthony Liguori, Rolf Neugebauer, Phil Piwonka, and Diana-Maria Popa. 2020. Firecracker: Lightweight virtualization for serverless applications. In 17th USENIX symposium on networked systems design and implementation (NSDI 20). 419--434."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/324681.324684"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290384"},{"key":"e_1_3_2_1_27_1","volume-title":"WASI: The WebAssembly System Interface. wasi.dev. https:\/\/wasi.dev\/ (Accessed 2023-8-08).","author":"WASI","year":"2023","unstructured":"WASI authors. 2023. WASI: The WebAssembly System Interface. wasi.dev. https:\/\/wasi.dev\/ (Accessed 2023-8-08)."},{"key":"e_1_3_2_1_28_1","volume-title":"WASIX: The Superset of WASI. wasix.org.http:\/\/wasix.org (Accessed 2023-8-08).","author":"Wasmer","year":"2023","unstructured":"Wasmer authors. 2023. WASIX: The Superset of WASI. wasix.org.http:\/\/wasix.org (Accessed 2023-8-08)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1002\/ett.4234"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454107"},{"key":"e_1_3_2_1_31_1","volume-title":"QEMU: A generic and open source machine emulator and virtualizer","author":"Bellard Fabrice","year":"2020","unstructured":"Fabrice Bellard. 2020. QEMU: A generic and open source machine emulator and virtualizer. http:\/\/qemu.org. http:\/\/qemu.org (Accessed 2023-8-07)."},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the USENIX Security Symposium.","author":"Bosamiya Jay","year":"2022","unstructured":"Jay Bosamiya, Wen Shih Lim, and Bryan Parno. 2022. Provably-Safe Multilingual Software Sandboxing using WebAssembly. In Proceedings of the USENIX Security Symposium."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.23"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.5668"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3053600.3053605"},{"key":"e_1_3_2_1_36_1","unstructured":"David Chisnall. 2008. The definitive guide to the xen hypervisor. Pearson Education."},{"key":"e_1_3_2_1_37_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Connor Emma","year":"2020","unstructured":"Emma Connor, Tyler McDaniel, Jared M Smith, and Max Schuchard. 2020. {PKU} pitfalls: Attacks on {PKU-based} memory isolation systems. In 29th USENIX Security Symposium (USENIX Security 20). 1409--1426."},{"key":"e_1_3_2_1_38_1","volume-title":"Seccomp and sandboxing. LWN (13","author":"Corbet Jonathan","year":"2009","unstructured":"Jonathan Corbet. 2009. Seccomp and sandboxing. LWN (13 May 2009)."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2843915.2843921"},{"key":"e_1_3_2_1_40_1","volume-title":"Truly portable Vehicle Applications using Webassembly & WASI. (27","author":"Danzeisen Mathias","year":"2023","unstructured":"Mathias Danzeisen. 2023. Truly portable Vehicle Applications using Webassembly & WASI. (27 April 2023). https:\/\/wiki.covesa.global\/display\/WIK4\/COVESA+All+Member+Meeting+~+April+25-27%2C+2023 COVESA All Member Meeting."},{"key":"e_1_3_2_1_41_1","unstructured":"Pedro Miguel Veiga de Almeida et al. 2023. Study and Implementation of Modular Software Architectures based on Hypervisors for Automotive Electronic Control Units. (2023)."},{"key":"e_1_3_2_1_42_1","volume-title":"Performance of WebAssembly runtimes","author":"Denis Frank","year":"2023","unstructured":"Frank Denis. 2023. Performance of WebAssembly runtimes in 2023. https:\/\/00f.net\/2023\/01\/04\/webassembly-benchmark-2023\/"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/143095.143140"},{"key":"e_1_3_2_1_44_1","volume-title":"PNaCl: Portable native client executables. Google White Paper","author":"Donovan Alan","year":"2010","unstructured":"Alan Donovan, Robert Muth, Brad Chen, and David Sehr. 2010. PNaCl: Portable native client executables. Google White Paper (2010)."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1618525.1618534"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503222.3507732"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378512"},{"key":"e_1_3_2_1_48_1","volume-title":"2008 USENIX Annual Technical Conference (USENIX ATC 08)","author":"Ford Bryan","year":"2008","unstructured":"Bryan Ford and Russ Cox. 2008. Vx32: Lightweight user-level sandboxing on the x86. In 2008 USENIX Annual Technical Conference (USENIX ATC 08)."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/3423211.3425680"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","unstructured":"Shilpi Goel Warren A. Hunt Matt Kaufmann and Soumava Ghosh. 2014. Simulation and formal verification of x86 machine-code programs that make system calls. In 2014 Formal Methods in Computer-Aided Design (FMCAD). 91--98. https:\/\/doi.org\/10.1109\/FMCAD.2014.6987600","DOI":"10.1109\/FMCAD.2014.6987600"},{"key":"e_1_3_2_1_51_1","volume-title":"VMware vSphere design","author":"Guthrie Forbes","unstructured":"Forbes Guthrie, Scott Lowe, and Kendrick Coleman. 2013. VMware vSphere design. John Wiley & Sons."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062363"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.11591\/eei.v10i3.2526"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICISE.2009.289"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613136"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/3582016.3582066"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00013"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179357"},{"key":"e_1_3_2_1_59_1","unstructured":"Marcin Juszkiewicz. 2023. Linux system calls tables for several architectures. https:\/\/marcin.juszkiewicz.com.pl\/download\/tables\/syscalls.html. https:\/\/marcin.juszkiewicz.com.pl\/download\/tables\/syscalls.html (Accessed 2023-08-09)."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD55607.2022.00077"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.4018\/IJSSOE.297136"},{"key":"e_1_3_2_1_62_1","volume-title":"Proceedings of the Linux symposium","volume":"1","author":"Kivity Avi","year":"2007","unstructured":"Avi Kivity, Yaniv Kamay, Dor Laor, Uri Lublin, and Anthony Liguori. 2007. kvm: the Linux virtual machine monitor. In Proceedings of the Linux symposium, Vol. 1. Dttawa, Dntorio, Canada, 225--230."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743574"},{"key":"e_1_3_2_1_64_1","article-title":"Bochs: A portable pc emulator for unix\/x","volume":"1996","author":"Lawton Kevin P","year":"1996","unstructured":"Kevin P Lawton. 1996. Bochs: A portable pc emulator for unix\/x. Linux Journal 1996, 29es (1996), 7-es.","journal-title":"Linux Journal"},{"key":"e_1_3_2_1_65_1","volume-title":"2018 International Conference on Information and Communication Technology Convergence (ICTC). IEEE, 1292--1294","unstructured":"Yun-kyung Lee et al. 2018. Implementation of TLS and DTLS on Zephyr OS for IoT devices. In 2018 International Conference on Information and Communication Technology Convergence (ICTC). IEEE, 1292--1294."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3617232.3624861"},{"key":"e_1_3_2_1_67_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Lehmann Daniel","year":"2020","unstructured":"Daniel Lehmann, Johannes Kinder, and Michael Pradel. 2020. Everything old is new again: Binary security of {WebAssembly}. In 29th USENIX Security Symposium (USENIX Security 20). 217--234."},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3458864.3466910"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498361.3538922"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453142.3491282"},{"key":"e_1_3_2_1_72_1","volume-title":"NET framework: Ready for real time? IEEE software 20, 1","author":"Lutz Michael H","year":"2003","unstructured":"Michael H Lutz and Phillip A Laplante. 2003. C# and the. NET framework: Ready for real time? IEEE software 20, 1 (2003), 74--80."},{"key":"e_1_3_2_1_73_1","unstructured":"LXC. 2023. LXC Introduction. https:\/\/linuxcontainers.org\/lxc\/introduction\/. https:\/\/linuxcontainers.org\/lxc\/introduction\/ (Accessed 2023-8-08)."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132763"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDE51399.2021.00025"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.5555\/2600239.2600241"},{"key":"e_1_3_2_1_77_1","unstructured":"Microsoft. 2021. Hyper-V Technology Overview. https:\/\/learn.microsoft.com\/en-us\/windows-server\/virtualization\/hyper-v\/hyper-v-technology-overview. https:\/\/learn.microsoft.com\/en-us\/windows-server\/virtualization\/hyper-v\/hyper-v-technology-overview (Accessed 2023-8-08)."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/MECO58584.2023.10155088"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434770.3459731"},{"key":"e_1_3_2_1_80_1","unstructured":"Vili-Petteri Niemel\u00e4. 2021. WebAssembly Fourth Language in the Web. (2021)."},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2018.00012"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2015.108"},{"key":"e_1_3_2_1_83_1","volume-title":"Towards a TrustZone-assisted hypervisor for real-time embedded systems","author":"Pinto Sandro","year":"2016","unstructured":"Sandro Pinto, Jorge Pereira, Tiago Gomes, Mongkol Ekpanyapong, and Adriano Tavares. 2016. Towards a TrustZone-assisted hypervisor for real-time embedded systems. IEEE computer architecture letters 16, 2 (2016), 158--161."},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950399"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037727"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.5555\/1052676.1052707"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591265"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-sen.2017.0048"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","unstructured":"Alastair Reid. 2016. Trustworthy specifications of ARM\u00ae v8-A and v8-M system level architecture. In 2016 Formal Methods in Computer-Aided Design (FMCAD). 161--168. https:\/\/doi.org\/10.1109\/FMCAD.2016 7886675","DOI":"10.1109\/FMCAD.2016"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.23919\/AEITAUTOMOTIVE50086.2020.9307384"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-6038-8"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO50266.2020.00017"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLEI53233.2021.9640153"},{"key":"e_1_3_2_1_94_1","unstructured":"William Stacken\u00e4s. 2023. An Evaluation of WebAssembly Pre-Initialization for Faster Startup Times. Master's thesis. KTH School of Electrical Engineering and Computer Science (EECS)."},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/1215995.1215999"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"crossref","unstructured":"Jian Sun DingYuan Cao Ximing Liu ZiYi Zhao WenWen Wang XiaoLi Gong and Jin Zhang. 2019. Selwasm: A code protection mechanism for webassembly. In 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications Big Data & Cloud Computing Sustainable Computing & Communications Social Computing & Networking (ISPA\/BDCloud\/SocialCom\/SustainCom). IEEE 1099--1106.","DOI":"10.1109\/ISPA-BDCloud-SustainCom-SocialCom48970.2019.00157"},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC55918.2022.00030"},{"key":"e_1_3_2_1_98_1","doi-asserted-by":"publisher","unstructured":"Amer Tahat Sarang Joshi Pronnoy Goswami and Binoy Ravindran. 2019. Scalable Translation Validation of Unverified Legacy OS Code. In 2019 Formal Methods in Computer Aided Design (FMCAD). 1--9. https:\/\/doi.org\/10.23919\/FMCAD.2019.8894252","DOI":"10.23919\/FMCAD.2019.8894252"},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563311"},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO57630.2024.10444855"},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1145\/2901318.2901341"},{"key":"e_1_3_2_1_102_1","unstructured":"Kenton Varda. [n. d.]. WebAssembly on Cloudflare Workers. https:\/\/blog.cloudflare.com\/webassembly-on-cloudflare-workers\/. https:\/\/blog.cloudflare.com\/webassembly-on-cloudflare-workers\/ (Accessed 2025-02-21)."},{"key":"e_1_3_2_1_103_1","unstructured":"Christian Vecchiola Xingchen Chu Rajkumar Buyya et al. 2009. Aneka: a software platform for .NET-based cloud computing. High speed and large scale scientific computing 18 3 (2009) 267--295."},{"key":"e_1_3_2_1_104_1","volume-title":"Potential of WebAssembly for Embedded Systems. In 2022 11th Mediterranean Conference on Embedded Computing (MECO). IEEE, 1--4.","author":"Wallentowitz Stefan","year":"2022","unstructured":"Stefan Wallentowitz, Bastian Kersting, and Dan Mihai Dumitriu. 2022. Potential of WebAssembly for Embedded Systems. In 2022 11th Mediterranean Conference on Embedded Computing (MECO). IEEE, 1--4."},{"key":"e_1_3_2_1_105_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2022.11.018"},{"key":"e_1_3_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678831"},{"key":"e_1_3_2_1_107_1","doi-asserted-by":"publisher","DOI":"10.1109\/IISWC55918.2022.00028"},{"key":"e_1_3_2_1_108_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167082"},{"key":"e_1_3_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1109\/CloudCom.2019.00016"},{"key":"e_1_3_2_1_110_1","doi-asserted-by":"publisher","DOI":"10.1109\/PerComWorkshops48775.2020.9156135"},{"key":"e_1_3_2_1_111_1","volume-title":"Unikernel Monitors: Extending Minimalism Outside of the Box. In 8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 16)","author":"Williams Dan","year":"2016","unstructured":"Dan Williams and Ricardo Koller. 2016. Unikernel Monitors: Extending Minimalism Outside of the Box. In 8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 16). USENIX Association, Denver, CO. https:\/\/www.usenix.org\/conference\/hotcloud16\/workshop-program\/presentation\/williams"},{"key":"e_1_3_2_1_112_1","volume-title":"An end-to-end toolchain for evaluating WebAssembly runtimes for CPS-IoT Use cases. (25","author":"Woods Chris","year":"2022","unstructured":"Chris Woods and Ajay Chhokra. 2022. An end-to-end toolchain for evaluating WebAssembly runtimes for CPS-IoT Use cases. (25 October 2022). https:\/\/www.cs.cmu.edu\/~wasm\/wasm-research-day-2022.html WebAssembly Research Day 2022."},{"key":"e_1_3_2_1_113_1","doi-asserted-by":"publisher","DOI":"10.1145\/1215995.1215998"},{"key":"e_1_3_2_1_114_1","doi-asserted-by":"publisher","DOI":"10.1145\/3620665.3640408"},{"key":"e_1_3_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629175.1629203"},{"key":"e_1_3_2_1_116_1","volume-title":"11th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 19)","author":"Young Ethan G","year":"2019","unstructured":"Ethan G Young, Pengfei Zhu, Tyler Caraza-Harter, Andrea C Arpaci-Dusseau, and Remzi H Arpaci-Dusseau. 2019. The true cost of containing: A {gVisor} case study. In 11th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 19)."},{"key":"e_1_3_2_1_117_1","volume-title":"16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)","author":"Zhong Yuhong","year":"2022","unstructured":"Yuhong Zhong, Haoyu Li, Yu Jian Wu, Ioannis Zarkadas, Jeffrey Tao, Evan Mesterhazy, Michael Makris, Junfeng Yang, Amy Tai, Ryan Stutsman, et al. 2022. {XRP}:{In-Kernel} Storage Functions with {eBPF}. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). 375--393."},{"key":"e_1_3_2_1_118_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134043"}],"event":{"name":"EuroSys '25: Twentieth European Conference on Computer Systems","location":"Rotterdam Netherlands","acronym":"EuroSys '25","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Twentieth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689031.3717470","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3689031.3717470","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T11:22:26Z","timestamp":1755775346000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3689031.3717470"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,30]]},"references-count":118,"alternative-id":["10.1145\/3689031.3717470","10.1145\/3689031"],"URL":"https:\/\/doi.org\/10.1145\/3689031.3717470","relation":{},"subject":[],"published":{"date-parts":[[2025,3,30]]},"assertion":[{"value":"2025-03-30","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}