{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T06:10:18Z","timestamp":1774419018491,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,9,10]],"date-time":"2023-09-10T00:00:00Z","timestamp":1694304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CNS-2236966"],"award-info":[{"award-number":["CNS-2236966"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,9,10]]},"DOI":"10.1145\/3609021.3609299","type":"proceedings-article","created":{"date-parts":[[2023,8,18]],"date-time":"2023-08-18T17:13:20Z","timestamp":1692378800000},"page":"63-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Enabling eBPF on Embedded Systems Through Decoupled Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-6341-4028","authenticated-orcid":false,"given":"Milo","family":"Craun","sequence":"first","affiliation":[{"name":"Virginia Tech, Blacksburg, United States of America"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-1310-547X","authenticated-orcid":false,"given":"Adam","family":"Oswald","sequence":"additional","affiliation":[{"name":"Virginia Tech, Blacksburg, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1537-0525","authenticated-orcid":false,"given":"Dan","family":"Williams","sequence":"additional","affiliation":[{"name":"Virginia Tech, Blacksburg, United States of America"}]}],"member":"320","published-online":{"date-parts":[[2023,9,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Paolo Abeni. 2018. Achieving high-performance low-latency networking with XDP: Part I. https:\/\/developers.redhat.com\/blog\/2018\/12\/06\/achieving-high-performance-low-latency-networking-with-xdp-part-1  Paolo Abeni. 2018. Achieving high-performance low-latency networking with XDP: Part I. https:\/\/developers.redhat.com\/blog\/2018\/12\/06\/achieving-high-performance-low-latency-networking-with-xdp-part-1"},{"key":"e_1_3_2_1_2_1","unstructured":"Adrian Ratiu. 2019. An eBPF overview part 4: Working with embedded systems. https:\/\/www.collabora.com\/news-and-blog\/blog\/2019\/05\/06\/an-ebpf-overview-part-4-working-with-embedded-systems\/  Adrian Ratiu. 2019. An eBPF overview part 4: Working with embedded systems. https:\/\/www.collabora.com\/news-and-blog\/blog\/2019\/05\/06\/an-ebpf-overview-part-4-working-with-embedded-systems\/"},{"key":"e_1_3_2_1_3_1","unstructured":"Adrian Ratiu. 2022. Tracing resource-constrained embedded systems using eBPF. https:\/\/elinux.org\/images\/2\/22\/Embedded-eBPF.pdf  Adrian Ratiu. 2022. Tracing resource-constrained embedded systems using eBPF. https:\/\/elinux.org\/images\/2\/22\/Embedded-eBPF.pdf"},{"key":"e_1_3_2_1_4_1","unstructured":"Alan Maguire. 2019. BPF In Depth: Building BPF Programs. https:\/\/blogs.oracle.com\/linux\/post\/bpf-in-depth-building-bpf-programs.  Alan Maguire. 2019. BPF In Depth: Building BPF Programs. https:\/\/blogs.oracle.com\/linux\/post\/bpf-in-depth-building-bpf-programs."},{"key":"e_1_3_2_1_5_1","unstructured":"Cilium Authors. 2023. https:\/\/docs.cilium.io\/en\/latest\/bpf\/architecture\/  Cilium Authors. 2023. https:\/\/docs.cilium.io\/en\/latest\/bpf\/architecture\/"},{"key":"e_1_3_2_1_6_1","unstructured":"The Cilium Authors. 2023. Cilium. https:\/\/github.com\/cilium\/cilium  The Cilium Authors. 2023. Cilium. https:\/\/github.com\/cilium\/cilium"},{"key":"e_1_3_2_1_7_1","unstructured":"BeagleBoard.org Foundation. 2023. BeagleBone. https:\/\/beagleboard.org\/bone.  BeagleBoard.org Foundation. 2023. BeagleBone. https:\/\/beagleboard.org\/bone."},{"key":"e_1_3_2_1_8_1","unstructured":"Buildroot. 2023. Buildroot. https:\/\/buildroot.org\/.  Buildroot. 2023. Buildroot. https:\/\/buildroot.org\/."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314590"},{"key":"e_1_3_2_1_10_1","volume-title":"18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21)","author":"Ghigoff Yoann","year":"2021","unstructured":"Yoann Ghigoff , Julien Sopena , Kahina Lazri , Antoine Blin , and Gilles Muller . 2021 . BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing . In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21) . USENIX Association, 487--501. https:\/\/www.usenix.org\/conference\/nsdi21\/presentation\/ghigoff Yoann Ghigoff, Julien Sopena, Kahina Lazri, Antoine Blin, and Gilles Muller. 2021. BMC: Accelerating Memcached using Safe In-kernel Caching and Pre-stack Processing. In 18th USENIX Symposium on Networked Systems Design and Implementation (NSDI 21). USENIX Association, 487--501. https:\/\/www.usenix.org\/conference\/nsdi21\/presentation\/ghigoff"},{"key":"e_1_3_2_1_11_1","unstructured":"Brendan Gregg. 2020. https:\/\/www.brendangregg.com\/blog\/2020-11-04\/bpf-co-re-btf-libbpf.html  Brendan Gregg. 2020. https:\/\/www.brendangregg.com\/blog\/2020-11-04\/bpf-co-re-btf-libbpf.html"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093157.2093176"},{"key":"e_1_3_2_1_13_1","volume-title":"RapidPatch: Firmware Hotpatching for Real-Time Embedded Devices. In 31st USENIX Security Symposium (USENIX Security 22)","author":"He Yi","year":"2022","unstructured":"Yi He , Zhenhua Zou , Kun Sun , Zhuotao Liu , Ke Xu , Qian Wang , Chao Shen , Zhi Wang , and Qi Li . 2022 . RapidPatch: Firmware Hotpatching for Real-Time Embedded Devices. In 31st USENIX Security Symposium (USENIX Security 22) . USENIX Association, Boston, MA, 2225--2242. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/he-yi Yi He, Zhenhua Zou, Kun Sun, Zhuotao Liu, Ke Xu, Qian Wang, Chao Shen, Zhi Wang, and Qi Li. 2022. RapidPatch: Firmware Hotpatching for Real-Time Embedded Devices. In 31st USENIX Security Symposium (USENIX Security 22). USENIX Association, Boston, MA, 2225--2242. https:\/\/www.usenix.org\/conference\/usenixsecurity22\/presentation\/he-yi"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1772954.1772965"},{"key":"e_1_3_2_1_15_1","unstructured":"IO Visor. 2023. BPF Compiler Collection. https:\/\/github.com\/iovisor\/bcc.  IO Visor. 2023. BPF Compiler Collection. https:\/\/github.com\/iovisor\/bcc."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3593856.3595892"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3492321.3519562"},{"key":"e_1_3_2_1_18_1","volume-title":"Chris Williamson and Dimitrios P. Pezaros","author":"Paul Douglas J.","year":"2023","unstructured":"Douglas J. Paul Kyle A. Simpson , Chris Williamson and Dimitrios P. Pezaros . 2023 . GALETTE: a Lightweight XDP Dataplane on your Raspberry Pi. In IFIP Networking 2023. Barcelona, Spain. Accepted for Publication . Douglas J. Paul Kyle A. Simpson, Chris Williamson and Dimitrios P. Pezaros. 2023. GALETTE: a Lightweight XDP Dataplane on your Raspberry Pi. In IFIP Networking 2023. Barcelona, Spain. Accepted for Publication."},{"key":"e_1_3_2_1_19_1","volume-title":"Java SE 8 Edition","author":"Lindholm Tim","unstructured":"Tim Lindholm , Frank Yellin , Gilad Bracha , and Alex Buckley . 2014. The Java Virtual Machine Specification , Java SE 8 Edition ( 1 st ed.). Addison-Wesley Professional . Tim Lindholm, Frank Yellin, Gilad Bracha, and Alex Buckley. 2014. The Java Virtual Machine Specification, Java SE 8 Edition (1st ed.). Addison-Wesley Professional.","edition":"1"},{"key":"e_1_3_2_1_20_1","unstructured":"Linux. 2023. BPF Design Q&A. https:\/\/docs.kernel.org\/bpf\/bpf_design_QA.html. Accessed: 2023-06-06.  Linux. 2023. BPF Design Q&A. https:\/\/docs.kernel.org\/bpf\/bpf_design_QA.html. Accessed: 2023-06-06."},{"key":"e_1_3_2_1_21_1","unstructured":"Linux. 2023. eBPF verifier. https:\/\/docs.kernel.org\/bpf\/verifier.html. Accessed: 2023-06-05.  Linux. 2023. eBPF verifier. https:\/\/docs.kernel.org\/bpf\/verifier.html. Accessed: 2023-06-05."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPSR.2018.8850758"},{"key":"e_1_3_2_1_23_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Nelson Luke","year":"2020","unstructured":"Luke Nelson , Jacob Van Geffen , Emina Torlak , and Xi Wang . 2020 . Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel . In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20) . USENIX Association, 41--61. https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/nelson Luke Nelson, Jacob Van Geffen, Emina Torlak, and Xi Wang. 2020. Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). USENIX Association, 41--61. https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/nelson"},{"key":"e_1_3_2_1_24_1","unstructured":"NetObserv. 2023. NetObserv. https:\/\/github.com\/netobserv\/network-observability-operator  NetObserv. 2023. NetObserv. https:\/\/github.com\/netobserv\/network-observability-operator"},{"key":"e_1_3_2_1_25_1","unstructured":"OpenWrt. 2023. OpenWrt. https:\/\/openwrt.org\/.  OpenWrt. 2023. OpenWrt. https:\/\/openwrt.org\/."},{"key":"e_1_3_2_1_26_1","volume-title":"Application-Informed Kernel Synchronization Primitives. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22)","author":"Park Sujin","year":"2022","unstructured":"Sujin Park , Diyu Zhou , Yuchen Qian , Irina Calciu , Taesoo Kim , and Sanidhya Kashyap . 2022 . Application-Informed Kernel Synchronization Primitives. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22) . USENIX Association, Carlsbad, CA, 667--682. https:\/\/www.usenix.org\/conference\/osdi22\/presentation\/park Sujin Park, Diyu Zhou, Yuchen Qian, Irina Calciu, Taesoo Kim, and Sanidhya Kashyap. 2022. Application-Informed Kernel Synchronization Primitives. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). USENIX Association, Carlsbad, CA, 667--682. https:\/\/www.usenix.org\/conference\/osdi22\/presentation\/park"},{"key":"e_1_3_2_1_27_1","unstructured":"Pixie. 2023. Pixie. https:\/\/github.com\/pixie-io\/pixie  Pixie. 2023. Pixie. https:\/\/github.com\/pixie-io\/pixie"},{"key":"e_1_3_2_1_28_1","unstructured":"Yocto Project. 2023. Yocto Project. https:\/\/www.yoctoproject.org\/.  Yocto Project. 2023. Yocto Project. https:\/\/www.yoctoproject.org\/."},{"key":"e_1_3_2_1_29_1","unstructured":"Raspberry Pi Foundation. 2023. Raspberry Pi Software. https:\/\/www.raspberrypi.com\/software.  Raspberry Pi Foundation. 2023. Raspberry Pi Software. https:\/\/www.raspberrypi.com\/software."},{"key":"e_1_3_2_1_30_1","unstructured":"Dave Thaler and Poorna Gaddehosur. 2021. Making eBPF work on Windows. https:\/\/cloudblogs.microsoft.com\/opensource\/2021\/05\/10\/making-ebpf-work-on-windows\/  Dave Thaler and Poorna Gaddehosur. 2021. Making eBPF work on Windows. https:\/\/cloudblogs.microsoft.com\/opensource\/2021\/05\/10\/making-ebpf-work-on-windows\/"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3452296.3472929"},{"key":"e_1_3_2_1_32_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 , and Asaf Cidon . 2022 . XRP: In-Kernel Storage Functions with eBPF . In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22) . USENIX Association, Carlsbad, CA, 375--393. https:\/\/www.usenix.org\/conference\/osdi22\/presentation\/zhong Yuhong Zhong, Haoyu Li, Yu Jian Wu, Ioannis Zarkadas, Jeffrey Tao, Evan Mesterhazy, Michael Makris, Junfeng Yang, Amy Tai, Ryan Stutsman, and Asaf Cidon. 2022. XRP: In-Kernel Storage Functions with eBPF. In 16th USENIX Symposium on Operating Systems Design and Implementation (OSDI 22). USENIX Association, Carlsbad, CA, 375--393. https:\/\/www.usenix.org\/conference\/osdi22\/presentation\/zhong"}],"event":{"name":"eBPF '23: 1st Workshop on eBPF and Kernel Extensions","location":"New York NY USA","acronym":"eBPF '23","sponsor":["SIGCOMM ACM Special Interest Group on Data Communication"]},"container-title":["Proceedings of the 1st Workshop on eBPF and Kernel Extensions"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609021.3609299","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:57Z","timestamp":1750182537000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609021.3609299"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,10]]},"references-count":32,"alternative-id":["10.1145\/3609021.3609299","10.1145\/3609021"],"URL":"https:\/\/doi.org\/10.1145\/3609021.3609299","relation":{},"subject":[],"published":{"date-parts":[[2023,9,10]]},"assertion":[{"value":"2023-09-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}