{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:36Z","timestamp":1750308636043,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T00:00:00Z","timestamp":1330214400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["6.10E+15"],"award-info":[{"award-number":["6.10E+15"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003399","name":"Science and Technology Commission of Shanghai Municipality","doi-asserted-by":"publisher","award":["10511500100"],"award-info":[{"award-number":["10511500100"]}],"id":[{"id":"10.13039\/501100003399","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,2,26]]},"DOI":"10.1145\/2141702.2141717","type":"proceedings-article","created":{"date-parts":[[2012,2,28]],"date-time":"2012-02-28T12:58:45Z","timestamp":1330433925000},"page":"134-139","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A case for secure and scalable hypervisor using safe language"],"prefix":"10.1145","author":[{"given":"Haibo","family":"Chen","sequence":"first","affiliation":[{"name":"Shanghai Jiaotong University"}]},{"given":"Binyu","family":"Zang","sequence":"additional","affiliation":[{"name":"Fudan University"}]}],"member":"320","published-online":{"date-parts":[[2012,2,26]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Common vulnerabilities and exposures. http:\/\/cve.mitre.org\/.  Common vulnerabilities and exposures. http:\/\/cve.mitre.org\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250662.1250720"},{"key":"e_1_3_2_1_3_1","unstructured":"Amazon Inc. Amazon web service customer agreement. http:\/\/aws.amazon.com\/agreement\/ 2011.  Amazon Inc. Amazon web service customer agreement. http:\/\/aws.amazon.com\/agreement\/ 2011."},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 11th Workshop on Hot Topics in Operating Systems","author":"Anderson Z.","year":"2007","unstructured":"Z. Anderson , E. Brewer , J. Condit , R. Ennals , D. Gay , M. Harren , G. Necula , and F. Zhou . Beyond Bug-Finding: Sound Program Analysis for Linux . In Proceedings of the 11th Workshop on Hot Topics in Operating Systems , 2007 . Z. Anderson, E. Brewer, J. Condit, R. Ennals, D. Gay, M. Harren, G. Necula, and F. Zhou. Beyond Bug-Finding: Sound Program Analysis for Linux. In Proceedings of the 11th Workshop on Hot Topics in Operating Systems, 2007."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.442.0427"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.421.0060"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1215995.1216000"},{"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\/1629575.1629579"},{"key":"e_1_3_2_1_10_1","volume-title":"March","author":"Borkar S.","year":"2005","unstructured":"S. Borkar , P. Dubey , K. Kahn , D. Kuck , H. Mulder , and S. Pawlowski . Platform 2015: Intel Processor and Platform Evolution for the Next Decade. Technology@ Intel Magazine , March 2005 . S. Borkar, P. Dubey, K. Kahn, D. Kuck, H. Mulder, and S. Pawlowski. Platform 2015: Intel Processor and Platform Evolution for the Next Decade. Technology@ Intel Magazine, March 2005."},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. OSDI","author":"Boyd-Wickizer S.","year":"2008","unstructured":"S. Boyd-Wickizer , H. Chen , R. Chen , Y. Mao , F. Kaashoek , R. Morris , A. Pesterev , L. Stein , M. Wu , Y. Dai , Y. Zhang , and Z. Zhang . Corey: An operating system for many cores . In Proc. OSDI , 2008 . S. Boyd-Wickizer, H. Chen, R. Chen, Y. Mao, F. Kaashoek, R. Morris, A. Pesterev, L. Stein, M. Wu, Y. Dai, Y. Zhang, and Z. Zhang. Corey: An operating system for many cores. In Proc. OSDI, 2008."},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. OSDI","author":"Boyd-Wickizer S.","year":"2010","unstructured":"S. Boyd-Wickizer , A. Clements , Y. Mao , A. Pesterev , M. F. Kaashoek , R. Morris , and N. Zeldovich . An analysis of Linux scalability to many cores . In Proc. OSDI , 2010 . S. Boyd-Wickizer, A. Clements, Y. Mao, A. Pesterev, M. F. Kaashoek, R. Morris, and N. Zeldovich. An analysis of Linux scalability to many cores. In Proc. OSDI, 2010."},{"key":"e_1_3_2_1_13_1","volume-title":"10th Workshop on Hot Topics in Operating Systems (HotOS X)","author":"Brewer E.","year":"2005","unstructured":"E. Brewer , J. Condit , B. McCloskey , and F. Zhou . Thirty Years is Long Enough: Getting Beyond C . In 10th Workshop on Hot Topics in Operating Systems (HotOS X) , 2005 . E. Brewer, J. Condit, B. McCloskey, and F. Zhou. Thirty Years is Long Enough: Getting Beyond C. In 10th Workshop on Hot Topics in Operating Systems (HotOS X), 2005."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224059"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.istr.2007.05.005"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPP.2007.54"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1134767"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043575"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294295"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189276.1189289"},{"key":"e_1_3_2_1_21_1","volume-title":"10th Workshop on Hot Topics in Operating Systems (HotOS X). Usenix","author":"Fiuczynski M.","year":"2005","unstructured":"M. Fiuczynski , R. Grimm , Y. Coady , and D. Walker . Patch (1) considered harmful . In 10th Workshop on Hot Topics in Operating Systems (HotOS X). Usenix , 2005 . M. Fiuczynski, R. Grimm, Y. Coady, and D. Walker. Patch (1) considered harmful. In 10th Workshop on Hot Topics in Operating Systems (HotOS X). Usenix, 2005."},{"key":"e_1_3_2_1_22_1","first-page":"87","volume-title":"Proc. OSDI","author":"Gamsa B.","year":"1999","unstructured":"B. Gamsa , O. Krieger , J. Appavoo , and M. Stumm . Tornado: Maximizing locality and concurrency in a shared memory multiprocessor operating system . In Proc. OSDI , pages 87 -- 100 , 1999 . B. Gamsa, O. Krieger, J. Appavoo, and M. Stumm. Tornado: Maximizing locality and concurrency in a shared memory multiprocessor operating system. In Proc. OSDI, pages 87--100, 1999."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1735997.1736003"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_26_1","first-page":"338","volume-title":"Proceedings of Linux Symposium","author":"McKenney P. E.","year":"2002","unstructured":"P. E. McKenney , D. Sarma , A. Arcangeli , A. Kleen , O. Krieger , and R. Russell . Read-copy update . In Proceedings of Linux Symposium , pages 338 -- 367 , 2002 . P. E. McKenney, D. Sarma, A. Arcangeli, A. Kleen, O. Krieger, and R. Russell. Read-copy update. In Proceedings of Linux Symposium, pages 338--367, 2002."},{"key":"e_1_3_2_1_27_1","volume-title":"Microsoft virtual server. See www. microsoft.com\/windowsserversystem\/virtualserver","author":"Microsoft Corporation","year":"2005","unstructured":"Microsoft Corporation . Microsoft virtual server. See www. microsoft.com\/windowsserversystem\/virtualserver , 2005 . Microsoft Corporation. Microsoft virtual server. See www. microsoft.com\/windowsserversystem\/virtualserver, 2005."},{"key":"e_1_3_2_1_28_1","unstructured":"Microsoft Inc. Microsoft online services privacy statement. http:\/\/www.microsoft.com\/online\/legal\/?langid=en-us&docid=7 March 2011.  Microsoft Inc. Microsoft online services privacy statement. http:\/\/www.microsoft.com\/online\/legal\/?langid=en-us&docid=7 March 2011."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/876899.881180"},{"key":"e_1_3_2_1_30_1","volume-title":"HOTOS'03: Proceedings of the 9th conference on Hot Topics in Operating Systems. USENIX Association","author":"Sapuntzakis C.","year":"2003","unstructured":"C. Sapuntzakis and M. S. Lam . Virtual appliances in the collective: a road to hassle-free computing . In HOTOS'03: Proceedings of the 9th conference on Hot Topics in Operating Systems. USENIX Association , 2003 . C. Sapuntzakis and M. S. Lam. Virtual appliances in the collective: a road to hassle-free computing. In HOTOS'03: Proceedings of the 9th conference on Hot Topics in Operating Systems. USENIX Association, 2003."},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. NICTA Formal Methods Workshop on Operating Systems Verification","author":"Shapiro J.","year":"2004","unstructured":"J. Shapiro , M. Doerrie , E. Northup , S. Sridhar , and M. Miller . Towards a verified, general-purpose operating system kernel . In Proc. NICTA Formal Methods Workshop on Operating Systems Verification , Sydney, Australia , 2004 . J. Shapiro, M. Doerrie, E. Northup, S. Sridhar, and M. Miller. Towards a verified, general-purpose operating system kernel. In Proc. NICTA Formal Methods Workshop on Operating Systems Verification, Sydney, Australia, 2004."},{"key":"e_1_3_2_1_32_1","unstructured":"J. Shapiro S. Sridhar and S. Doerrie. BitC Language Specification. http:\/\/www.bitc-lang.org\/docs\/bitc\/spec.html 2006.  J. Shapiro S. Sridhar and S. Doerrie. BitC Language Specification . http:\/\/www.bitc-lang.org\/docs\/bitc\/spec.html 2006."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966452"},{"key":"e_1_3_2_1_34_1","volume-title":"Characterizing the performance and scalability of many-core applications on virtualized platforms","author":"Song X.","year":"2010","unstructured":"X. Song , H. Chen , and B. Zang . Characterizing the performance and scalability of many-core applications on virtualized platforms . Parallel Processing Institute , Fudan University , 2010 . X. Song, H. Chen, and B. Zang. Characterizing the performance and scalability of many-core applications on virtualized platforms. Parallel Processing Institute, Fudan University, 2010."},{"key":"e_1_3_2_1_35_1","first-page":"53","volume-title":"Proceedings of the Fortieth International Confernece on Tools Pacific: Objects for internet, mobile and embedded applications-Volume 10","author":"Spinczyk O.","year":"2002","unstructured":"O. Spinczyk , A. Gal , and W. Schr\u00f6der-Preikschat . AspectC++: an aspect-oriented extension to the C++ programming language . Proceedings of the Fortieth International Confernece on Tools Pacific: Objects for internet, mobile and embedded applications-Volume 10 , pages 53 -- 60 , 2002 . O. Spinczyk, A. Gal, and W. Schr\u00f6der-Preikschat. AspectC++: an aspect-oriented extension to the C++ programming language. Proceedings of the Fortieth International Confernece on Tools Pacific: Objects for internet, mobile and embedded applications-Volume 10, pages 53--60, 2002."},{"key":"e_1_3_2_1_36_1","volume-title":"Proc. of Linux Symposium","author":"Theurer A.","year":"2006","unstructured":"A. Theurer , K. Rister , O. Krieger , R. Harper , and S. Dobbelstein . Virtual Scalability: Charting the Performance of Linux in a Virtual World . In Proc. of Linux Symposium , 2006 . A. Theurer, K. Rister, O. Krieger, R. Harper, and S. Dobbelstein. Virtual Scalability: Charting the Performance of Linux in a Virtual World. In Proc. of Linux Symposium, 2006."},{"key":"e_1_3_2_1_37_1","first-page":"7","volume-title":"OS Verification - Now! In Proceedings of the 10th Workshop on Hot Topics in Operating Systems","author":"Tuch H.","year":"2005","unstructured":"H. Tuch , G. Klein , and G. Heiser . OS Verification - Now! In Proceedings of the 10th Workshop on Hot Topics in Operating Systems , pages 7 -- 12 , 2005 . H. Tuch, G. Klein, and G. Heiser. OS Verification - Now! In Proceedings of the 10th Workshop on Hot Topics in Operating Systems, pages 7--12, 2005."},{"volume-title":"The VMWare software package. See http:\/\/www.vmware.com","year":"2006","key":"e_1_3_2_1_38_1","unstructured":"VMware. The VMWare software package. See http:\/\/www.vmware.com , 2006 . VMware. The VMWare software package. See http:\/\/www.vmware.com, 2006."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1531793.1531805"},{"key":"e_1_3_2_1_40_1","first-page":"195","volume-title":"Proc. of USENIX'02","author":"Whitaker A.","year":"2002","unstructured":"A. Whitaker , M. Shaw , and S. D. Gribble . Denali: Lightweight virtual machines for distributed and networked applications . In Proc. of USENIX'02 , pages 195 -- 209 , 2002 . A. Whitaker, M. Shaw, and S. D. Gribble. Denali: Lightweight virtual machines for distributed and networked applications. In Proc. of USENIX'02, pages 195--209, 2002."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043576"}],"event":{"name":"PPoPP '12: ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"New Orleans Louisiana","acronym":"PPoPP '12"},"container-title":["Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2141702.2141717","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2141702.2141717","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:08:04Z","timestamp":1750273684000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2141702.2141717"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,2,26]]},"references-count":41,"alternative-id":["10.1145\/2141702.2141717","10.1145\/2141702"],"URL":"https:\/\/doi.org\/10.1145\/2141702.2141717","relation":{},"subject":[],"published":{"date-parts":[[2012,2,26]]},"assertion":[{"value":"2012-02-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}