{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T13:09:04Z","timestamp":1791119344533,"version":"4.1.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,4,15]],"date-time":"2013-04-15T00:00:00Z","timestamp":1365984000000},"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,4,15]]},"DOI":"10.1145\/2465351.2465375","type":"proceedings-article","created":{"date-parts":[[2013,4,17]],"date-time":"2013-04-17T19:57:35Z","timestamp":1366228655000},"page":"239-252","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":27,"title":["Composing OS extensions safely and efficiently with Bascule"],"prefix":"10.1145","author":[{"given":"Andrew","family":"Baumann","sequence":"first","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dongyoon","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Michigan"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pedro","family":"Fonseca","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lisa","family":"Glendenning","sequence":"additional","affiliation":[{"name":"University of Washington"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jacob R.","family":"Lorch","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Barry","family":"Bond","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Reuben","family":"Olinsky","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Galen C.","family":"Hunt","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,4,15]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"323","volume-title":"Proceedings of the 2003 USENIX Annual Technical Conference, FREENIX Track","author":"Appavoo Jonathan","year":"2003","unstructured":"Jonathan Appavoo , Marc Auslander , David Edelsohn , Dilma Da Silva , Orran Krieger , Michal Ostrowski , Bryan Rosenburg , Robert W. Wisniewski , and Jimi Xenidis . Providing a Linux API on the scalable K42 kernel . In Proceedings of the 2003 USENIX Annual Technical Conference, FREENIX Track , pages 323 -- 336 , June 2003 . Jonathan Appavoo, Marc Auslander, David Edelsohn, Dilma Da Silva, Orran Krieger, Michal Ostrowski, Bryan Rosenburg, Robert W. Wisniewski, and Jimi Xenidis. Providing a Linux API on the scalable K42 kernel. In Proceedings of the 2003 USENIX Annual Technical Conference, FREENIX Track, pages 323--336, June 2003."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629579"},{"key":"e_1_3_2_1_3_1","first-page":"335","volume-title":"Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation","author":"Belay Adam","year":"2012","unstructured":"Adam Belay , Andrea Bittau , Ali Mashtizadeh , David Terei , David Mazi\u00e8res , and Christos Kozyrakis . Dune : Safe user-level access to privileged CPU features . In Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation , pages 335 -- 348 , October 2012 . Adam Belay, Andrea Bittau, Ali Mashtizadeh, David Terei, David Mazi\u00e8res, and Christos Kozyrakis. Dune: Safe user-level access to privileged CPU features. In Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, pages 335--348, October 2012."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_3_2_1_5_1","first-page":"105","volume-title":"Proceedings of the 12th USENIX Security Symposium","author":"Bhatkar Sandeep","year":"2003","unstructured":"Sandeep Bhatkar , Daniel C. DuVarney , and R. Sekar . Address obfuscation: an efficient approach to combat a broad range of memory error exploits . In Proceedings of the 12th USENIX Security Symposium , pages 105 -- 120 , August 2003 . Sandeep Bhatkar, Daniel C. DuVarney, and R. Sekar. Address obfuscation: an efficient approach to combat a broad range of memory error exploits. In Proceedings of the 12th USENIX Security Symposium, pages 105--120, August 2003."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/225535.225538"},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the 1st USENIX Symposium on Operating Systems Design and Implementation","author":"David","year":"1994","unstructured":"David R. Cheriton and Kenneth J. Duda. A caching model of operating system kernel functionality . In Proceedings of the 1st USENIX Symposium on Operating Systems Design and Implementation , 1994 . David R. Cheriton and Kenneth J. Duda. A caching model of operating system kernel functionality. In Proceedings of the 1st USENIX Symposium on Operating Systems Design and Implementation, 1994."},{"key":"e_1_3_2_1_8_1","first-page":"273","volume-title":"Proceedings of the 2nd USENIX Symposium on Networked Systems Design and Implementation","author":"Clark Christopher","year":"2005","unstructured":"Christopher Clark , Keir Fraser , Steven Hand , Jacob Gorm Hansen , Eric Jul , Christian Limpach , Ian Pratt , and Andrew Warfield . Live migration of virtual machines . In Proceedings of the 2nd USENIX Symposium on Networked Systems Design and Implementation , pages 273 -- 286 , 2005 . Christopher Clark, Keir Fraser, Steven Hand, Jacob Gorm Hansen, Eric Jul, Christian Limpach, Ian Pratt, and Andrew Warfield. Live migration of virtual machines. In Proceedings of the 2nd USENIX Symposium on Networked Systems Design and Implementation, pages 273--286, 2005."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043588"},{"key":"e_1_3_2_1_10_1","first-page":"161","volume-title":"Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation","author":"Cully Brendan","year":"2008","unstructured":"Brendan Cully , Geoffrey Lefebvre , Dutch Meyer , Mike Feeley , Norm Hutchinson , and Andrew Warfield . Remus : high availability via asynchronous virtual machine replication . In Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation , pages 161 -- 174 , 2008 . Brendan Cully, Geoffrey Lefebvre, Dutch Meyer, Mike Feeley, Norm Hutchinson, and Andrew Warfield. Remus: high availability via asynchronous virtual machine replication. In Proceedings of the 5th USENIX Symposium on Networked Systems Design and Implementation, pages 161--174, 2008."},{"key":"e_1_3_2_1_11_1","unstructured":"Cygwin. http:\/\/cygwin.com\/.  Cygwin. http:\/\/cygwin.com\/."},{"key":"e_1_3_2_1_12_1","first-page":"339","volume-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation","author":"Douceur John R.","year":"2008","unstructured":"John R. Douceur , Jeremy Elson , Jon Howell , and Jacob R. Lorch . Leveraging legacy code to deploy desktop applications on the web . In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation , pages 339 -- 354 , December 2008 . John R. Douceur, Jeremy Elson, Jon Howell, and Jacob R. Lorch. Leveraging legacy code to deploy desktop applications on the web. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, pages 339--354, December 2008."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060309"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224076"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238769"},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 1998 USENIX Annual Technical Conference","author":"Ghormley Douglas P.","year":"1998","unstructured":"Douglas P. Ghormley , David Petrou , Steven H. Rodrigues , and Thomas E. Anderson . SLIC: An extensibility system for commodity operating systems . In Proceedings of the 1998 USENIX Annual Technical Conference , June 1998 . Douglas P. Ghormley, David Petrou, Steven H. Rodrigues, and Thomas E. Anderson. SLIC: An extensibility system for commodity operating systems. In Proceedings of the 1998 USENIX Annual Technical Conference, June 1998."},{"key":"e_1_3_2_1_17_1","volume-title":"April","author":"Given David","year":"2010","unstructured":"David Given . LBW: Linux binaries on Windows , April 2010 . http:\/\/lbw.sf.net\/. David Given. LBW: Linux binaries on Windows, April 2010. http:\/\/lbw.sf.net\/."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 3rd USENIX Windows NT Workshop","author":"Hunt Galen","year":"1999","unstructured":"Galen Hunt and Doug Brubacher . Detours : Binary interception of Win32 functions . In Proceedings of the 3rd USENIX Windows NT Workshop , July 1999 . Galen Hunt and Doug Brubacher. Detours: Binary interception of Win32 functions. In Proceedings of the 3rd USENIX Windows NT Workshop, July 1999."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168626"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266644"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168620"},{"key":"e_1_3_2_1_22_1","first-page":"1","volume-title":"Proceedings of the 2005 USENIX Annual Technical Conference","author":"King Samuel T.","year":"2005","unstructured":"Samuel T. King , George W. Dunlap , and Peter M. Chen . Debugging operating systems with time-traveling virtual machines . In Proceedings of the 2005 USENIX Annual Technical Conference , pages 1 -- 15 , April 2005 . Samuel T. King, George W. Dunlap, and Peter M. Chen. Debugging operating systems with time-traveling virtual machines. In Proceedings of the 2005 USENIX Annual Technical Conference, pages 1--15, April 2005."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736031"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/49.536480"},{"key":"e_1_3_2_1_25_1","volume-title":"June","year":"2012","unstructured":"Microsoft. Programming Guide for 64-bit Windows: Running 32-bit Applications , June 2012 . http:\/\/msdn.microsoft.com\/library\/windows\/desktop\/aa384249.aspx. Microsoft. Programming Guide for 64-bit Windows: Running 32-bit Applications, June 2012. http:\/\/msdn.microsoft.com\/library\/windows\/desktop\/aa384249.aspx."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/367701.367728"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095829"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation","author":"Nightingale Edmund B.","year":"2006","unstructured":"Edmund B. Nightingale , Kaushik Veeraraghavan , Peter M. Chen , and Jason Flinn . Rethink the sync . In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation , 2006 . Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, and Jason Flinn. Rethink the sync. In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation, 2006."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950399"},{"key":"e_1_3_2_1_30_1","volume-title":"Gernot Heiser. Hype and Virtue. In Proceedings of the 11th Workshop on Hot Topics in Operating Systems","author":"Roscoe Timothy","year":"2007","unstructured":"Timothy Roscoe , Kevin Elphinstone , and Gernot Heiser. Hype and Virtue. In Proceedings of the 11th Workshop on Hot Topics in Operating Systems , May 2007 . Timothy Roscoe, Kevin Elphinstone, and Gernot Heiser. Hype and Virtue. In Proceedings of the 11th Workshop on Hot Topics in Operating Systems, May 2007."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/238721.238779"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294275"},{"key":"e_1_3_2_1_33_1","first-page":"169","volume-title":"Proceedings of the 1st USENIX Symposium on Networked Systems Design and Implementation","author":"Whitaker Andrew","year":"2004","unstructured":"Andrew Whitaker , Richard S. Cox , Marianne Shaw , and Steven D. Gribble . Constructing services with interposable virtual hardware . In Proceedings of the 1st USENIX Symposium on Networked Systems Design and Implementation , pages 169 -- 182 , 2004 . Andrew Whitaker, Richard S. Cox, Marianne Shaw, and Steven D. Gribble. Constructing services with interposable virtual hardware. In Proceedings of the 1st USENIX Symposium on Networked Systems Design and Implementation, pages 169--182, 2004."},{"key":"e_1_3_2_1_34_1","unstructured":"Wine. http:\/\/www.winehq.org\/.  Wine. http:\/\/www.winehq.org\/."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605429"}],"event":{"name":"EuroSys '13: Eighth Eurosys Conference 2013","location":"Prague Czech Republic","acronym":"EuroSys '13","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 8th ACM European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465351.2465375","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2465351.2465375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:36Z","timestamp":1750235976000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465351.2465375"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,15]]},"references-count":35,"alternative-id":["10.1145\/2465351.2465375","10.1145\/2465351"],"URL":"https:\/\/doi.org\/10.1145\/2465351.2465375","relation":{},"subject":[],"published":{"date-parts":[[2013,4,15]]},"assertion":[{"value":"2013-04-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}