{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:54:12Z","timestamp":1773194052380,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,4,1]],"date-time":"2009-04-01T00:00:00Z","timestamp":1238544000000},"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":[[2009,4]]},"DOI":"10.1145\/1519065.1519095","type":"proceedings-article","created":{"date-parts":[[2009,4,6]],"date-time":"2009-04-06T16:34:53Z","timestamp":1239035693000},"page":"275-288","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":68,"title":["Dingo"],"prefix":"10.1145","author":[{"given":"Leonid","family":"Ryzhyk","sequence":"first","affiliation":[{"name":"University of New South Wales, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Chubb","sequence":"additional","affiliation":[{"name":"NICTA, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ihor","family":"Kuz","sequence":"additional","affiliation":[{"name":"NICTA, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gernot","family":"Heiser","sequence":"additional","affiliation":[{"name":"NICTA, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,4]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"289","volume-title":"2002 USENIX","author":"Adya A.","year":"2002","unstructured":"A. Adya , J. Howell , M. Theimer , W. Bolosky , and J. Douceur . Cooperative task management without manual stack management . In 2002 USENIX , pages 289 -- 302 , Monterey, CA, USA , Jun 2002 . A. Adya, J. Howell, M. Theimer, W. Bolosky, and J. Douceur. Cooperative task management without manual stack management. In 2002 USENIX, pages 289--302, Monterey, CA, USA, Jun 2002."},{"key":"e_1_3_2_1_2_1","volume-title":"Nov","author":"Apple Inc. Apple Inc.","year":"2006","unstructured":"Apple Inc. Apple Inc. Introduction to I\/O Kit fundamentals , Nov 2006 . Apple Inc. Apple Inc. Introduction to I\/O Kit fundamentals, Nov 2006."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217943"},{"key":"e_1_3_2_1_4_1","volume-title":"Linux kernel security report","author":"Chou Andy","year":"2005","unstructured":"Andy Chou , Bryan Fulton , and Seth Hallem . Linux kernel security report , 2005 . Andy Chou, Bryan Fulton, and Seth Hallem. Linux kernel security report, 2005."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/997163.997169"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251229.1251230"},{"key":"e_1_3_2_1_8_1","first-page":"75","volume-title":"7th OSDI","author":"Erlingsson Ulfar","year":"2006","unstructured":"Ulfar Erlingsson , Martin Abadi , Michael Vrable , Mihai Budiu , and George C. Necula . XFI: software guards for system address spaces . In 7th OSDI , pages 75 -- 88 , Seattle, Washington , Nov 2006 . Ulfar Erlingsson, Martin Abadi, Michael Vrable, Mihai Budiu, and George C. Necula. XFI: software guards for system address spaces. In 7th OSDI, pages 75--88, Seattle, Washington, Nov 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217953"},{"key":"e_1_3_2_1_10_1","first-page":"163","volume-title":"USENIX Mach Symp.","author":"Forin Alessandro","year":"1991","unstructured":"Alessandro Forin , David Golub , and Brian Bershad . An I\/O system for Mach 3.0. In USENIX Mach Symp. , pages 163 -- 176 , Monterey, CA, USA , Nov 1991 . Alessandro Forin, David Golub, and Brian Bershad. An I\/O system for Mach 3.0. In USENIX Mach Symp., pages 163--176, Monterey, CA, USA, Nov 1991."},{"key":"e_1_3_2_1_11_1","first-page":"101","volume-title":"20th LISA","author":"Ganapathi Archana","year":"2006","unstructured":"Archana Ganapathi , Viji Ganapathi , and David Patterson . Windows XP kernel crash analysis . In 20th LISA , pages 101 -- 111 , Washington, DC, USA , 2006 . Archana Ganapathi, Viji Ganapathi, and David Patterson. Windows XP kernel crash analysis. In 20th LISA, pages 101--111, Washington, DC, USA, 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151374.1151391"},{"key":"e_1_3_2_1_14_1","first-page":"1","volume-title":"2007 USENIX","author":"Krohn Maxwell","year":"2007","unstructured":"Maxwell Krohn , Eddie Kohler , and M. Frans Kaashoek . Events can make sense . In 2007 USENIX , pages 1 -- 14 , Santa Clara, CA, USA , Jun 2007 . Maxwell Krohn, Eddie Kohler, and M. Frans Kaashoek. Events can make sense. In 2007 USENIX, pages 1--14, Santa Clara, CA, USA, Jun 2007."},{"key":"e_1_3_2_1_15_1","first-page":"3","volume-title":"2nd Int. Symp. Operat. Syst.","author":"Lauer H. C.","year":"1978","unstructured":"H. C. Lauer and R. M. Needham . On the duality of operating system structures . In 2nd Int. Symp. Operat. Syst. , pages 3 -- 19 , Rocquerncourt, France , Oct 1978 . H. C. Lauer and R. M. Needham. On the duality of operating system structures. In 2nd Int. Symp. Operat. Syst., pages 3--19, Rocquerncourt, France, Oct 1978."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-005-0654-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/122120.122124"},{"key":"e_1_3_2_1_18_1","first-page":"17","volume-title":"4th OSDI","author":"Merillon Fabrice","year":"2000","unstructured":"Fabrice Merillon , Laurent Reveillere , Charles Consel , Renaud Marlet , and Gilles Muller . Devil : An IDL for hardware programming . In 4th OSDI , pages 17 -- 30 , San Diego, CA, USA , Oct 2000 . Fabrice Merillon, Laurent Reveillere, Charles Consel, Renaud Marlet, and Gilles Muller. Devil: An IDL for hardware programming. In 4th OSDI, pages 17--30, San Diego, CA, USA, Oct 2000."},{"key":"e_1_3_2_1_19_1","volume-title":"Architecture of the user-mode driver framework","year":"2007","unstructured":"Microsoft. Architecture of the user-mode driver framework , 2007 . Microsoft. Architecture of the user-mode driver framework, 2007."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1036474.1036498"},{"key":"e_1_3_2_1_21_1","volume-title":"User mode drivers","author":"Nakatani Bryce","year":"2002","unstructured":"Bryce Nakatani . User mode drivers , 2002 . Bryce Nakatani. User mode drivers, 2002."},{"key":"e_1_3_2_1_22_1","unstructured":"OMG. UML 2.0 specification 2005.  OMG. UML 2.0 specification 2005."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376789.1376803"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1991.146625"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086230"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133373.1133393"},{"key":"e_1_3_2_1_27_1","first-page":"19","volume-title":"9th HotOS","author":"von Behren Rob","year":"2003","unstructured":"Rob von Behren , Jeremy Condit , and Eric Brewer . Why events are a bad idea (for high-concurrency servers) . In 9th HotOS , pages 19 -- 24 , Lihue, Hawaii, USA , May 2003 . Rob von Behren, Jeremy Condit, and Eric Brewer. Why events are a bad idea (for high-concurrency servers). In 9th HotOS, pages 19--24, Lihue, Hawaii, USA, May 2003."},{"key":"e_1_3_2_1_28_1","first-page":"45","volume-title":"7th OSDI","author":"Zhou Feng","year":"2006","unstructured":"Feng Zhou , Jeremy Condit , Zachary Anderson , Ilya Bagrak , Rob Ennals , Matthew Harren , George Necula , and Eric Brewer . SafeDrive : Safe and recoverable extensions using language-based techniques . In 7th OSDI , pages 45 -- 60 , Seattle, WA, USA , Nov 2006 . Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak, Rob Ennals, Matthew Harren, George Necula, and Eric Brewer. SafeDrive: Safe and recoverable extensions using language-based techniques. In 7th OSDI, pages 45--60, Seattle, WA, USA, Nov 2006."}],"event":{"name":"EuroSys '09: Fourth EuroSys Conference 2009","location":"Nuremberg Germany","acronym":"EuroSys '09","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the 4th ACM European conference on Computer systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1519065.1519095","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1519065.1519095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:53Z","timestamp":1750253393000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1519065.1519095"}},"subtitle":["taming device drivers"],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":28,"alternative-id":["10.1145\/1519065.1519095","10.1145\/1519065"],"URL":"https:\/\/doi.org\/10.1145\/1519065.1519095","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]},"assertion":[{"value":"2009-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}