{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T05:18:42Z","timestamp":1755926322977,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,5,13]],"date-time":"2019-05-13T00:00:00Z","timestamp":1557705600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1518702"],"award-info":[{"award-number":["CNS-1518702"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100005801","name":"Facebook","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100005801","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003816","name":"Huawei Technologies","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003816","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,5,13]]},"DOI":"10.1145\/3317550.3321429","type":"proceedings-article","created":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T19:01:58Z","timestamp":1557514918000},"page":"170-176","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Practical Safe Linux Kernel Extensibility"],"prefix":"10.1145","author":[{"given":"Samantha","family":"Miller","sequence":"first","affiliation":[{"name":"University of Washington"}]},{"given":"Kaiyuan","family":"Zhang","sequence":"additional","affiliation":[{"name":"University of Washington"}]},{"given":"Danyang","family":"Zhuo","sequence":"additional","affiliation":[{"name":"University of Washington"}]},{"given":"Shibin","family":"Xu","sequence":"additional","affiliation":[{"name":"University of Washington"}]},{"given":"Arvind","family":"Krishnamurthy","sequence":"additional","affiliation":[{"name":"University of Washington"}]},{"given":"Thomas","family":"Anderson","sequence":"additional","affiliation":[{"name":"University of Washington"}]}],"member":"320","published-online":{"date-parts":[[2019,5,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Mach: A New Kernel Foundation For UNIX Development. In Summer USENIX.","author":"Accetta Mike","year":"1986","unstructured":"Mike Accetta , Robert Baron , William Bolosky , David Golub , Richard Rashid , Avadis Tevanian , and Michael Young . 1986 . Mach: A New Kernel Foundation For UNIX Development. In Summer USENIX. Mike Accetta, Robert Baron, William Bolosky, David Golub, Richard Rashid, Avadis Tevanian, and Michael Young. 1986. Mach: A New Kernel Foundation For UNIX Development. In Summer USENIX."},{"key":"e_1_3_2_1_2_1","unstructured":"AppArmor 2018. AppArmor. https:\/\/www.kernel.org\/doc\/Documentation\/security\/apparmor.txt. (2018).  AppArmor 2018. AppArmor. https:\/\/www.kernel.org\/doc\/Documentation\/security\/apparmor.txt. (2018)."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629581"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132776"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_3_2_1_7_1","volume-title":"Morris","author":"Cutler Cody","year":"2018","unstructured":"Cody Cutler , M. Frans Kaashoek , and Robert T . Morris . 2018 . The benefits and costs of writing a POSIX kernel in a high-level language. In OSDI. Cody Cutler, M. Frans Kaashoek, and Robert T. Morris. 2018. The benefits and costs of writing a POSIX kernel in a high-level language. In OSDI."},{"key":"e_1_3_2_1_8_1","unstructured":"Docker 2018. Docker. https:\/\/www.docker.com\/. (2018).  Docker 2018. Docker. https:\/\/www.docker.com\/. (2018)."},{"key":"e_1_3_2_1_9_1","unstructured":"DPDK 2017. Intel Data Plane Development Kit (Intel DPDK) Programmer's Guide. https:\/\/doc.dpdk.org\/guides\/prog_guide\/. (2017).  DPDK 2017. Intel Data Plane Development Kit (Intel DPDK) Programmer's Guide. https:\/\/doc.dpdk.org\/guides\/prog_guide\/. (2017)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224076"},{"key":"e_1_3_2_1_11_1","volume-title":"Necula","author":"Erlingsson \u00dalfar","year":"2006","unstructured":"\u00dalfar Erlingsson , Mart\u00edn Abadi , Michael Vrable , Mihai Budiu , and George C . Necula . 2006 . XFI : Software Guards for System Address Spaces. In OSDI. \u00dalfar Erlingsson, Mart\u00edn Abadi, Michael Vrable, Mihai Budiu, and George C. Necula. 2006. XFI: Software Guards for System Address Spaces. In OSDI."},{"key":"e_1_3_2_1_12_1","unstructured":"Fuse 2018. Filesystem in Userspace. https:\/\/github.com\/libfuse\/libfuse. (2018).  Fuse 2018. Filesystem in Userspace. https:\/\/github.com\/libfuse\/libfuse. (2018)."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132786"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224075"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043568"},{"key":"e_1_3_2_1_18_1","unstructured":"Steven McCanne and Jacobson Van. 1993. The BSD Packet Filter: A New Architecture for User-level Packet Capture. In Winter USENIX.   Steven McCanne and Jacobson Van. 1993. The BSD Packet Filter: A New Architecture for User-level Packet Capture. In Winter USENIX."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238781"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132748"},{"key":"e_1_3_2_1_21_1","unstructured":"Overlayfs 2018. Overlay Filesystem. https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/overlayfs.txt. (2018).  Overlayfs 2018. Overlay Filesystem. https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/overlayfs.txt. (2018)."},{"key":"e_1_3_2_1_22_1","unstructured":"Ben Pfaff Justin Pettit Teemu Koponen Ethan J. Jackson Andy Zhou Jarno Rajahalme Jesse Gross Alex Wang Jonathan Stringer Pravin Shelar Keith Amidon and Mart\u00edn Casado. 2015. The Design and Implementation of Open vSwitch (NSDI).   Ben Pfaff Justin Pettit Teemu Koponen Ethan J. Jackson Andy Zhou Jarno Rajahalme Jesse Gross Alex Wang Jonathan Stringer Pravin Shelar Keith Amidon and Mart\u00edn Casado. 2015. The Design and Implementation of Open vSwitch (NSDI)."},{"key":"e_1_3_2_1_23_1","unstructured":"romfs 2019. ROMFS - ROM FILE SYSTEM. https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/romfs.txt. (2019).  romfs 2019. ROMFS - ROM FILE SYSTEM. https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/romfs.txt. (2019)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238779"},{"key":"e_1_3_2_1_25_1","unstructured":"Helgi Sigurbjarnarson James Bornholt Emina Torlak and Xi Wang. 2016. Push-button Verification of File Systems via Crash Refinement. In OSDI.   Helgi Sigurbjarnarson James Bornholt Emina Torlak and Xi Wang. 2016. Push-button Verification of File Systems via Crash Refinement. In OSDI."},{"key":"e_1_3_2_1_26_1","volume-title":"Linux Plumbers Conference.","author":"Tu William","year":"2018","unstructured":"William Tu , Joe Stringer , Yifeng Sun , and Wei Yi-Hung . 2018 . Bringing the Power of eBPF to Open vSwitch . In Linux Plumbers Conference. William Tu, Joe Stringer, Yifeng Sun, and Wei Yi-Hung. 2018. Bringing the Power of eBPF to Open vSwitch. In Linux Plumbers Conference."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168635"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806610"}],"event":{"name":"HotOS '19: Workshop on Hot Topics in Operating Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Bertinoro Italy","acronym":"HotOS '19"},"container-title":["Proceedings of the Workshop on Hot Topics in Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3317550.3321429","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3317550.3321429","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3317550.3321429","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:02:27Z","timestamp":1750208547000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3317550.3321429"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,13]]},"references-count":28,"alternative-id":["10.1145\/3317550.3321429","10.1145\/3317550"],"URL":"https:\/\/doi.org\/10.1145\/3317550.3321429","relation":{},"subject":[],"published":{"date-parts":[[2019,5,13]]},"assertion":[{"value":"2019-05-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}