{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:54:08Z","timestamp":1773194048368,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,3,5]],"date-time":"2011-03-05T00:00:00Z","timestamp":1299283200000},"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":[[2011,3,5]]},"DOI":"10.1145\/1950365.1950383","type":"proceedings-article","created":{"date-parts":[[2011,3,8]],"date-time":"2011-03-08T10:03:11Z","timestamp":1299578591000},"page":"133-144","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Improved device driver reliability through hardware verification reuse"],"prefix":"10.1145","author":[{"given":"Leonid","family":"Ryzhyk","sequence":"first","affiliation":[{"name":"NICTA and the University of New South Wales, Sydney, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Keys","sequence":"additional","affiliation":[{"name":"Intel Corporation, Hillsboro, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Balachandra","family":"Mirla","sequence":"additional","affiliation":[{"name":"NICTA and the University of New South Wales, Sydney, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arun","family":"Raghunath","sequence":"additional","affiliation":[{"name":"Intel Corporation, Hillsboro, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mona","family":"Vij","sequence":"additional","affiliation":[{"name":"Intel Corporation, Hillsboro, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gernot","family":"Heiser","sequence":"additional","affiliation":[{"name":"NICTA and the University of New South Wales, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,3,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217943"},{"key":"e_1_3_2_1_2_1","volume-title":"Verification Methodology Manual for SystemVerilog","author":"Bergeron J.","year":"2005","unstructured":"J. Bergeron , E. Cerny , A. Hunter , and A. Nightingale . Verification Methodology Manual for SystemVerilog . Springer-Verlag, Inc. , 2005 . J. Bergeron, E. Cerny, A. Hunter, and A. Nightingale. Verification Methodology Manual for SystemVerilog. Springer-Verlag, Inc., 2005."},{"key":"e_1_3_2_1_3_1","unstructured":"Bluespec Inc. Emulation: enabling it on every desktop 2008.  Bluespec Inc. Emulation: enabling it on every desktop 2008."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874979"},{"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","volume-title":"Linux kernel security report","author":"Chou A.","year":"2005","unstructured":"A. Chou , B. Fulton , and S. Hallem . Linux kernel security report , 2005 . A. Chou, B. Fulton, and S. Hallem. Linux kernel security report, 2005."},{"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":"Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation","author":"Erlingsson U.","year":"2006","unstructured":"U. Erlingsson , M. Abadi , M. Vrable , M. Budiu , and G. C. Necula . XFI: software guards for system address spaces . In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation , pages 75 -- 88 , Seattle, Washington , Nov. 2006 . U. Erlingsson, M. Abadi, M. Vrable, M. Budiu, and G. C. Necula. XFI: software guards for system address spaces. In Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation, pages 75--88, Seattle, Washington, Nov. 2006."},{"key":"e_1_3_2_1_9_1","first-page":"101","volume-title":"Proceedings of the 20th USENIX Large Installation System Administration Conference","author":"Ganapathi A.","year":"2006","unstructured":"A. Ganapathi , V. Ganapathi , and D. Patterson . Windows XP kernel crash analysis . In Proceedings of the 20th USENIX Large Installation System Administration Conference , pages 101 -- 111 , Washington, DC, USA , 2006 . A. Ganapathi, V. Ganapathi, and D. Patterson. Windows XP kernel crash analysis. In Proceedings of the 20th USENIX Large Installation System Administration Conference, pages 101--111, Washington, DC, USA, 2006."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1151374.1151391"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855840.1855852"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_38"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-005-0654-4"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/122120.122124"},{"key":"e_1_3_2_1_15_1","first-page":"17","volume-title":"Proceedings of the 4th USENIX Symposium on Operating Systems Design and Implementation","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 and Implementation , pages 17 -- 30 , San Diego, CA, USA , Oct. 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 and Implementation, pages 17--30, San Diego, CA, USA, Oct. 2000."},{"key":"e_1_3_2_1_16_1","unstructured":"Microsoft Corporation. Network Driver Interface Specification Test. http:\/\/www.microsoft.com\/whdc\/DevTools\/tools\/NDIStest.mspx.  Microsoft Corporation. Network Driver Interface Specification Test. http:\/\/www.microsoft.com\/whdc\/DevTools\/tools\/NDIStest.mspx."},{"key":"e_1_3_2_1_17_1","volume-title":"Mar.","author":"OVM.","year":"2010","unstructured":"OVM. OVM class reference. Version 2.1.1 , Mar. 2010 . OVM. OVM class reference. Version 2.1.1, Mar. 2010."},{"key":"e_1_3_2_1_18_1","unstructured":"Project OpenCores. 10\/100 Mbps Ethernet MAC core. http:\/\/www.opencores.org\/project ethmac.  Project OpenCores. 10\/100 Mbps Ethernet MAC core. http:\/\/www.opencores.org\/project ethmac."},{"key":"e_1_3_2_1_19_1","unstructured":"Project OpenCores. USBHostSlave IP core. http:\/\/www.opencores.org\/project usbhostslave.  Project OpenCores. USBHostSlave IP core. http:\/\/www.opencores.org\/project usbhostslave."},{"key":"e_1_3_2_1_20_1","volume-title":"Feb.","author":"UDI.","year":"2001","unstructured":"Project UDI. UDI core specification. Version 1.01 , Feb. 2001 . Project UDI. UDI core specification. Version 1.01, Feb. 2001."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1519065.1519095"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629583"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1851276.1851283"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945466"},{"key":"e_1_3_2_1_25_1","unstructured":"usbtest. USB testing on Linux. http:\/\/www.linux-usb.org\/usbtest\/.  usbtest. USB testing on Linux. http:\/\/www.linux-usb.org\/usbtest\/."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168635"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2010.5473862"},{"key":"e_1_3_2_1_28_1","first-page":"241","volume-title":"Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation","author":"Williams D.","year":"2008","unstructured":"D. Williams , P. Reynolds , K. Walsh , E. G. Sirer , and F. B. Schneider . Device driver safety through a reference validation mechanism . In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation , pages 241 -- 254 , San Diego, CA, USA , Dec. 2008 . D. Williams, P. Reynolds, K. Walsh, E. G. Sirer, and F. B. Schneider. Device driver safety through a reference validation mechanism. In Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, pages 241--254, San Diego, CA, USA, Dec. 2008."},{"key":"e_1_3_2_1_29_1","first-page":"45","volume-title":"Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation","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 and Implementation , pages 45 -- 60 , Seattle, WA, USA , Nov. 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 and Implementation, pages 45--60, Seattle, WA, USA, Nov. 2006."}],"event":{"name":"ASPLOS'11: Sixteenth International Conference on Architectural Support for Programming Languages and Operating Systems","location":"Newport Beach California USA","acronym":"ASPLOS'11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture"]},"container-title":["Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1950365.1950383","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1950365.1950383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:59:32Z","timestamp":1750229972000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1950365.1950383"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3,5]]},"references-count":29,"alternative-id":["10.1145\/1950365.1950383","10.1145\/1950365"],"URL":"https:\/\/doi.org\/10.1145\/1950365.1950383","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1961295.1950383","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/1961296.1950383","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,3,5]]},"assertion":[{"value":"2011-03-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}