{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T17:10:35Z","timestamp":1772039435862,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,14]],"date-time":"2017-10-14T00:00:00Z","timestamp":1507939200000},"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-1717801, CNS-1563555, CNS-1422909"],"award-info":[{"award-number":["CNS-1717801, CNS-1563555, CNS-1422909"]}],"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":[[2017,10,14]]},"DOI":"10.1145\/3132747.3132754","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"201-217","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["NEVE"],"prefix":"10.1145","author":[{"given":"Jin Tack","family":"Lim","sequence":"first","affiliation":[{"name":"Columbia University"}]},{"given":"Christoffer","family":"Dall","sequence":"additional","affiliation":[{"name":"Columbia University"}]},{"given":"Shih-Wei","family":"Li","sequence":"additional","affiliation":[{"name":"Columbia University"}]},{"given":"Jason","family":"Nieh","sequence":"additional","affiliation":[{"name":"Columbia University"}]},{"given":"Marc","family":"Zyngier","sequence":"additional","affiliation":[{"name":"ARM Ltd"}]}],"member":"320","published-online":{"date-parts":[[2017,10,14]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168860"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2342821.2342856"},{"key":"e_1_3_2_2_3_1","volume-title":"Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC '11). USENIX Association","author":"Ahmad Irfan","year":"2011","unstructured":"Irfan Ahmad , Ajay Gulati , and Ali Mashtizadeh . 2011 . vIC: Interrupt Coalescing for Virtual Machine Storage Device IO . In Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC '11). USENIX Association , Berkeley, CA, USA, 4--4. http:\/\/dl.acm.org\/citation.cfm?id= 2002181.2002185 Irfan Ahmad, Ajay Gulati, and Ali Mashtizadeh. 2011. vIC: Interrupt Coalescing for Virtual Machine Storage Device IO. In Proceedings of the 2011 USENIX Conference on USENIX Annual Technical Conference (USENIX ATC '11). USENIX Association, Berkeley, CA, USA, 4--4. http:\/\/dl.acm.org\/citation.cfm?id=2002181.2002185"},{"key":"e_1_3_2_2_4_1","volume-title":"Nesting the Virtualized World. In Linux Plumbers Conference.","author":"Graf Alexander","year":"2009","unstructured":"Alexander Graf , Joerg Roedel . 2009 . Nesting the Virtualized World. In Linux Plumbers Conference. Alexander Graf, Joerg Roedel. 2009. Nesting the Virtualized World. In Linux Plumbers Conference."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043574"},{"key":"e_1_3_2_2_6_1","volume-title":"ARM Generic Interrupt Controller Architecture version 2.0 ARM IHI 0048B. (June","author":"Ltd ARM","year":"2011","unstructured":"ARM Ltd . 2011. ARM Generic Interrupt Controller Architecture version 2.0 ARM IHI 0048B. (June 2011 ). ARM Ltd. 2011. ARM Generic Interrupt Controller Architecture version 2.0 ARM IHI 0048B. (June 2011)."},{"key":"e_1_3_2_2_7_1","volume-title":"ARM Architecture Reference Manual ARMv8-A DDI0487A.a. (Sept","author":"Ltd ARM","year":"2013","unstructured":"ARM Ltd . 2013. ARM Architecture Reference Manual ARMv8-A DDI0487A.a. (Sept . 2013 ). ARM Ltd. 2013. ARM Architecture Reference Manual ARMv8-A DDI0487A.a. (Sept. 2013)."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1899928.1899945"},{"key":"e_1_3_2_2_10_1","volume-title":"Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (OSDI'10)","author":"Ben-Yehuda Muli","year":"2010","unstructured":"Muli Ben-Yehuda , Michael D. Day , Zvi Dubitzky , Michael Factor , Nadav Har'El , Abel Gordon , Anthony Liguori , Orit Wasserman , and Ben-Ami Yassour . 2010 . The Turtles Project: Design and Implementation of Nested Virtualization . In Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (OSDI'10) . USENIX Association, Berkeley, CA, USA, 1--6. http:\/\/dl.acm.org\/citation.cfm?id= 1924943.1924973 Muli Ben-Yehuda, Michael D. Day, Zvi Dubitzky, Michael Factor, Nadav Har'El, Abel Gordon, Anthony Liguori, Orit Wasserman, and Ben-Ami Yassour. 2010. The Turtles Project: Design and Implementation of Nested Virtualization. In Proceedings of the 9th USENIX Conference on Operating Systems Design and Implementation (OSDI'10). USENIX Association, Berkeley, CA, USA, 1--6. http:\/\/dl.acm.org\/citation.cfm?id=1924943.1924973"},{"key":"e_1_3_2_2_11_1","volume-title":"ARMv8-A Architecture - 2016 Additions. (Oct","author":"Brash David","year":"2016","unstructured":"David Brash . 2016. ARMv8-A Architecture - 2016 Additions. (Oct . 2016 ). https:\/\/community.arm.com\/groups\/processors\/blog\/2016\/10\/27\/armv8-a-architecture-2016-additions. David Brash. 2016. ARMv8-A Architecture - 2016 Additions. (Oct. 2016). https:\/\/community.arm.com\/groups\/processors\/blog\/2016\/10\/27\/armv8-a-architecture-2016-additions."},{"key":"e_1_3_2_2_12_1","volume-title":"Is your virtualized infrastructure keeping you from the cloud?","year":"2017","unstructured":"CloudShare. 2017. Is your virtualized infrastructure keeping you from the cloud? ( 2017 ). https:\/\/www.cloudshare.com\/technology\/nested-virtualization\/. CloudShare. 2017. Is your virtualized infrastructure keeping you from the cloud? (2017). https:\/\/www.cloudshare.com\/technology\/nested-virtualization\/."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/183018.183032"},{"key":"e_1_3_2_2_14_1","volume-title":"Nested virtualization: How to run nested KVM on AWS or Google Cloud. (Jan","author":"Community Ravello","year":"2016","unstructured":"Ravello Community . 2016. Nested virtualization: How to run nested KVM on AWS or Google Cloud. (Jan . 2016 ). https:\/\/blogs.oracle.com\/ravello\/run-nested-kvm-on-aws-google. Ravello Community. 2016. Nested virtualization: How to run nested KVM on AWS or Google Cloud. (Jan. 2016). https:\/\/blogs.oracle.com\/ravello\/run-nested-kvm-on-aws-google."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2016.35"},{"key":"e_1_3_2_2_16_1","volume-title":"Proceedings of the 2017 USENIX Conference on Annual Technical Conference (USENIX ATC '17). USENIX Association","author":"Dall Christoffer","year":"2017","unstructured":"Christoffer Dall , Shih-Wei Li , and Jason Nieh . 2017 . Optimizing the Design and Implementation of the Linux ARM Hypervisor . In Proceedings of the 2017 USENIX Conference on Annual Technical Conference (USENIX ATC '17). USENIX Association , Berkeley, CA, USA, 221--233. Christoffer Dall, Shih-Wei Li, and Jason Nieh. 2017. Optimizing the Design and Implementation of the Linux ARM Hypervisor. In Proceedings of the 2017 USENIX Conference on Annual Technical Conference (USENIX ATC '17). USENIX Association, Berkeley, CA, USA, 221--233."},{"key":"e_1_3_2_2_17_1","volume-title":"Proceedings of the Ottawa Linux Symposium. 45--56","author":"Dall Christoffer","year":"2010","unstructured":"Christoffer Dall and Jason Nieh . 2010 . KVM for ARM . In Proceedings of the Ottawa Linux Symposium. 45--56 . Christoffer Dall and Jason Nieh. 2010. KVM for ARM. In Proceedings of the Ottawa Linux Symposium. 45--56."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940.2541946"},{"key":"e_1_3_2_2_19_1","volume-title":"Threatening Intel's Dominance. (March","author":"Bass Dina","year":"2017","unstructured":"Dina Bass and Ian King . 2017. Microsoft Pledges to Use ARM Server Chips , Threatening Intel's Dominance. (March 2017 ). https:\/\/www.bloomberg.com\/news\/articles\/2017-03-08\/microsoftpledges-to-use-arm-server-chips-threatening-intel-s-dominance. Dina Bass and Ian King. 2017. Microsoft Pledges to Use ARM Server Chips, Threatening Intel's Dominance. (March 2017). https:\/\/www.bloomberg.com\/news\/articles\/2017-03-08\/microsoftpledges-to-use-arm-server-chips-threatening-intel-s-dominance."},{"key":"e_1_3_2_2_20_1","volume-title":"Proceedings of the Ottawa Linux Symposium. 93--107","author":"Ding Jiun-Hung","year":"2012","unstructured":"Jiun-Hung Ding , Chang-Jung Lin , Ping-Hao Chang , Chieh-Hao Tsang , Wei-Chung Hsu , and Yeh-Ching Chung . 2012 . ARMvisor: System Virtualization for ARM . In Proceedings of the Ottawa Linux Symposium. 93--107 . Jiun-Hung Ding, Chang-Jung Lin, Ping-Hao Chang, Chieh-Hao Tsang, Wei-Chung Hsu, and Yeh-Ching Chung. 2012. ARMvisor: System Virtualization for ARM. In Proceedings of the Ottawa Linux Symposium. 93--107."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLUSTER.2011.12"},{"key":"e_1_3_2_2_22_1","volume-title":"Nested Virtualization in Azure. (July","author":"Fan Joy","year":"2017","unstructured":"Joy Fan . 2017. Nested Virtualization in Azure. (July 2017 ). https:\/\/azure.microsoft.com\/en-us\/blog\/nested-virtualization-in-azure\/. Joy Fan. 2017. Nested Virtualization in Azure. (July 2017). https:\/\/azure.microsoft.com\/en-us\/blog\/nested-virtualization-in-azure\/."},{"key":"e_1_3_2_2_23_1","unstructured":"GeneralDynamics. 2013. OKL4 Microvisor. (Feb. 2013). http\/\/:www.ok-labs.com\/products\/okl4-microvisor.  GeneralDynamics. 2013. OKL4 Microvisor. (Feb. 2013). http\/\/:www.ok-labs.com\/products\/okl4-microvisor."},{"key":"e_1_3_2_2_24_1","volume-title":"INTEGRITY Secure Virtualization. (Jan","author":"Software Green Hills","year":"2014","unstructured":"Green Hills Software . 2014. INTEGRITY Secure Virtualization. (Jan . 2014 ). http\/\/:www.ghs.com\/products\/rtos\/integrity_virtualization.html. Green Hills Software. 2014. INTEGRITY Secure Virtualization. (Jan. 2014). http\/\/:www.ghs.com\/products\/rtos\/integrity_virtualization.html."},{"key":"e_1_3_2_2_25_1","volume-title":"An Updated Overview of the QEMU Storage Stack. (June","author":"Hajnoczi Stefan","year":"2011","unstructured":"Stefan Hajnoczi . 2011. An Updated Overview of the QEMU Storage Stack. (June 2011 ). https:\/\/events.linuxfoundation.org\/slides\/2011\/linuxcon-japan\/lcj2011_hajnoczi.pdf. Stefan Hajnoczi. 2011. An Updated Overview of the QEMU Storage Stack. (June 2011). https:\/\/events.linuxfoundation.org\/slides\/2011\/linuxcon-japan\/lcj2011_hajnoczi.pdf."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ccnc08.2007.64"},{"key":"e_1_3_2_2_27_1","volume-title":"4th Generation Intel Core vPro Processors with Intel VMCS Shadowing. (2013). http\/\/:www.intel.com\/content\/dam\/www\/public\/us\/en\/documents\/white-papers\/intel-vmcs-shadowing-paper.pdf","unstructured":"Intel. 2013. 4th Generation Intel Core vPro Processors with Intel VMCS Shadowing. (2013). http\/\/:www.intel.com\/content\/dam\/www\/public\/us\/en\/documents\/white-papers\/intel-vmcs-shadowing-paper.pdf . Intel. 2013. 4th Generation Intel Core vPro Processors with Intel VMCS Shadowing. (2013). http\/\/:www.intel.com\/content\/dam\/www\/public\/us\/en\/documents\/white-papers\/intel-vmcs-shadowing-paper.pdf."},{"key":"e_1_3_2_2_28_1","volume-title":"Intel 64 and IA-32 Architectures Software Developer's Manual, 325462-044US. (Aug","author":"Intel Corporation","year":"2012","unstructured":"Intel Corporation . 2012. Intel 64 and IA-32 Architectures Software Developer's Manual, 325462-044US. (Aug . 2012 ). Intel Corporation. 2012. Intel 64 and IA-32 Architectures Software Developer's Manual, 325462-044US. (Aug. 2012)."},{"key":"e_1_3_2_2_29_1","unstructured":"Jeffrey Fulmer. 2012. Siege. (Jan. 2012). https:\/\/www.joedog.org\/siege-home\/.  Jeffrey Fulmer. 2012. Siege. (Jan. 2012). https:\/\/www.joedog.org\/siege-home\/."},{"key":"e_1_3_2_2_30_1","unstructured":"Rick Jones. 2016. Netperf. (Nov. 2016). http\/\/:www.netperf.org\/netperf\/.  Rick Jones. 2016. Netperf. (Nov. 2016). http\/\/:www.netperf.org\/netperf\/."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2011.5958796"},{"key":"e_1_3_2_2_32_1","unstructured":"KVM contributors. 2015. Tuning KVM. (May 2015). http\/\/:www.linux-kvm.org\/page\/Tuning_KVM.  KVM contributors. 2015. Tuning KVM. (May 2015). http\/\/:www.linux-kvm.org\/page\/Tuning_KVM."},{"key":"e_1_3_2_2_33_1","volume-title":"KVM Unit Tests. (May","author":"KVM","year":"2017","unstructured":"KVM contributors. 2017. KVM Unit Tests. (May 2017 ). http\/\/:www.linux-kvm.org\/page\/KVM-unit-tests. KVM contributors. 2017. KVM Unit Tests. (May 2017). http\/\/:www.linux-kvm.org\/page\/KVM-unit-tests."},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"key":"e_1_3_2_2_36_1","volume-title":"vLogix Mobile. (Feb","author":"Software Red Bend","year":"2013","unstructured":"Red Bend Software . 2013. vLogix Mobile. (Feb . 2013 ). http\/\/:www.redbend.com\/en\/mobile-virtualization. Red Bend Software. 2013. vLogix Mobile. (Feb. 2013). http\/\/:www.redbend.com\/en\/mobile-virtualization."},{"key":"e_1_3_2_2_37_1","volume-title":"Introducing CloudLab: Scientific Infrastructure for Advancing Cloud Architectures and Applications. USENIX;login: 39, 6 (Dec","author":"Ricci Robert","year":"2014","unstructured":"Robert Ricci , Eric Eide , and The CloudLab Team . 2014. Introducing CloudLab: Scientific Infrastructure for Advancing Cloud Architectures and Applications. USENIX;login: 39, 6 (Dec . 2014 ). https:\/\/www.usenix.org\/publications\/login\/dec14\/ricci Robert Ricci, Eric Eide, and The CloudLab Team. 2014. Introducing CloudLab: Scientific Infrastructure for Advancing Cloud Architectures and Applications. USENIX;login: 39, 6 (Dec. 2014). https:\/\/www.usenix.org\/publications\/login\/dec14\/ricci"},{"key":"e_1_3_2_2_38_1","volume-title":"http\/\/:www.riscv.org","author":"Foundation RISC-V","year":"2017","unstructured":"RISC-V Foundation . 2017. RISC- V. ( 2017 ). http\/\/:www.riscv.org . RISC-V Foundation. 2017. RISC-V. (2017). http\/\/:www.riscv.org."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400097.1400108"},{"key":"e_1_3_2_2_40_1","unstructured":"Rusty Russell Yanmin Zhang Ingo Molnar and David Sommerseth. 2008. Hackbench. (Jan. 2008). http:\/\/people.redhat.com\/mingo\/cfs-scheduler\/tools\/hackbench.c.  Rusty Russell Yanmin Zhang Ingo Molnar and David Sommerseth. 2008. Hackbench. (Jan. 2008). http:\/\/people.redhat.com\/mingo\/cfs-scheduler\/tools\/hackbench.c."},{"key":"e_1_3_2_2_41_1","unstructured":"Standard Performance Evaluation Corporation. 2015. SPECjvm2008. (Nov. 2015). https:\/\/www.spec.org\/jvm2008.  Standard Performance Evaluation Corporation. 2015. SPECjvm2008. (Nov. 2015). https:\/\/www.spec.org\/jvm2008."},{"key":"e_1_3_2_2_42_1","volume-title":"Performance Implications of Cache Modes. (Sept","author":"SUSE.","year":"2016","unstructured":"SUSE. 2016. Performance Implications of Cache Modes. (Sept . 2016 ). https:\/\/www.suse.com\/documentation\/sles11\/book_kvm\/data\/sect1_3_chapter_book_kvm.html. SUSE. 2016. Performance Implications of Cache Modes. (Sept. 2016). https:\/\/www.suse.com\/documentation\/sles11\/book_kvm\/data\/sect1_3_chapter_book_kvm.html."},{"key":"e_1_3_2_2_43_1","unstructured":"Ravello Systems. 2017. Run VMware workloads on public clouds -without any changes. (2017). https:\/\/www.ravellosystems.com\/.  Ravello Systems. 2017. Run VMware workloads on public clouds -without any changes. (2017). https:\/\/www.ravellosystems.com\/."},{"key":"e_1_3_2_2_44_1","volume-title":"ab - Apache HTTP server benchmarking tool. (April","author":"Software Foundation The Apache","year":"2015","unstructured":"The Apache Software Foundation . 2015. ab - Apache HTTP server benchmarking tool. (April 2015 ). http:\/\/httpd.apache.org\/docs\/2.4\/programs\/ab.html. The Apache Software Foundation. 2015. ab - Apache HTTP server benchmarking tool. (April 2015). http:\/\/httpd.apache.org\/docs\/2.4\/programs\/ab.html."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103799.2103813"},{"key":"e_1_3_2_2_46_1","volume-title":"Proceedings of the 5th Symposium on Operating Systems Design and implementation (OSDI '02)","author":"Whitaker Andrew","unstructured":"Andrew Whitaker , Marianne Shaw , and Steven D. Gribble . 2002. Scale and Performance in the Denali Isolation Kernel . In Proceedings of the 5th Symposium on Operating Systems Design and implementation (OSDI '02) . USENIX Association, Berkeley, CA, USA, 195--209. http:\/\/dl.acm.org\/citation.cfm?id=1060289.1060308 Andrew Whitaker, Marianne Shaw, and Steven D. Gribble. 2002. Scale and Performance in the Denali Isolation Kernel. In Proceedings of the 5th Symposium on Operating Systems Design and implementation (OSDI '02). USENIX Association, Berkeley, CA, USA, 195--209. http:\/\/dl.acm.org\/citation.cfm?id=1060289.1060308"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168849"},{"key":"e_1_3_2_2_48_1","volume-title":"http:\/\/wiki.xenproject.org\/wiki\/Xen_ARM_with_Virtualization_Extensions. (April","author":"Virtualization Extensions Xen ARM","year":"2015","unstructured":"Xen ARM with Virtualization Extensions . 2015. http:\/\/wiki.xenproject.org\/wiki\/Xen_ARM_with_Virtualization_Extensions. (April 2015 ). Xen ARM with Virtualization Extensions. 2015. http:\/\/wiki.xenproject.org\/wiki\/Xen_ARM_with_Virtualization_Extensions. (April 2015)."},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043576"}],"event":{"name":"SOSP '17: ACM SIGOPS 26th Symposium on Operating Systems Principles","location":"Shanghai China","acronym":"SOSP '17","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"]},"container-title":["Proceedings of the 26th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132747.3132754","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3132747.3132754","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3132747.3132754","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:10:57Z","timestamp":1750212657000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132747.3132754"}},"subtitle":["Nested Virtualization Extensions for ARM"],"short-title":[],"issued":{"date-parts":[[2017,10,14]]},"references-count":48,"alternative-id":["10.1145\/3132747.3132754","10.1145\/3132747"],"URL":"https:\/\/doi.org\/10.1145\/3132747.3132754","relation":{},"subject":[],"published":{"date-parts":[[2017,10,14]]},"assertion":[{"value":"2017-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}