{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T00:35:39Z","timestamp":1780706139207,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,4,8]],"date-time":"2017-04-08T00:00:00Z","timestamp":1491609600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000288","name":"Royal Society","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/K008730\/1"],"award-info":[{"award-number":["EP\/K008730\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,4,8]]},"DOI":"10.1145\/3050748.3050756","type":"proceedings-article","created":{"date-parts":[[2017,3,31]],"date-time":"2017-03-31T08:22:54Z","timestamp":1490948574000},"page":"228-241","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["HyperMAMBO-X64"],"prefix":"10.1145","author":[{"given":"Amanieu","family":"d'Antras","sequence":"first","affiliation":[{"name":"School of Computer Science, University of Manchester"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cosmin","family":"Gorgovan","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Manchester"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jim","family":"Garside","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Manchester"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Goodacre","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Manchester"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mikel","family":"Luj\u00e1n","sequence":"additional","affiliation":[{"name":"School of Computer Science, University of Manchester"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,4,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857"},{"key":"e_1_3_2_1_2_1","unstructured":"Apple. Apple --- Rosetta 2006. URL https:\/\/www.apple.com\/rosetta\/. [Archived at http:\/\/web.archive.org\/web\/20060113055505\/http:\/\/www.apple.com\/rosetta\/].  Apple. Apple --- Rosetta 2006. URL https:\/\/www.apple.com\/rosetta\/. [Archived at http:\/\/web.archive.org\/web\/20060113055505\/http:\/\/www.apple.com\/rosetta\/]."},{"key":"e_1_3_2_1_3_1","volume-title":"big.LITTLE technology: The future of mobile","author":"ARM.","year":"2013","unstructured":"ARM. big.LITTLE technology: The future of mobile , 2013 . URL https:\/\/www.arm.com\/files\/pdf\/big_LITTLE_Technology_the_Futue_of_Mobile.pdf. (Visited on 13\/07\/2016). ARM. big.LITTLE technology: The future of mobile, 2013. URL https:\/\/www.arm.com\/files\/pdf\/big_LITTLE_Technology_the_Futue_of_Mobile.pdf. (Visited on 13\/07\/2016)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349303"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2003.1253195"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_3_2_1_7_1","first-page":"41","volume-title":"Proceedings of the 2005 USENIX Annual Technical Conference","author":"Bellard F.","year":"2005","unstructured":"F. Bellard . QEMU, a fast and portable dynamic translator . In Proceedings of the 2005 USENIX Annual Technical Conference , pages 41 -- 46 . USENIX, 2005 . URL http:\/\/www.usenix.org\/events\/usenix05\/tech\/freenix\/bellard.html. F. Bellard. QEMU, a fast and portable dynamic translator. In Proceedings of the 2005 USENIX Annual Technical Conference, pages 41--46. USENIX, 2005. URL http:\/\/www.usenix.org\/events\/usenix05\/tech\/freenix\/bellard.html."},{"key":"e_1_3_2_1_8_1","volume-title":"A Choices hypervisor on the ARM architecture. Department of Computer Science","author":"Bhardwaj R.","year":"2006","unstructured":"R. Bhardwaj , P. Reames , R. Greenspan , V. S. Nori , and E. Ucan . A Choices hypervisor on the ARM architecture. Department of Computer Science , University of Illinois at Urbana-Champaign , 2006 . CS523 Course Project Report. R. Bhardwaj, P. Reames, R. Greenspan, V. S. Nori, and E. Ucan. A Choices hypervisor on the ARM architecture. Department of Computer Science, University of Illinois at Urbana-Champaign, 2006. CS523 Course Project Report."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2015.12"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346265"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1254810.1254830"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576195.2576201"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/40.671403"},{"key":"e_1_3_2_1_15_1","volume-title":"Supporting filesystems in persistent memory","author":"Corbet J.","year":"2014","unstructured":"J. Corbet . Supporting filesystems in persistent memory , 2014 . URL https:\/\/lwn.net\/Articles\/610174\/. J. Corbet. Supporting filesystems in persistent memory, 2014. URL https:\/\/lwn.net\/Articles\/610174\/."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2012.6237019"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541940"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2866573"},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017. ACM","author":"Antras A.","year":"2017","unstructured":"A. d' Antras , C. Gorgovan , J. D. Garside , and M. Luj\u00e1n . Low overhead dynamic binary translation on ARM . In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017. ACM , 2017 . A. d'Antras, C. Gorgovan, J. D. Garside, and M. Luj\u00e1n. Low overhead dynamic binary translation on ARM. In Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017. ACM, 2017."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2003.1191529"},{"key":"e_1_3_2_1_21_1","first-page":"93","volume-title":"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 , 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, 2012."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/356989.357008"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"R. Grisenthwaite. ARMv8 Technology Preview 2011.  R. Grisenthwaite. ARMv8 Technology Preview 2011.","DOI":"10.1016\/S0958-2118(11)70246-4"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2015.7054188"},{"issue":"1","key":"e_1_3_2_1_25_1","article-title":"DIGITAL fx!32: Combining emulation and binary translation","volume":"9","author":"Hookway R. J.","year":"1997","unstructured":"R. J. Hookway and M. A. Herdeg . DIGITAL fx!32: Combining emulation and binary translation . Digital Technical Journal , 9 ( 1 ), 1997 . URL http:\/\/www.hpl.hp.com\/hpjournal\/dtj\/vol9num1\/vol9num1art1.pdf. R. J. Hookway and M. A. Herdeg. DIGITAL fx!32: Combining emulation and binary translation. Digital Technical Journal, 9(1), 1997. URL http:\/\/www.hpl.hp.com\/hpjournal\/dtj\/vol9num1\/vol9num1art1.pdf.","journal-title":"Digital Technical Journal"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065034"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242531.1242554"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2015.108"},{"key":"e_1_3_2_1_29_1","volume-title":"Formal virtualization requirements for the ARM architecture. Journal of Systems Architecture - Embedded Systems Design, 59(3):144--154","author":"Penneman N.","year":"2013","unstructured":"N. Penneman , D. Kudinskas , A. Rawsthorne , B. D. Sutter , and K. D. Bosschere . Formal virtualization requirements for the ARM architecture. Journal of Systems Architecture - Embedded Systems Design, 59(3):144--154 , 2013 . doi: 10. 1016\/j.sysarc.2013.02.003. N. Penneman, D. Kudinskas, A. Rawsthorne, B. D. Sutter, and K. D. Bosschere. Formal virtualization requirements for the ARM architecture. Journal of Systems Architecture - Embedded Systems Design, 59(3):144--154, 2013. doi: 10. 1016\/j.sysarc.2013.02.003."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361073"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2007.29"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2016604.2016634"},{"key":"e_1_3_2_1_33_1","unstructured":"D. Seal. ARM Architecture Reference Manual. Pearson Education 2001.  D. Seal. ARM Architecture Reference Manual. Pearson Education 2001."},{"key":"e_1_3_2_1_34_1","first-page":"17","volume-title":"Proceedings of the 2005 USENIX Annual Technical Conference","author":"Seward J.","year":"2005","unstructured":"J. Seward and N. Nethercote . Using Valgrind to detect undefined value errors with bit-precision . In Proceedings of the 2005 USENIX Annual Technical Conference , pages 17 -- 30 . USENIX, 2005 . URL http:\/\/www.usenix.org\/events\/usenix05\/tech\/general\/seward.html. J. Seward and N. Nethercote. Using Valgrind to detect undefined value errors with bit-precision. In Proceedings of the 2005 USENIX Annual Technical Conference, pages 17--30. USENIX, 2005. URL http:\/\/www.usenix.org\/events\/usenix05\/tech\/general\/seward.html."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2013.71"},{"key":"e_1_3_2_1_36_1","volume-title":"Performance Evaluation Corporation. SPEC CPU2006","year":"2006","unstructured":"Standard Performance Evaluation Corporation. SPEC CPU2006 . http:\/\/www.spec.org\/cpu 2006 \/. Standard Performance Evaluation Corporation. SPEC CPU2006. http:\/\/www.spec.org\/cpu2006\/."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2686034"},{"key":"e_1_3_2_1_38_1","unstructured":"Transitive. Transitive 2008. URL http:\/\/www.transitive.com. [Archived at https:\/\/web.archive.org\/web\/20080914184751\/http:\/\/www.transitive.com].  Transitive. Transitive 2008. URL http:\/\/www.transitive.com. [Archived at https:\/\/web.archive.org\/web\/20080914184751\/http:\/\/www.transitive.com]."},{"key":"e_1_3_2_1_39_1","unstructured":"A. van de Ven. An introduction to clear containers 2015. URL https:\/\/lwn.net\/Articles\/644675\/.  A. van de Ven. An introduction to clear containers 2015. URL https:\/\/lwn.net\/Articles\/644675\/."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74309-5_3"},{"key":"e_1_3_2_1_41_1","first-page":"591","volume-title":"2016 USENIX Annual Technical Conference, USENIX ATC 2016","author":"Wang W.","year":"2016","unstructured":"W. Wang , P. Yew , A. Zhai , and S. McCamant . A general persistent code caching framework for dynamic binary translation (DBT) . In 2016 USENIX Annual Technical Conference, USENIX ATC 2016 , pages 591 -- 603 . USENIX Association , 2016 . URL https:\/\/www.usenix.org\/conference\/atc16\/technical-sessions\/presentation\/wang. W. Wang, P. Yew, A. Zhai, and S. McCamant. A general persistent code caching framework for dynamic binary translation (DBT). In 2016 USENIX Annual Technical Conference, USENIX ATC 2016, pages 591--603. USENIX Association, 2016. URL https:\/\/www.usenix.org\/conference\/atc16\/technical-sessions\/presentation\/wang."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1344209.1344210"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1952682.1952688"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.825695"}],"event":{"name":"VEE '17: 13th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments","location":"Xi'an China","acronym":"VEE '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 13th ACM SIGPLAN\/SIGOPS International Conference on Virtual Execution Environments"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3050748.3050756","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3050748.3050756","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:54:38Z","timestamp":1750208078000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3050748.3050756"}},"subtitle":["Using Virtualization to Support High-Performance Transparent Binary Translation"],"short-title":[],"issued":{"date-parts":[[2017,4,8]]},"references-count":43,"alternative-id":["10.1145\/3050748.3050756","10.1145\/3050748"],"URL":"https:\/\/doi.org\/10.1145\/3050748.3050756","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3140607.3050756","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,4,8]]},"assertion":[{"value":"2017-04-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}