{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:11Z","timestamp":1772164031675,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,2,24]],"date-time":"2014-02-24T00:00:00Z","timestamp":1393200000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,2,24]]},"DOI":"10.1145\/2541940.2541946","type":"proceedings-article","created":{"date-parts":[[2014,2,25]],"date-time":"2014-02-25T08:21:11Z","timestamp":1393316471000},"page":"333-348","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":107,"title":["KVM\/ARM"],"prefix":"10.1145","author":[{"given":"Christoffer","family":"Dall","sequence":"first","affiliation":[{"name":"Columbia University, New York, NY, USA"}]},{"given":"Jason","family":"Nieh","sequence":"additional","affiliation":[{"name":"Columbia University, New York, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,2,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168860"},{"key":"e_1_3_2_1_2_1","first-page":"373","volume-title":"Proceedings of the 2012 USENIX Annual Technical Conference","author":"Agesen O.","year":"2012","unstructured":"O. Agesen , J. Mattson , R. Rugina , and J. Sheldon . Software Techniques for Avoiding Hardware Virtualization Exits . In Proceedings of the 2012 USENIX Annual Technical Conference , pages 373 -- 385 , June 2012 . O. Agesen, J. Mattson, R. Rugina, and J. Sheldon. Software Techniques for Avoiding Hardware Virtualization Exits. In Proceedings of the 2012 USENIX Annual Technical Conference, pages 373--385, June 2012."},{"key":"e_1_3_2_1_3_1","unstructured":"ARM Ltd. ARM Energy Probe. http:\/\/www.arm.com\/products\/tools\/arm-energy-probe.php.  ARM Ltd. ARM Energy Probe. http:\/\/www.arm.com\/products\/tools\/arm-energy-probe.php."},{"key":"e_1_3_2_1_4_1","volume-title":"Sept.","year":"2011","unstructured":"ARMLtd. ARMCortex-A15 Technical ReferenceManual ARM DDI 0438C , Sept. 2011 . ARMLtd. ARMCortex-A15 Technical ReferenceManual ARM DDI 0438C, Sept. 2011."},{"key":"e_1_3_2_1_5_1","volume-title":"June","year":"2011","unstructured":"ARMLtd. ARMGeneric Interrupt Controller Architecture version 2.0 ARMIHI 0048B , June 2011 . ARMLtd. ARMGeneric Interrupt Controller Architecture version 2.0 ARMIHI 0048B, June 2011."},{"key":"e_1_3_2_1_6_1","volume-title":"July","author":"Ltd ARM","year":"2012","unstructured":"ARM Ltd . ARM Architecture Reference Manual ARMv7-A DDI0406C.b , July 2012 . ARM Ltd. ARM Architecture Reference Manual ARMv7-A DDI0406C.b, July 2012."},{"key":"e_1_3_2_1_7_1","volume-title":"Sept.","author":"Ltd ARM","year":"2013","unstructured":"ARM Ltd . ARM Architecture Reference Manual ARMv8-A DDI0487A.a , Sept. 2013 . ARM Ltd. ARM Architecture Reference Manual ARMv8-A DDI0487A.a, Sept. 2013."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1899928.1899945"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382553.2382554"},{"key":"e_1_3_2_1_11_1","unstructured":"C. Dall and A. Jones. KVM\/ARM Unit Tests. https:\/\/github.com\/columbia\/kvm-unit-tests.  C. Dall and A. Jones. KVM\/ARM Unit Tests. https:\/\/github.com\/columbia\/kvm-unit-tests."},{"key":"e_1_3_2_1_12_1","first-page":"45","volume-title":"Proceedings of the Ottawa Linux Symposium","author":"Dall C.","year":"2010","unstructured":"C. Dall and J. Nieh . KVM for ARM . In Proceedings of the Ottawa Linux Symposium , pages 45 -- 56 , July 2010 . C. Dall and J. Nieh. KVM for ARM. In Proceedings of the Ottawa Linux Symposium, pages 45--56, July 2010."},{"key":"e_1_3_2_1_13_1","volume-title":"July","author":"Dall C.","year":"2013","unstructured":"C. Dall and J. Nieh . Supporting KVMon the ARMarchitecture. LWN.net , July 2013 . http:\/\/lwn.net\/Articles\/557132\/. C. Dall and J. Nieh. Supporting KVMon the ARMarchitecture. LWN.net, July 2013. http:\/\/lwn.net\/Articles\/557132\/."},{"key":"e_1_3_2_1_14_1","volume-title":"Architecture Program Manager","author":"Brash David","year":"2012","unstructured":"David Brash , Architecture Program Manager , ARM Ltd . Personal communication, Nov. 2012 . David Brash, Architecture Program Manager, ARM Ltd. Personal communication, Nov. 2012."},{"key":"e_1_3_2_1_15_1","first-page":"93","volume-title":"Chung. ARMvisor: System Virtualization for ARM. In Proceedings of the Ottawa Linux Symposium (OLS)","author":"Ding J.-H.","year":"2012","unstructured":"J.-H. Ding , C.-J. Lin , P.-H. Chang , C.-H. Tsang , W.-C. Hsu , and Y.- C. Chung. ARMvisor: System Virtualization for ARM. In Proceedings of the Ottawa Linux Symposium (OLS) , pages 93 -- 107 , July 2012 . J.-H. Ding, C.-J. Lin, P.-H. Chang, C.-H. Tsang, W.-C. Hsu, and Y.-C. Chung. ARMvisor: System Virtualization for ARM. In Proceedings of the Ottawa Linux Symposium (OLS), pages 93--107, July 2012."},{"key":"e_1_3_2_1_16_1","unstructured":"General Dynamics. OKL4 Microvisor. http:\/\/www.ok-labs.com\/products\/okl4-microvisor.  General Dynamics. OKL4 Microvisor. http:\/\/www.ok-labs.com\/products\/okl4-microvisor."},{"key":"e_1_3_2_1_17_1","unstructured":"Green Hills Software. INTEGRITY Secure Virtualization. http:\/\/www.ghs.com\/products\/rtos\/integrity_virtualization.html.  Green Hills Software. INTEGRITY Secure Virtualization. http:\/\/www.ghs.com\/products\/rtos\/integrity_virtualization.html."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/ccnc08.2007.64"},{"key":"e_1_3_2_1_19_1","unstructured":"InSignal Co. ArndaleBoard.org. http:\/\/arndaleboard.org.  InSignal Co. ArndaleBoard.org. http:\/\/arndaleboard.org."},{"key":"e_1_3_2_1_20_1","volume-title":"Aug.","author":"Intel Corporation","year":"2012","unstructured":"Intel Corporation . Intel 64 and IA-32 Architectures Software DevelopersManual, 325462-044US , Aug. 2012 . Intel Corporation. Intel 64 and IA-32 Architectures Software DevelopersManual, 325462-044US, Aug. 2012."},{"key":"e_1_3_2_1_21_1","unstructured":"A. Kivity. KVMUnit Tests. https:\/\/git.kernel.org\/cgit\/virt\/kvm\/kvm-unit-tests.git.  A. Kivity. KVMUnit Tests. https:\/\/git.kernel.org\/cgit\/virt\/kvm\/kvm-unit-tests.git."},{"key":"e_1_3_2_1_22_1","first-page":"225","volume-title":"Proceedings of the Ottawa Linux Symposium (OLS)","volume":"1","author":"Kivity A.","year":"2007","unstructured":"A. Kivity , Y. Kamay , D. Laor , U. Lublin , and A. Liguori . kvm: The Linux VirtualMachineMonitor . In Proceedings of the Ottawa Linux Symposium (OLS) , volume 1 , pages 225 -- 230 , June 2007 . A. Kivity, Y. Kamay, D. Laor, U. Lublin, and A. Liguori. kvm: The Linux VirtualMachineMonitor. In Proceedings of the Ottawa Linux Symposium (OLS), volume 1, pages 225--230, June 2007."},{"key":"e_1_3_2_1_23_1","unstructured":"KVM\/ARM Mailing List. https:\/\/lists.cs.columbia.edu\/cucslists\/listinfo\/kvmarm.  KVM\/ARM Mailing List. https:\/\/lists.cs.columbia.edu\/cucslists\/listinfo\/kvmarm."},{"key":"e_1_3_2_1_24_1","unstructured":"Linux ARM Kernel Mailing List. A15 H\/W Virtualization Support Apr. 2011. http:\/\/archive.arm.linux.org.uk\/lurker\/message\/20110412.204714.a36702d9.en.html.  Linux ARM Kernel Mailing List. A15 H\/W Virtualization Support Apr. 2011. http:\/\/archive.arm.linux.org.uk\/lurker\/message\/20110412.204714.a36702d9.en.html."},{"key":"e_1_3_2_1_25_1","first-page":"279","volume-title":"Proceedings of the 1996 USENIX Annual Technical Conference","author":"McVoy L.","year":"1996","unstructured":"L. McVoy and C. Staelin . lmbench: Portable Tools for Performance Analysis . In Proceedings of the 1996 USENIX Annual Technical Conference , pages 279 -- 294 , Jan. 1996 . L. McVoy and C. Staelin. lmbench: Portable Tools for Performance Analysis. In Proceedings of the 1996 USENIX Annual Technical Conference, pages 279--294, Jan. 1996."},{"key":"e_1_3_2_1_26_1","unstructured":"I. Molnar. Hackbench. http:\/\/people.redhat.com\/mingo\/cfs-scheduler\/tools\/hackbench.c.  I. Molnar. Hackbench. http:\/\/people.redhat.com\/mingo\/cfs-scheduler\/tools\/hackbench.c."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"key":"e_1_3_2_1_28_1","unstructured":"Red Bend Software. vLogixMobile. http:\/\/www.redbend.com\/en\/mobile-virtualization.  Red Bend Software. vLogixMobile. http:\/\/www.redbend.com\/en\/mobile-virtualization."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1400097.1400108"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755935"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103799.2103813"},{"key":"e_1_3_2_1_32_1","unstructured":"Xen.org. Xen ARM. http:\/\/xen.org\/products\/xen_arm.html.  Xen.org. Xen ARM. http:\/\/xen.org\/products\/xen_arm.html."}],"event":{"name":"ASPLOS '14: Architectural Support for Programming Languages and Operating Systems","location":"Salt Lake City Utah USA","acronym":"ASPLOS '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 19th international conference on Architectural support for programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541940.2541946","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2541940.2541946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:10:27Z","timestamp":1750219827000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2541940.2541946"}},"subtitle":["the design and implementation of the linux ARM hypervisor"],"short-title":[],"issued":{"date-parts":[[2014,2,24]]},"references-count":32,"alternative-id":["10.1145\/2541940.2541946","10.1145\/2541940"],"URL":"https:\/\/doi.org\/10.1145\/2541940.2541946","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2654822.2541946","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/2644865.2541946","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,2,24]]},"assertion":[{"value":"2014-02-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}