{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T08:34:06Z","timestamp":1777106046930,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":66,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T00:00:00Z","timestamp":1683504000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EU H2020","award":["825377"],"award-info":[{"award-number":["825377"]}]},{"name":"CORNET H2020","award":["758815"],"award-info":[{"award-number":["758815"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,5,8]]},"DOI":"10.1145\/3552326.3587454","type":"proceedings-article","created":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T17:33:02Z","timestamp":1683307982000},"page":"574-589","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Nephele: Extending Virtualization Environments for Cloning Unikernel-based VMs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-9585-8474","authenticated-orcid":false,"given":"Costin","family":"Lupu","sequence":"first","affiliation":[{"name":"Computer Science and Engineering Department, University POLITEHNICA of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-0418-5422","authenticated-orcid":false,"given":"Andrei","family":"Albi\u0219oru","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department, University POLITEHNICA of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2590-8551","authenticated-orcid":false,"given":"Radu","family":"Nichita","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department, University POLITEHNICA of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-1783-981X","authenticated-orcid":false,"given":"Doru-Florin","family":"Bl\u00e2nzeanu","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department, University POLITEHNICA of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-3555-2145","authenticated-orcid":false,"given":"Mihai","family":"Pogonaru","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department, University POLITEHNICA of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8287-1712","authenticated-orcid":false,"given":"R\u0103zvan","family":"Deaconescu","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department, University POLITEHNICA of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5937-2162","authenticated-orcid":false,"given":"Costin","family":"Raiciu","sequence":"additional","affiliation":[{"name":"Computer Science and Engineering Department, University POLITEHNICA of Bucharest, Bucharest, Romania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,5,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Eurosys test-of-time award. https:\/\/www.eurosys.org\/awards\/test-of-time-award. Accessed: 2021-10-11.  Eurosys test-of-time award. https:\/\/www.eurosys.org\/awards\/test-of-time-award. Accessed: 2021-10-11."},{"key":"e_1_3_2_1_2_1","unstructured":"Introduction to the plan 9 file protocol. http:\/\/man.cat-v.org\/plan_9\/5\/intro. Accessed: 2022-07-10.  Introduction to the plan 9 file protocol. http:\/\/man.cat-v.org\/plan_9\/5\/intro. Accessed: 2022-07-10."},{"key":"e_1_3_2_1_3_1","unstructured":"Mini-os. https:\/\/wiki.xenproject.org\/wiki\/Mini-OS. Accessed: 2022-07-10.  Mini-os. https:\/\/wiki.xenproject.org\/wiki\/Mini-OS. Accessed: 2022-07-10."},{"key":"e_1_3_2_1_4_1","unstructured":"Newlib. https:\/\/sourceware.org\/newlib. Accessed: 2022-07-10.  Newlib. https:\/\/sourceware.org\/newlib. Accessed: 2022-07-10."},{"key":"e_1_3_2_1_5_1","unstructured":"Open vswitch manual. http:\/\/www.openvswitch.org\/support\/dist-docs\/ovs-ofctl.8.txt. Accessed: 2022-07-10.  Open vswitch manual. http:\/\/www.openvswitch.org\/support\/dist-docs\/ovs-ofctl.8.txt. Accessed: 2022-07-10."},{"key":"e_1_3_2_1_6_1","volume-title":"https:\/\/httpd.apache.org\/docs\/2.4\/programs\/ab.html","author":"Apache","year":"1996","unstructured":"Apache benchmark. https:\/\/httpd.apache.org\/docs\/2.4\/programs\/ab.html , 1996 . Accessed : 2022-07-10. Apache benchmark. https:\/\/httpd.apache.org\/docs\/2.4\/programs\/ab.html, 1996. Accessed: 2022-07-10."},{"key":"e_1_3_2_1_7_1","volume-title":"https:\/\/kb.vmware.com\/s\/article\/1021095","author":"Transparent","year":"2014","unstructured":"Transparent page sharing (tps) in hardware mmu systems. https:\/\/kb.vmware.com\/s\/article\/1021095 , 2014 . Accessed : 2022-04-29. Transparent page sharing (tps) in hardware mmu systems. https:\/\/kb.vmware.com\/s\/article\/1021095, 2014. Accessed: 2022-04-29."},{"key":"e_1_3_2_1_8_1","volume-title":"https:\/\/www.openfaas.com","author":"Openfaas","year":"2016","unstructured":"Openfaas . https:\/\/www.openfaas.com , 2016 . Accessed : 2022-07-10. Openfaas. https:\/\/www.openfaas.com, 2016. Accessed: 2022-07-10."},{"key":"e_1_3_2_1_9_1","volume-title":"https:\/\/github.com\/openfaas\/faas","author":"Openfaas","year":"2016","unstructured":"Openfaas source code. https:\/\/github.com\/openfaas\/faas , 2016 . Accessed : 2022-07-10. Openfaas source code. https:\/\/github.com\/openfaas\/faas, 2016. Accessed: 2022-07-10."},{"key":"e_1_3_2_1_10_1","first-page":"923","volume-title":"2018 Usenix Annual Technical Conference (USENIX ATC 18)","author":"Akkus I. E.","year":"2018","unstructured":"Akkus , I. E. , Chen , R. , Rimac , I. , Stein , M. , Satzke , K. , Beck , A. , Aditya , P. , and Hilt , V . {SAND}: Towards {High-Performance} serverless computing . In 2018 Usenix Annual Technical Conference (USENIX ATC 18) ( 2018 ), pp. 923 -- 935 . Akkus, I. E., Chen, R., Rimac, I., Stein, M., Satzke, K., Beck, A., Aditya, P., and Hilt, V. {SAND}: Towards {High-Performance} serverless computing. In 2018 Usenix Annual Technical Conference (USENIX ATC 18) (2018), pp. 923--935."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1996130.1996153"},{"key":"e_1_3_2_1_12_1","first-page":"19","volume-title":"Proceedings of the linux symposium","author":"Arcangeli A.","year":"2009","unstructured":"Arcangeli , A. , Eidus , I. , and Wright , C . Increasing memory density by using ksm . In Proceedings of the linux symposium ( 2009 ), Citeseer , pp. 19 -- 28 . Arcangeli, A., Eidus, I., and Wright, C. Increasing memory density by using ksm. In Proceedings of the linux symposium (2009), Citeseer, pp. 19--28."},{"key":"e_1_3_2_1_13_1","volume-title":"Xen and the art of virtualization. ACM SIGOPS operating systems review 37, 5","author":"Barham P.","year":"2003","unstructured":"Barham , P. , Dragovic , B. , Fraser , K. , Hand , S. , Harris , T. , Ho , A. , Neugebauer , R. , Pratt , I. , and Warfield , A . Xen and the art of virtualization. ACM SIGOPS operating systems review 37, 5 ( 2003 ), 164--177. Barham, P., Dragovic, B., Fraser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., and Warfield, A. Xen and the art of virtualization. ACM SIGOPS operating systems review 37, 5 (2003), 164--177."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3317550.3321435"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.63"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1186\/s13677-017-0092-1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251203.1251223"},{"key":"e_1_3_2_1_18_1","volume-title":"Linux ethernet bonding driver howto. https:\/\/www.kernel.org\/doc\/Documentation\/networking\/bonding.txt","author":"Davis T.","year":"2011","unstructured":"Davis , T. Linux ethernet bonding driver howto. https:\/\/www.kernel.org\/doc\/Documentation\/networking\/bonding.txt , 2011 . Accessed : 2021-10-11. Davis, T. Linux ethernet bonding driver howto. https:\/\/www.kernel.org\/doc\/Documentation\/networking\/bonding.txt, 2011. Accessed: 2021-10-11."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210802"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3373376.3378512"},{"key":"e_1_3_2_1_21_1","first-page":"77","article-title":"Design and implementation of the lwip tcp\/ip stack","volume":"2","author":"Dunkels A","year":"2001","unstructured":"Dunkels , A . Design and implementation of the lwip tcp\/ip stack . Swedish Institute of Computer Science 2 , 77 ( 2001 ). Dunkels, A. Design and implementation of the lwip tcp\/ip stack. Swedish Institute of Computer Science 2, 77 (2001).","journal-title":"Swedish Institute of Computer Science"},{"key":"e_1_3_2_1_22_1","volume-title":"13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16)","author":"Eisenbud D. E.","year":"2016","unstructured":"Eisenbud , D. E. , Yi , C. , Contavalli , C. , Smith , C. , Kononov , R. , Mann-Hielscher , E. , Cilingiroglu , A. , Cheyney , B. , Shang , W. , and Hosein , J. D . Maglev: A fast and reliable software network load balancer . In 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16) (Santa Clara, CA , Mar. 2016 ), USENIX Association, pp. 523--535. Eisenbud, D. E., Yi, C., Contavalli, C., Smith, C., Kononov, R., Mann-Hielscher, E., Cilingiroglu, A., Cheyney, B., Shang, W., and Hosein, J. D. Maglev: A fast and reliable software network load balancer. In 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16) (Santa Clara, CA, Mar. 2016), USENIX Association, pp. 523--535."},{"key":"e_1_3_2_1_23_1","volume-title":"Inside nginx: How we designed for performance & scale. https:\/\/www.nginx.com\/blog\/inside-nginx-how-we-designed-for-performance-scale","author":"Garrett O.","year":"2015","unstructured":"Garrett , O. Inside nginx: How we designed for performance & scale. https:\/\/www.nginx.com\/blog\/inside-nginx-how-we-designed-for-performance-scale , 2015 . Accessed : 2021-10-08. Garrett, O. Inside nginx: How we designed for performance & scale. https:\/\/www.nginx.com\/blog\/inside-nginx-how-we-designed-for-performance-scale, 2015. Accessed: 2021-10-08."},{"key":"e_1_3_2_1_24_1","volume-title":"wrk - a http benchmarking tool. https:\/\/github.com\/wg\/wrk","author":"Glozer W.","year":"2022","unstructured":"Glozer , W. wrk - a http benchmarking tool. https:\/\/github.com\/wg\/wrk , 2022 . Accessed : 2022-07-10. Glozer, W. wrk - a http benchmarking tool. https:\/\/github.com\/wg\/wrk, 2022. Accessed: 2022-07-10."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1831407.1831429"},{"key":"e_1_3_2_1_26_1","volume-title":"https:\/\/github.com\/nccgroup\/TriforceAFL","author":"Hertz J.","year":"2015","unstructured":"Hertz , J. Triforceafl . https:\/\/github.com\/nccgroup\/TriforceAFL , 2015 . Accessed : 2022-04-29. Hertz, J. Triforceafl. https:\/\/github.com\/nccgroup\/TriforceAFL, 2015. Accessed: 2022-04-29."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508293.1508301"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCGRID.2010.42"},{"key":"e_1_3_2_1_29_1","first-page":"2L","article-title":"Hmdc: Live virtual machine migration based on hybrid memory copy and delta compression","volume":"7","author":"Hu L.","year":"2013","unstructured":"Hu , L. , Zhao , J. , Xu , G. , Ding , Y. , and Chu , J . Hmdc: Live virtual machine migration based on hybrid memory copy and delta compression . Appl. Math 7 , 2L ( 2013 ), 639--646. Hu, L., Zhao, J., Xu, G., Ding, Y., and Chu, J. Hmdc: Live virtual machine migration based on hybrid memory copy and delta compression. Appl. Math 7, 2L (2013), 639--646.","journal-title":"Appl. Math"},{"key":"e_1_3_2_1_30_1","volume-title":"Socket sharding in nginx release 1.9.1. https:\/\/www.nginx.com\/blog\/socket-sharding-nginx-release-1-9-1","author":"Hutchings A.","year":"2015","unstructured":"Hutchings , A. Socket sharding in nginx release 1.9.1. https:\/\/www.nginx.com\/blog\/socket-sharding-nginx-release-1-9-1 , 2015 . Accessed : 2021-03-31. Hutchings, A. Socket sharding in nginx release 1.9.1. https:\/\/www.nginx.com\/blog\/socket-sharding-nginx-release-1-9-1, 2015. Accessed: 2021-03-31."},{"key":"e_1_3_2_1_31_1","volume-title":"Deploying unikernels in production with kubernetes. https:\/\/www.youtube.com\/watch?v=cV-xawN9_cg","author":"Jung A.","year":"2021","unstructured":"Jung , A. Deploying unikernels in production with kubernetes. https:\/\/www.youtube.com\/watch?v=cV-xawN9_cg , 2021 . Accessed : 2022-09-10. Jung, A. Deploying unikernels in production with kubernetes. https:\/\/www.youtube.com\/watch?v=cV-xawN9_cg, 2021. Accessed: 2022-09-10."},{"key":"e_1_3_2_1_32_1","volume-title":"The so_reuseport socket option. https:\/\/lwn.net\/Articles\/542629","author":"Kerrisk M.","year":"2013","unstructured":"Kerrisk , M. The so_reuseport socket option. https:\/\/lwn.net\/Articles\/542629 , 2013 . Accessed : 2022-07-10. Kerrisk, M. The so_reuseport socket option. https:\/\/lwn.net\/Articles\/542629, 2013. Accessed: 2022-07-10."},{"key":"e_1_3_2_1_33_1","first-page":"61","volume-title":"2014 USENIX Annual Technical Conference (USENIX ATC 14)","author":"Kivity A.","year":"2014","unstructured":"Kivity , A. , Laor , D. , Costa , G. , Enberg , P. , Har'El , N. , Marti , D. , and Zolotarov , V . OSv---Optimizing the operating system for virtual machines . In 2014 USENIX Annual Technical Conference (USENIX ATC 14) (Philadelphia, PA, June 2014 ), USENIX Association , pp. 61 -- 72 . Kivity, A., Laor, D., Costa, G., Enberg, P., Har'El, N., Marti, D., and Zolotarov, V. OSv---Optimizing the operating system for virtual machines. In 2014 USENIX Annual Technical Conference (USENIX ATC 14) (Philadelphia, PA, June 2014), USENIX Association, pp. 61--72."},{"key":"e_1_3_2_1_34_1","volume-title":"Fractal: Automated application scaling. arXiv:1902.09636","author":"Koleini M.","year":"2019","unstructured":"Koleini , M. , Oviedo , C. , McAuley , D. , Rotsos , C. , Madhavapeddy , A. , Gazagnaire , T. , Skejgstad , M. , and Mortier , R . Fractal: Automated application scaling. arXiv:1902.09636 , 2019 . Koleini, M., Oviedo, C., McAuley, D., Rotsos, C., Madhavapeddy, A., Gazagnaire, T., Skejgstad, M., and Mortier, R. Fractal: Automated application scaling. arXiv:1902.09636, 2019."},{"key":"e_1_3_2_1_35_1","unstructured":"Kroah-Hartman G. udev man page. https:\/\/www.freedesktop.org\/software\/systemd\/man\/udev.html. Accessed: 2021-10-11.  Kroah-Hartman G. udev man page. https:\/\/www.freedesktop.org\/software\/systemd\/man\/udev.html. Accessed: 2021-10-11."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447786.3456248"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342195.3387526"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519067"},{"key":"e_1_3_2_1_39_1","volume-title":"Kernel fuzzer for xen project. https:\/\/github.com\/intel\/kernel-fuzzer-for-xen-project","author":"Lengyel T. K.","year":"2020","unstructured":"Lengyel , T. K. Kernel fuzzer for xen project. https:\/\/github.com\/intel\/kernel-fuzzer-for-xen-project , 2020 . Accessed : 2022-04-29. Lengyel, T. K. Kernel fuzzer for xen project. https:\/\/github.com\/intel\/kernel-fuzzer-for-xen-project, 2020. Accessed: 2022-04-29."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1186\/s42400-020-00051-9"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2490301.2451167"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132763"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1274971.1274978"},{"key":"e_1_3_2_1_44_1","first-page":"391","volume-title":"USENIX Annual technical conference, general track","author":"Nelson M.","year":"2005","unstructured":"Nelson , M. , Lim , B.-H. , Hutchins , G. , Fast transparent migration for virtual machines . In USENIX Annual technical conference, general track ( 2005 ), pp. 391 -- 394 . Nelson, M., Lim, B.-H., Hutchins, G., et al. Fast transparent migration for virtual machines. In USENIX Annual technical conference, general track (2005), pp. 391--394."},{"key":"e_1_3_2_1_45_1","first-page":"3","article-title":"Notes on the history of fork and join","volume":"38","author":"Nyman L.","year":"2016","unstructured":"Nyman , L. , and Laakso , M . Notes on the history of fork and join . IEEE Annals of the History of Computing 38 , 3 ( 2016 ), 84--87. Nyman, L., and Laakso, M. Notes on the history of fork and join. IEEE Annals of the History of Computing 38, 3 (2016), 84--87.","journal-title":"IEEE Annals of the History of Computing"},{"key":"e_1_3_2_1_46_1","first-page":"125","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)","author":"Olteanu V.","year":"2018","unstructured":"Olteanu , V. , Agache , A. , Voinescu , A. , and Raiciu , C . Stateless datacenter load-balancing with beamer . In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18) (Renton, WA, Apr. 2018 ), USENIX Association , pp. 125 -- 139 . Olteanu, V., Agache, A., Voinescu, A., and Raiciu, C. Stateless datacenter load-balancing with beamer. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18) (Renton, WA, Apr. 2018), USENIX Association, pp. 125--139."},{"key":"e_1_3_2_1_47_1","volume-title":"SI","author":"Osman S.","year":"2002","unstructured":"Osman , S. , Subhraveti , D. , Su , G. , and Nieh , J . The design and implementation of zap: A system for migrating computing environments. ACM SIGOPS Operating Systems Review 36 , SI ( 2002 ), 361--376. Osman, S., Subhraveti, D., Su, G., and Nieh, J. The design and implementation of zap: A system for migrating computing environments. ACM SIGOPS Operating Systems Review 36, SI (2002), 361--376."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2486001.2486026"},{"key":"e_1_3_2_1_49_1","first-page":"227","volume-title":"10th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 13)","author":"Rajagopalan S.","year":"2013","unstructured":"Rajagopalan , S. , Williams , D. , Jamjoom , H. , and Warfield , A . Split\/merge: System support for elastic execution in virtual middle-boxes . In 10th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 13) ( 2013 ), pp. 227 -- 240 . Rajagopalan, S., Williams, D., Jamjoom, H., and Warfield, A. Split\/merge: System support for elastic execution in virtual middle-boxes. In 10th {USENIX} Symposium on Networked Systems Design and Implementation ({NSDI} 13) (2013), pp. 227--240."},{"key":"e_1_3_2_1_50_1","volume-title":"malloc, free replacement for unmanaged, linear memory situations. https:\/\/github.com\/thi-ng\/tinyalloc","author":"Schmidt K.","year":"2011","unstructured":"Schmidt , K. malloc, free replacement for unmanaged, linear memory situations. https:\/\/github.com\/thi-ng\/tinyalloc , 2011 . Accessed : 2022-07-10. Schmidt, K. malloc, free replacement for unmanaged, linear memory situations. https:\/\/github.com\/thi-ng\/tinyalloc, 2011. Accessed: 2022-07-10."},{"key":"e_1_3_2_1_51_1","unstructured":"Schumilo S. Aschermann C. Abbasi A. W\u00f6rner S. and Holz T. Nyx: Greybox hypervisor fuzzing using fast snapshots and affine types.  Schumilo S. Aschermann C. Abbasi A. W\u00f6rner S. and Holz T. Nyx: Greybox hypervisor fuzzing using fast snapshots and affine types."},{"key":"e_1_3_2_1_52_1","first-page":"167","volume-title":"26th USENIX Security Symposium (USENIX Security 17)","author":"Schumilo S.","year":"2017","unstructured":"Schumilo , S. , Aschermann , C. , Gawlik , R. , Schinzel , S. , and Holz , T . {kAFL}:{Hardware-Assisted} feedback fuzzing for {OS} kernels . In 26th USENIX Security Symposium (USENIX Security 17) ( 2017 ), pp. 167 -- 182 . Schumilo, S., Aschermann, C., Gawlik, R., Schinzel, S., and Holz, T. {kAFL}:{Hardware-Assisted} feedback fuzzing for {OS} kernels. In 26th USENIX Security Symposium (USENIX Security 17) (2017), pp. 167--182."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2785956.2787501"},{"key":"e_1_3_2_1_54_1","volume-title":"Columbia Univ.","author":"Smith J. M.","year":"1987","unstructured":"Smith , J. M. , and Ioannidis , J . Implementing remote fork () with checkpoint\/restart. Department of Computer Science , Columbia Univ. , 1987 . Smith, J. M., and Ioannidis, J. Implementing remote fork () with checkpoint\/restart. Department of Computer Science, Columbia Univ., 1987."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1972551.1972552"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095825"},{"key":"e_1_3_2_1_57_1","volume-title":"https:\/\/github.com\/google\/syzkaller","author":"Vyukov D.","year":"2015","unstructured":"Vyukov , D. Syzkaller . https:\/\/github.com\/google\/syzkaller , 2015 . Accessed : 2022-04-29. Vyukov, D. Syzkaller. https:\/\/github.com\/google\/syzkaller, 2015. Accessed: 2022-04-29."},{"key":"e_1_3_2_1_58_1","volume-title":"SI","author":"Waldspurger C. A.","year":"2002","unstructured":"Waldspurger , C. A. Memory resource management in vmware esx server. ACM SIGOPS Operating Systems Review 36 , SI ( 2002 ), 181--194. Waldspurger, C. A. Memory resource management in vmware esx server. ACM SIGOPS Operating Systems Review 36, SI (2002), 181--194."},{"key":"e_1_3_2_1_59_1","volume-title":"The best docker repositories, apps, and images in docker hub","author":"Walker A.","year":"2019","unstructured":"Walker , A. The best docker repositories, apps, and images in docker hub in 2019 . https:\/\/learn.g2.com\/best-docker-containers-repository, 2019. Accessed: 2022-07-10. Walker, A. The best docker repositories, apps, and images in docker hub in 2019. https:\/\/learn.g2.com\/best-docker-containers-repository, 2019. Accessed: 2022-07-10."},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3267809.3267845"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1618525.1618529"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2013.6575349"},{"key":"e_1_3_2_1_63_1","volume-title":"American fuzzy lop (afl). https:\/\/lcamtuf.coredump.cx\/afl\/","author":"Zalewski M.","year":"2017","unstructured":"Zalewski , M. American fuzzy lop (afl). https:\/\/lcamtuf.coredump.cx\/afl\/ , 2017 . Accessed : 2022-04-29. Zalewski, M. American fuzzy lop (afl). https:\/\/lcamtuf.coredump.cx\/afl\/, 2017. Accessed: 2022-04-29."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2018.2794881"},{"key":"e_1_3_2_1_65_1","first-page":"173","volume-title":"Kylinx: a dynamic library operating system for simplified and efficient cloud virtualization. In 2018 {USENIX} Annual Technical Conference ({USENIX}{ATC } 18)","author":"Zhang Y.","year":"2018","unstructured":"Zhang , Y. , Crowcroft , J. , Li , D. , Zhang , C. , Li , H. , Wang , Y. , Yu , K. , Xiong , Y. , and Chen , G . Kylinx: a dynamic library operating system for simplified and efficient cloud virtualization. In 2018 {USENIX} Annual Technical Conference ({USENIX}{ATC } 18) ( 2018 ), pp. 173 -- 186 . Zhang, Y., Crowcroft, J., Li, D., Zhang, C., Li, H., Wang, Y., Yu, K., Xiong, Y., and Chen, G. Kylinx: a dynamic library operating system for simplified and efficient cloud virtualization. In 2018 {USENIX} Annual Technical Conference ({USENIX}{ATC } 18) (2018), pp. 173--186."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/3447786.3456258"}],"event":{"name":"EuroSys '23: Eighteenth European Conference on Computer Systems","location":"Rome Italy","acronym":"EuroSys '23","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Eighteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3587454","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3552326.3587454","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:40Z","timestamp":1750178860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3552326.3587454"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,8]]},"references-count":66,"alternative-id":["10.1145\/3552326.3587454","10.1145\/3552326"],"URL":"https:\/\/doi.org\/10.1145\/3552326.3587454","relation":{},"subject":[],"published":{"date-parts":[[2023,5,8]]},"assertion":[{"value":"2023-05-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}