{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,26]],"date-time":"2026-06-26T09:40:57Z","timestamp":1782466857392,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,3]],"date-time":"2013-11-03T00:00:00Z","timestamp":1383436800000},"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":[[2013,11,3]]},"DOI":"10.1145\/2517349.2522719","type":"proceedings-article","created":{"date-parts":[[2013,10,8]],"date-time":"2013-10-08T13:27:04Z","timestamp":1381238824000},"page":"116-132","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":53,"title":["VirtuOS"],"prefix":"10.1145","author":[{"given":"Ruslan","family":"Nikolaev","sequence":"first","affiliation":[{"name":"Virginia Tech, Blacksburg, VA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Godmar","family":"Back","sequence":"additional","affiliation":[{"name":"Virginia Tech, Blacksburg, VA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,11,3]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"http:\/\/www.netcore.fi\/pekkas\/linux\/ipv6\/ttcp.c","author":"TTCP","year":"2007","unstructured":"TTCP tool. http:\/\/www.netcore.fi\/pekkas\/linux\/ipv6\/ttcp.c , 2007 . TTCP tool. http:\/\/www.netcore.fi\/pekkas\/linux\/ipv6\/ttcp.c, 2007."},{"key":"e_1_3_2_2_2_1","volume-title":"http:\/\/lse.sourceforge.net\/io\/aio.html","author":"O","year":"2012","unstructured":"Kernel Asynchronous I\/ O (AIO). http:\/\/lse.sourceforge.net\/io\/aio.html , 2012 . Kernel Asynchronous I\/O (AIO). http:\/\/lse.sourceforge.net\/io\/aio.html, 2012."},{"key":"e_1_3_2_2_3_1","volume-title":"http:\/\/uclibc.org\/","author":"C","year":"2012","unstructured":"uClibc C libary. http:\/\/uclibc.org\/ , 2012 . uClibc C libary. http:\/\/uclibc.org\/, 2012."},{"key":"e_1_3_2_2_4_1","volume-title":"http:\/\/lmbench.sourceforge.net\/","year":"2013","unstructured":"LMbench -- Tools for Performance Analysis. http:\/\/lmbench.sourceforge.net\/ , 2013 . LMbench -- Tools for Performance Analysis. http:\/\/lmbench.sourceforge.net\/, 2013."},{"key":"e_1_3_2_2_5_1","volume-title":"http:\/\/sysbench.sourceforge.net\/","author":"System Performance Benchmark A","year":"2013","unstructured":"SysBench 0.4.12 -- A System Performance Benchmark . http:\/\/sysbench.sourceforge.net\/ , 2013 . SysBench 0.4.12 -- A System Performance Benchmark. http:\/\/sysbench.sourceforge.net\/, 2013."},{"key":"e_1_3_2_2_6_1","first-page":"93","volume-title":"Proceedings of the 1986 Summer USENIX Conference","author":"Accetta M.","year":"1986","unstructured":"M. Accetta , R. Baron , W. Bolosky , D. Golub , R. Rashid , A. Tevanian , and M. Young . Mach: A new kernel foundation for UNIX development . In Proceedings of the 1986 Summer USENIX Conference , pages 93 -- 112 , 1986 . M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A new kernel foundation for UNIX development. In Proceedings of the 1986 Summer USENIX Conference, pages 93--112, 1986."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217943"},{"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","first-page":"43","volume-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design & Implementation, OSDI'08","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 Proceedings of the 8th USENIX Symposium on Operating Systems Design & Implementation, OSDI'08 , pages 43 -- 57 , San Diego, CA , 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 Proceedings of the 8th USENIX Symposium on Operating Systems Design & Implementation, OSDI'08, pages 43--57, San Diego, CA, 2008."},{"key":"e_1_3_2_2_10_1","first-page":"117","volume-title":"Proceedings of the 2010 USENIX Annual Technical Conference, ATC'10","author":"Boyd-Wickizer S.","year":"2010","unstructured":"S. Boyd-Wickizer and N. Zeldovich . Tolerating malicious device drivers in Linux . In Proceedings of the 2010 USENIX Annual Technical Conference, ATC'10 , pages 117 -- 130 , Boston, MA, USA , 2010 . S. Boyd-Wickizer and N. Zeldovich. Tolerating malicious device drivers in Linux. In Proceedings of the 2010 USENIX Annual Technical Conference, ATC'10, pages 117--130, Boston, MA, USA, 2010."},{"key":"e_1_3_2_2_11_1","first-page":"313","volume-title":"Proceedings of the 2009 USENIX Annual Technical Conference, ATC'09","author":"Burtsev A.","year":"2009","unstructured":"A. Burtsev , K. Srinivasan , P. Radhakrishnan , L. N. Bairavasundaram , K. Voruganti , and G. R. Goodson . Fido: fast inter-virtual-machine communication for enterprise appliances . In Proceedings of the 2009 USENIX Annual Technical Conference, ATC'09 , pages 313 -- 326 , San Diego, CA, USA , 2009 . A. Burtsev, K. Srinivasan, P. Radhakrishnan, L. N. Bairavasundaram, K. Voruganti, and G. R. Goodson. Fido: fast inter-virtual-machine communication for enterprise appliances. In Proceedings of the 2009 USENIX Annual Technical Conference, ATC'09, pages 313--326, San Diego, CA, USA, 2009."},{"key":"e_1_3_2_2_12_1","volume-title":"Towards a new strategy for OS design","author":"Bushnell T.","year":"1996","unstructured":"T. Bushnell . Towards a new strategy for OS design , 1996 . http:\/\/www.gnu.org\/software\/hurd\/hurd-paper.html. T. Bushnell. Towards a new strategy for OS design, 1996. http:\/\/www.gnu.org\/software\/hurd\/hurd-paper.html."},{"key":"e_1_3_2_2_13_1","first-page":"31","volume-title":"Proceedings of the 6th USENIX Symposium on Operating Systems Design & Implementation, OSDI'04","author":"Candea G.","year":"2004","unstructured":"G. Candea , S. Kawamoto , Y. Fujiki , G. Friedman , and A. Fox . Microreboot -- a technique for cheap recovery . In Proceedings of the 6th USENIX Symposium on Operating Systems Design & Implementation, OSDI'04 , pages 31 -- 44 , San Francisco, CA, USA , 2004 . G. Candea, S. Kawamoto, Y. Fujiki, G. Friedman, and A. Fox. Microreboot -- a technique for cheap recovery. In Proceedings of the 6th USENIX Symposium on Operating Systems Design & Implementation, OSDI'04, pages 31--44, San Francisco, CA, USA, 2004."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043575"},{"key":"e_1_3_2_2_15_1","first-page":"59","volume-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design & Implementation, OSDI'08","author":"David F. M.","year":"2008","unstructured":"F. M. David , E. M. Chan , J. C. Carlyle , and R. H. Campbell . CuriOS: improving reliability through operating system structure . In Proceedings of the 8th USENIX Symposium on Operating Systems Design & Implementation, OSDI'08 , pages 59 -- 72 , San Diego, CA, USA , 2008 . F. M. David, E. M. Chan, J. C. Carlyle, and R. H. Campbell. CuriOS: improving reliability through operating system structure. In Proceedings of the 8th USENIX Symposium on Operating Systems Design & Implementation, OSDI'08, pages 59--72, San Diego, CA, USA, 2008."},{"key":"e_1_3_2_2_16_1","volume-title":"The native POSIX thread library for Linux","author":"Drepper U.","year":"2005","unstructured":"U. Drepper and I. Molnar . The native POSIX thread library for Linux , 2005 . http:\/\/www.akkadia.org\/drepper\/nptl-design.pdf. U. Drepper and I. Molnar. The native POSIX thread library for Linux, 2005. http:\/\/www.akkadia.org\/drepper\/nptl-design.pdf."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238769"},{"key":"e_1_3_2_2_19_1","volume-title":"Proceedings of the 1st Workshop on Operating System and Architectural Support for the on-demand IT InfraStructure, OASIS'04","author":"Fraser K.","year":"2004","unstructured":"K. Fraser , H. Steven , R. Neugebauer , I. Pratt , A. Warfield , and M. Williamson . Safe hardware access with the Xen virtual machine monitor . In Proceedings of the 1st Workshop on Operating System and Architectural Support for the on-demand IT InfraStructure, OASIS'04 , 2004 . K. Fraser, H. Steven, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson. Safe hardware access with the Xen virtual machine monitor. In Proceedings of the 1st Workshop on Operating System and Architectural Support for the on-demand IT InfraStructure, OASIS'04, 2004."},{"key":"e_1_3_2_2_20_1","first-page":"149","volume-title":"Proceedings of the 20th Conference on Large Installation System Administration, LISA '06","author":"Ganapathi A.","year":"2006","unstructured":"A. Ganapathi , V. Ganapathi , and D. Patterson . Windows XP kernel crash analysis . In Proceedings of the 20th Conference on Large Installation System Administration, LISA '06 , pages 149 -- 159 , Washington, DC, USA , 2006 . A. Ganapathi, V. Ganapathi, and D. Patterson. Windows XP kernel crash analysis. In Proceedings of the 20th Conference on Large Installation System Administration, LISA '06, pages 149--159, Washington, DC, USA, 2006."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346303"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/566726.566751"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629586"},{"key":"e_1_3_2_2_24_1","volume-title":"Proceedings of the 10th Workshop on Hot Topics in Operating Systems, HOTOS'05","author":"Hand S.","year":"2005","unstructured":"S. Hand , A. Warfield , K. Fraser , E. Kotsovinos , and D. Magenheimer . Are virtual machine monitors microkernels done right? In Proceedings of the 10th Workshop on Hot Topics in Operating Systems, HOTOS'05 , Santa Fe, NM , 2005 . S. Hand, A. Warfield, K. Fraser, E. Kotsovinos, and D. Magenheimer. Are virtual machine monitors microkernels done right? In Proceedings of the 10th Workshop on Hot Topics in Operating Systems, HOTOS'05, Santa Fe, NM, 2005."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266660"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1113361.1113363"},{"key":"e_1_3_2_2_27_1","volume-title":"The Lites Server. Master's thesis","author":"Helander J.","year":"1994","unstructured":"J. Helander . Unix under Mach : The Lites Server. Master's thesis , Helsinki University of Technology , 1994 . J. Helander. Unix under Mach: The Lites Server. Master's thesis, Helsinki University of Technology, 1994."},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/LADC.2009.12"},{"key":"e_1_3_2_2_29_1","first-page":"74","volume-title":"Proceedings of 12th ASCI Conference, ASCI'06","author":"Herder J. N.","year":"2006","unstructured":"J. N. Herder , H. Bos , B. Gras , P. Homburg , and A. S. Tanenbaum . The architecture of a fault-resilient operating system . In Proceedings of 12th ASCI Conference, ASCI'06 , pages 74 -- 81 , Lommel, Belgium , 2006 . J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum. The architecture of a fault-resilient operating system. In Proceedings of 12th ASCI Conference, ASCI'06, pages 74--81, Lommel, Belgium, 2006."},{"key":"e_1_3_2_2_30_1","volume-title":"The Art of Multiprocessor Programming","author":"Herlihy M.","year":"2008","unstructured":"M. Herlihy and N. Shavit . The Art of Multiprocessor Programming . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA, 2008 . M. Herlihy and N. Shavit. The Art of Multiprocessor Programming. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2008."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629582"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451168"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/121132.286599"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-005-0654-4"},{"key":"e_1_3_2_2_35_1","first-page":"17","volume-title":"Proceedings of the 6th USENIX Symposium on Operating Systems Design & Implementation, OSDI'04","author":"LeVasseur J.","year":"2004","unstructured":"J. LeVasseur , V. Uhlig , J. Stoess , and S. G\u00f6tz . Unmodified device driver reuse and improved system dependability via virtual machines . In Proceedings of the 6th USENIX Symposium on Operating Systems Design & Implementation, OSDI'04 , pages 17 -- 30 , San Francisco, CA, USA , 2004 . J. LeVasseur, V. Uhlig, J. Stoess, and S. G\u00f6tz. Unmodified device driver reuse and improved system dependability via virtual machines. In Proceedings of the 6th USENIX Symposium on Operating Systems Design & Implementation, OSDI'04, pages 17--30, San Francisco, CA, USA, 2004."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168633"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224075"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064979.1064984"},{"key":"e_1_3_2_2_39_1","first-page":"17","volume-title":"Proceedings of the 4th USENIX Symposium on Operating Systems Design & Implementation, OSDI'00","author":"M\u00e9rillon F.","year":"2000","unstructured":"F. M\u00e9rillon , L. R\u00e9veill\u00e8re , C. Consel , R. Marlet , and G. Muller . Devil: an IDL for hardware programming . In Proceedings of the 4th USENIX Symposium on Operating Systems Design & Implementation, OSDI'00 , pages 17 -- 30 , San Diego, CA, USA , 2000 . F. M\u00e9rillon, L. R\u00e9veill\u00e8re, C. Consel, R. Marlet, and G. Muller. Devil: an IDL for hardware programming. In Proceedings of the 4th USENIX Symposium on Operating Systems Design & Implementation, OSDI'00, pages 17--30, San Diego, CA, USA, 2000."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/248052.248106"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1036474.1036498"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1952682.1952687"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272366.1272390"},{"key":"e_1_3_2_2_44_1","first-page":"187","volume-title":"Proceedings of the 2009 USENIX Annual Technical Conference, ATC'09","author":"Renzelmann M. J.","year":"2009","unstructured":"M. J. Renzelmann and M. M. Swift . Decaf: moving device drivers to a modern language . In Proceedings of the 2009 USENIX Annual Technical Conference, ATC'09 , pages 187 -- 200 , San Diego, CA, USA , 2009 . M. J. Renzelmann and M. M. Swift. Decaf: moving device drivers to a modern language. In Proceedings of the 2009 USENIX Annual Technical Conference, ATC'09, pages 187--200, San Diego, CA, USA, 2009."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251306.1251316"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519095"},{"key":"e_1_3_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/1404014.1404017"},{"key":"e_1_3_2_2_48_1","first-page":"1","volume-title":"Proceedings of the 9th USENIX Symposium on Operating Systems Design & Implementation, OSDI'10","author":"Soares L.","year":"2010","unstructured":"L. Soares and M. Stumm . FlexSC: flexible system call scheduling with exception-less system calls . In Proceedings of the 9th USENIX Symposium on Operating Systems Design & Implementation, OSDI'10 , pages 1 -- 8 , Vancouver, BC, Canada , 2010 . L. Soares and M. Stumm. FlexSC: flexible system call scheduling with exception-less system calls. In Proceedings of the 9th USENIX Symposium on Operating Systems Design & Implementation, OSDI'10, pages 1--8, Vancouver, BC, Canada, 2010."},{"key":"e_1_3_2_2_49_1","first-page":"131","volume-title":"Proceedings of the 2011 USENIX Annual Technical Conference, ATC'11","author":"Soares L.","year":"2011","unstructured":"L. Soares and M. Stumm . Exception-less system calls for event-driven servers . In Proceedings of the 2011 USENIX Annual Technical Conference, ATC'11 , pages 131 -- 144 , Portland, OR , 2011 . L. Soares and M. Stumm. Exception-less system calls for event-driven servers. In Proceedings of the 2011 USENIX Annual Technical Conference, ATC'11, pages 131--144, Portland, OR, 2011."},{"key":"e_1_3_2_2_50_1","first-page":"119","volume-title":"Proceedings of the USENIX 1995 Technical Conference, TCON'95","author":"Stevenson J. M.","year":"1995","unstructured":"J. M. Stevenson and D. P. Julin . Mach-US: UNIX on generic OS object servers . In Proceedings of the USENIX 1995 Technical Conference, TCON'95 , pages 119 -- 130 , New Orleans, Louisiana , 1995 . J. M. Stevenson and D. P. Julin. Mach-US: UNIX on generic OS object servers. In Proceedings of the USENIX 1995 Technical Conference, TCON'95, pages 119--130, New Orleans, Louisiana, 1995."},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945466"},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1531793.1531805"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060308"},{"key":"e_1_3_2_2_55_1","first-page":"131","volume-title":"Proceedings of the 7th USENIX Symposium on Operating Systems Design & Implementation, OSDI'06","author":"Yang J.","year":"2006","unstructured":"J. Yang , C. Sar , and D. Engler . Explode: a lightweight, general system for finding serious storage system errors . In Proceedings of the 7th USENIX Symposium on Operating Systems Design & Implementation, OSDI'06 , pages 131 -- 146 , Seattle, WA, USA , 2006 . J. Yang, C. Sar, and D. Engler. Explode: a lightweight, general system for finding serious storage system errors. In Proceedings of the 7th USENIX Symposium on Operating Systems Design & Implementation, OSDI'06, pages 131--146, Seattle, WA, USA, 2006."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/CGC.2012.115"},{"key":"e_1_3_2_2_57_1","first-page":"45","volume-title":"Proceedings of the 7th USENIX Symposium on Operating Systems Design & Implementation, OSDI'06","author":"Zhou F.","year":"2006","unstructured":"F. Zhou , J. Condit , Z. Anderson , I. Bagrak , R. Ennals , M. Harren , G. Necula , and E. Brewer . SafeDrive: safe and recoverable extensions using language-based techniques . In Proceedings of the 7th USENIX Symposium on Operating Systems Design & Implementation, OSDI'06 , pages 45 -- 60 , Seattle, WA, USA , 2006 . F. Zhou, J. Condit, Z. Anderson, I. Bagrak, R. Ennals, M. Harren, G. Necula, and E. Brewer. SafeDrive: safe and recoverable extensions using language-based techniques. In Proceedings of the 7th USENIX Symposium on Operating Systems Design & Implementation, OSDI'06, pages 45--60, Seattle, WA, USA, 2006."}],"event":{"name":"SOSP '13: ACM SIGOPS 24th Symposium on Operating Systems Principles","location":"Farminton Pennsylvania","acronym":"SOSP '13","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2517349.2522719","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2517349.2522719","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:53Z","timestamp":1750231733000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2517349.2522719"}},"subtitle":["an operating system with kernel virtualization"],"short-title":[],"issued":{"date-parts":[[2013,11,3]]},"references-count":56,"alternative-id":["10.1145\/2517349.2522719","10.1145\/2517349"],"URL":"https:\/\/doi.org\/10.1145\/2517349.2522719","relation":{},"subject":[],"published":{"date-parts":[[2013,11,3]]},"assertion":[{"value":"2013-11-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}