{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:05Z","timestamp":1772163905159,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,4,18]]},"DOI":"10.1145\/1217935.1217941","type":"proceedings-article","created":{"date-parts":[[2007,4,5]],"date-time":"2007-04-05T15:41:00Z","timestamp":1175787660000},"page":"45-57","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Solving the starting problem"],"prefix":"10.1145","author":[{"given":"Michael F.","family":"Spear","sequence":"first","affiliation":[{"name":"University of Rochester, Rochester, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Roeder","sequence":"additional","affiliation":[{"name":"Cornell University, Ithaca, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Orion","family":"Hodson","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Galen C.","family":"Hunt","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven","family":"Levi","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,4,18]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Tenth Workshop on Hot Topics in Operating Systems (HotOS X)","author":"Abadi M.","year":"2005","unstructured":"M. Abadi , A. Birrell , and T. Wobber . Access Control in a World of Software Diversity . In Tenth Workshop on Hot Topics in Operating Systems (HotOS X) , Sante Fe, NM, USA , 2005 . M. Abadi, A. Birrell, and T. Wobber. Access Control in a World of Software Diversity. In Tenth Workshop on Hot Topics in Operating Systems (HotOS X), Sante Fe, NM, USA, 2005."},{"key":"e_1_3_2_1_2_1","first-page":"93","volume-title":"Proceedings of the USENIX Summer 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 USENIX Summer Conference , pages 93 -- 112 , Atlanta, GA, USA , 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 USENIX Summer Conference, pages 93--112, Atlanta, GA, USA, 1986."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1075382.1075383"},{"key":"e_1_3_2_1_4_1","volume-title":"Maximum RPM: Taking the Red Hat Package Manager to the Limit. Red Hat Software","author":"Bailey E. C.","year":"1997","unstructured":"E. C. Bailey . Maximum RPM: Taking the Red Hat Package Manager to the Limit. Red Hat Software , Inc ., first edition, 1997 . E. C. Bailey. Maximum RPM: Taking the Red Hat Package Manager to the Limit. Red Hat Software, Inc., first edition, 1997."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503274"},{"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","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_3_2_1_8_1","volume-title":"Understanding the Linux Kernel. O'Reilley & Associates","author":"Bovet D. P.","year":"2002","unstructured":"D. P. Bovet and M. Cesati . Understanding the Linux Kernel. O'Reilley & Associates , Inc ., second edition, 2002 . D. P. Bovet and M. Cesati. Understanding the Linux Kernel. O'Reilley & Associates, Inc., second edition, 2002."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_10_1","volume-title":"Version 1.0a.","author":"Compaq Computer Corporation","year":"1994","unstructured":"Compaq Computer Corporation , Phoenix Technologies Ltd., and Intel Corporation. Plug and Play BIOS Specification , Version 1.0a. May 5, 1994 . Compaq Computer Corporation, Phoenix Technologies Ltd., and Intel Corporation. Plug and Play BIOS Specification, Version 1.0a. May 5, 1994."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"key":"e_1_3_2_1_12_1","volume-title":"The Debian GNU\/Linux FAQ","author":"Dassen J.","year":"2005","unstructured":"J. Dassen , C. Stickelman , S. G. Kleinmann , S. Rudolph , S. Vila , J. Rodin , and J. Fernandez-Sanguino . The Debian GNU\/Linux FAQ Chapter 6-Basics of the Debian Package Management System. http:\/\/www.debian.org\/doc\/FAQ\/ch-pkg_basics.en.html, September 2005 . J. Dassen, C. Stickelman, S. G. Kleinmann, S. Rudolph, S. Vila, J. Rodin, and J. Fernandez-Sanguino. The Debian GNU\/Linux FAQ Chapter 6-Basics of the Debian Package Management System. http:\/\/www.debian.org\/doc\/FAQ\/ch-pkg_basics.en.html, September 2005."},{"key":"e_1_3_2_1_13_1","volume-title":"DeTreville. Making System Configuration More Declarative. In Tenth Workshop on Hot Topics in Operating Systems (HotOS X)","author":"J.","year":"2005","unstructured":"J. DeTreville. Making System Configuration More Declarative. In Tenth Workshop on Hot Topics in Operating Systems (HotOS X) , Sante Fe, NM, USA , 2005 . J. DeTreville. Making System Configuration More Declarative. In Tenth Workshop on Hot Topics in Operating Systems (HotOS X), Sante Fe, NM, USA, 2005."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1055218.1055226"},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"Programmer-Written Compiler Extensions. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000","author":"Engler D.","year":"2000","unstructured":"D. Engler , B. Chelf , A. Chou , and S. Hallem . Checking System Rules Using System-Specific , Programmer-Written Compiler Extensions. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000 ), pages 1 -- 16 , San Diego, CA, USA , 2000 . D. Engler, B. Chelf, A. Chou, and S. Hallem. Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 1--16, San Diego, CA, USA, 2000."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224076"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195297"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(200003)30:3%3C199::AID-SPE296%3E3.0.CO;2-2"},{"key":"e_1_3_2_1_20_1","volume-title":"Safe Hardware Access with the Xen Virtual Machine Monitor. In First Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure (OASIS) at ASPLOS'04","author":"Fraser K.","year":"2004","unstructured":"K. Fraser , S. Hand , R. Neugebauer , I. Pratt , A. Warfield , and M. Williamson . Safe Hardware Access with the Xen Virtual Machine Monitor. In First Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure (OASIS) at ASPLOS'04 , Boston, MA, USA , October 2004 . K. Fraser, S. Hand, R. Neugebauer, I. Pratt, A. Warfield, and M. Williamson. Safe Hardware Access with the Xen Virtual Machine Monitor. In First Workshop on Operating System and Architectural Support for the On-Demand IT Infrastructure (OASIS) at ASPLOS'04, Boston, MA, USA, October 2004."},{"key":"e_1_3_2_1_21_1","unstructured":"Gentoo Foundation Inc. About Gentoo Linux. http:\/\/www.gentoo.org\/main\/en\/about.xml 2005.  Gentoo Foundation Inc. About Gentoo Linux. http:\/\/www.gentoo.org\/main\/en\/about.xml 2005."},{"key":"e_1_3_2_1_22_1","first-page":"45","volume-title":"Proceedings of the General Track: 2002 USENIX Annual Technical Conference","author":"Golm M.","year":"2002","unstructured":"M. Golm , M. Felser , C. Wawersich , and J. Klein\u00f6der . The JX Operating System . In Proceedings of the General Track: 2002 USENIX Annual Technical Conference , pages 45 -- 58 , Monterey, CA , 2002 , 2002. M. Golm, M. Felser, C. Wawersich, and J. Klein\u00f6der. The JX Operating System. In Proceedings of the General Track: 2002 USENIX Annual Technical Conference, pages 45--58, Monterey, CA, 2002, 2002."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266660"},{"key":"e_1_3_2_1_24_1","volume-title":"Revision 3.0.","author":"Hewlett-Packard Corporation","year":"2004","unstructured":"Hewlett-Packard Corporation , Intel Corporation , Microsoft Corporation , Phoenix Technologies Ltd., and Toshiba Corporation. Advanced Configuration and Power Interface Specification , Revision 3.0. September 2, 2004 . Hewlett-Packard Corporation, Intel Corporation, Microsoft Corporation, Phoenix Technologies Ltd., and Toshiba Corporation. Advanced Configuration and Power Interface Specification, Revision 3.0. September 2, 2004."},{"key":"e_1_3_2_1_28_1","volume-title":"Broad New OS Research: Challenges and Opportunities. In Tenth Workshop on Hot Topics in Operating Systems (HotOS X)","author":"Hunt G. C.","year":"2005","unstructured":"G. C. Hunt , J. R. Larus , D. Tarditi , and T. Wobber . Broad New OS Research: Challenges and Opportunities. In Tenth Workshop on Hot Topics in Operating Systems (HotOS X) , Sante Fe, NM, USA , 2005 . G. C. Hunt, J. R. Larus, D. Tarditi, and T. Wobber. Broad New OS Research: Challenges and Opportunities. In Tenth Workshop on Hot Topics in Operating Systems (HotOS X), Sante Fe, NM, USA, 2005."},{"key":"e_1_3_2_1_29_1","unstructured":"ISO\/IEC 23271:2003. Common Language Infrastructure (CLI): Partition II: CIL Instruction Set. http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-335.htm 2003.  ISO\/IEC 23271:2003. Common Language Infrastructure (CLI): Partition II: CIL Instruction Set. http:\/\/www.ecma-international.org\/publications\/standards\/Ecma-335.htm 2003."},{"key":"e_1_3_2_1_31_1","first-page":"17","volume-title":"Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI 2004","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 Sixth Symposium on Operating Systems Design and Implementation (OSDI 2004 ), 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 Sixth Symposium on Operating Systems Design and Implementation (OSDI 2004), pages 17--30, San Francisco, CA, USA, 2004."},{"key":"e_1_3_2_1_32_1","first-page":"17","volume-title":"Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000","author":"M\u00e9rillon F.","year":"2000","unstructured":"F. M\u00e9rillon , L. R\u00e9veillere , C. Consel , R. Marlet , and G. Muller . Devil: An IDL for Hardware Programming . In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000 ), pages 17 -- 30 , San Diego, CA, USA , 2000 . F. M\u00e9rillon, L. R\u00e9veillere, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for Hardware Programming. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), pages 17--30, San Diego, CA, USA, 2000."},{"key":"e_1_3_2_1_33_1","volume-title":"Revision 2.3.","author":"PCI Special Interest Group","year":"2004","unstructured":"PCI Special Interest Group . PCI Local Bus Specification , Revision 2.3. March 29, 2004 . PCI Special Interest Group. PCI Local Bus Specification, Revision 2.3. March 29, 2004."},{"key":"e_1_3_2_1_34_1","unstructured":"E. S. Raymond. The CML2 Language. http:\/\/www.catb.org\/~esr\/cml2\/cml2-paper.html 2000.  E. S. Raymond. The CML2 Language. http:\/\/www.catb.org\/~esr\/cml2\/cml2-paper.html 2000."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086230"},{"key":"e_1_3_2_1_37_1","unstructured":"Sun Microsystems Inc. Javadoc Tool Home Page. http:\/\/java.sun.com\/j2se\/javadoc\/ 2005.  Sun Microsystems Inc. Javadoc Tool Home Page. http:\/\/java.sun.com\/j2se\/javadoc\/ 2005."},{"key":"e_1_3_2_1_38_1","first-page":"1","volume-title":"Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI 2004","author":"Swift M. M.","year":"2004","unstructured":"M. M. Swift , M. Annamalai , B. N. Bershad , and H. M. Levy . Recovering Device Drivers . In Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI 2004 ), pages 1 -- 16 , San Francisco, CA, USA , 2004 M. M. Swift, M. Annamalai, B. N. Bershad, and H. M. Levy. Recovering Device Drivers. In Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI 2004), pages 1--16, San Francisco, CA, USA, 2004"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945466"},{"key":"e_1_3_2_1_40_1","volume-title":"Prentice Hall","author":"Tanenbaum A. S.","year":"2001","unstructured":"A. S. Tanenbaum . Modern Operating Systems . Prentice Hall , second edition, 2001 . A. S. Tanenbaum. Modern Operating Systems. Prentice Hall, second edition, 2001."},{"key":"e_1_3_2_1_41_1","unstructured":"The FreeBSD Documentation Project. FreeBSD Architecture Handbook. http:\/\/www.freebsd.org\/doc\/en_US.ISO8859--1\/books\/arch-handbook\/ 2000--2005.  The FreeBSD Documentation Project. FreeBSD Architecture Handbook. http:\/\/www.freebsd.org\/doc\/en_US.ISO8859--1\/books\/arch-handbook\/ 2000--2005."},{"key":"e_1_3_2_1_42_1","volume-title":"October","author":"Project The","year":"2005","unstructured":"The FreeBSD Project . Free BSD Ports . http:\/\/www.freebsd.org\/ports\/ , October 2005 . The FreeBSD Project. FreeBSD Ports. http:\/\/www.freebsd.org\/ports\/, October 2005."},{"key":"e_1_3_2_1_43_1","volume-title":"http:\/\/www.doxygen.org\/","author":"van Heesch D.","year":"1997","unstructured":"D. van Heesch . Doxygen. http:\/\/www.doxygen.org\/ , 1997 --2005. D. van Heesch. Doxygen. http:\/\/www.doxygen.org\/, 1997--2005."},{"key":"e_1_3_2_1_44_1","first-page":"273","volume-title":"Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI 2004","author":"Yang J.","year":"2004","unstructured":"J. Yang , P. Twohey , D. R. Engler , and M. Musuvathi . Using Model Checking to Find Serious File System Errors . In Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI 2004 ), pages 273 -- 288 , San Francisco, CA, USA , 2004 . J. Yang, P. Twohey, D. R. Engler, and M. Musuvathi. Using Model Checking to Find Serious File System Errors. In Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI 2004), pages 273--288, San Francisco, CA, USA, 2004."}],"event":{"name":"EUROSYS06: Eurosys 2006 Conference","location":"Leuven Belgium","acronym":"EUROSYS06","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 1st ACM SIGOPS\/EuroSys European Conference on Computer Systems 2006"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1217935.1217941","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T07:30:29Z","timestamp":1693812629000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1217935.1217941"}},"subtitle":["device drivers as self-describing artifacts"],"short-title":[],"issued":{"date-parts":[[2006,4,18]]},"references-count":39,"alternative-id":["10.1145\/1217935.1217941","10.1145\/1217935"],"URL":"https:\/\/doi.org\/10.1145\/1217935.1217941","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1218063.1217941","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,4,18]]},"assertion":[{"value":"2006-04-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}