{"id":"https://openalex.org/W2138346648","doi":"https://doi.org/10.1145/1950365.1950383","title":"Improved device driver reliability through hardware verification reuse","display_name":"Improved device driver reliability through hardware verification reuse","publication_year":2011,"publication_date":"2011-03-05","ids":{"openalex":"https://openalex.org/W2138346648","doi":"https://doi.org/10.1145/1950365.1950383","mag":"2138346648"},"language":"en","primary_location":{"id":"doi:10.1145/1950365.1950383","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1950365.1950383","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5001598240","display_name":"Leonid Ryzhyk","orcid":null},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Leonid Ryzhyk","raw_affiliation_strings":["NICTA and the University of New South Wales, Sydney, OR, USA","NICTA and the University of New South Wales, Sydney, OR, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NICTA and the University of New South Wales, Sydney, OR, USA","institution_ids":[]},{"raw_affiliation_string":"NICTA and the University of New South Wales, Sydney, OR, USA#TAB#","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062746484","display_name":"John Keys","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"John Keys","raw_affiliation_strings":["Intel Corporation, Hillsboro, OR, USA","Intel Corporation, , Hillsboro, OR, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Corporation, Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Intel Corporation, , Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050676638","display_name":"Balachandra Mirla","orcid":null},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Balachandra Mirla","raw_affiliation_strings":["NICTA and the University of New South Wales, Sydney, OR, USA","NICTA and the University of New South Wales, Sydney, OR, USA#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NICTA and the University of New South Wales, Sydney, OR, USA","institution_ids":[]},{"raw_affiliation_string":"NICTA and the University of New South Wales, Sydney, OR, USA#TAB#","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050513104","display_name":"Arun Raghunath","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arun Raghunath","raw_affiliation_strings":["Intel Corporation, Hillsboro, OR, USA","Intel Corporation, , Hillsboro, OR, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Corporation, Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Intel Corporation, , Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090620720","display_name":"Mona Vij","orcid":"https://orcid.org/0000-0002-5309-0391"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mona Vij","raw_affiliation_strings":["Intel Corporation, Hillsboro, OR, USA","Intel Corporation, , Hillsboro, OR, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Corporation, Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Intel Corporation, , Hillsboro, OR, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025750562","display_name":"Gernot Heiser","orcid":"https://orcid.org/0000-0002-7069-0831"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]},{"id":"https://openalex.org/I42894916","display_name":"Data61","ror":"https://ror.org/03q397159","country_code":"AU","type":"other","lineage":["https://openalex.org/I1292875679","https://openalex.org/I2801453606","https://openalex.org/I42894916","https://openalex.org/I4387156119"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Gernot Heiser","raw_affiliation_strings":["NICTA and the University of New South Wales, Sydney, Australia","NICTA and The University of New South Wales, Sydney, Australia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NICTA and the University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"]},{"raw_affiliation_string":"NICTA and The University of New South Wales, Sydney, Australia#TAB#","institution_ids":["https://openalex.org/I31746571","https://openalex.org/I42894916"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"133","last_page":"144"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7877646088600159},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.7238610982894897},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.6206884980201721},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5862748622894287},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.5489046573638916},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.540000855922699},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5373756885528564},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5107142925262451},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.4750385582447052},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4194394052028656},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.33702772855758667},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3240619897842407},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.25658687949180603},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.2260521948337555},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12548407912254333},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10906127095222473}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7877646088600159},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.7238610982894897},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.6206884980201721},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5862748622894287},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.5489046573638916},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.540000855922699},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5373756885528564},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5107142925262451},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.4750385582447052},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4194394052028656},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.33702772855758667},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3240619897842407},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.25658687949180603},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.2260521948337555},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12548407912254333},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10906127095222473},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1950365.1950383","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1950365.1950383","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1489801944","https://openalex.org/W1490819086","https://openalex.org/W1519361875","https://openalex.org/W1772960743","https://openalex.org/W1980296610","https://openalex.org/W1996565109","https://openalex.org/W2037431929","https://openalex.org/W2037777200","https://openalex.org/W2040088668","https://openalex.org/W2050877740","https://openalex.org/W2058144256","https://openalex.org/W2066859698","https://openalex.org/W2079029390","https://openalex.org/W2098202130","https://openalex.org/W2102192199","https://openalex.org/W2118201637","https://openalex.org/W2126782151","https://openalex.org/W2131195907","https://openalex.org/W2146878883","https://openalex.org/W2148686658","https://openalex.org/W2153950928","https://openalex.org/W4229646679","https://openalex.org/W6629365665","https://openalex.org/W6682091879"],"related_works":["https://openalex.org/W2000444236","https://openalex.org/W2384475851","https://openalex.org/W2353602216","https://openalex.org/W2367078749","https://openalex.org/W2381798600","https://openalex.org/W2351618306","https://openalex.org/W3124296310","https://openalex.org/W2212955619","https://openalex.org/W2971103475","https://openalex.org/W1983541964"],"abstract_inverted_index":{"Faulty":[0],"device":[1,28,76,89],"drivers":[2],"are":[3],"a":[4,37,58],"major":[5],"source":[6],"of":[7,17,24,62,64,114],"operating":[8],"system":[9],"failures.":[10],"We":[11,91],"argue":[12],"that":[13,45,93],"the":[14,22,66,75,80,94,98,120],"underlying":[15],"cause":[16],"many":[18],"driver":[19,31,81],"faults":[20],"is":[21,46,57,69,72,83],"separation":[23],"two":[25,34,95],"highly-related":[26],"tasks:":[27],"verification":[29,67],"and":[30,41,48,97,103,107,117,123],"development.":[32],"These":[33],"tasks":[35],"have":[36],"lot":[38],"in":[39,43,87,111,119],"common,":[40],"result":[42,56,110],"software":[44,99],"conceptually":[47],"functionally":[49],"similar,":[50],"yet":[51],"kept":[52],"totally":[53],"separate.":[54],"The":[55],"particularly":[59],"bad":[60],"case":[61],"duplication":[63],"effort:":[65],"code":[68,82],"correct,":[70],"but":[71,85],"discarded":[73],"after":[74],"has":[77],"been":[78],"manufactured;":[79],"inferior,":[84],"used":[86],"actual":[88],"operation.":[90],"claim":[92],"tasks,":[96],"they":[100],"produce,":[101],"can":[102],"should":[104],"be":[105],"unified,":[106],"this":[108],"will":[109],"drastic":[112],"improvement":[113],"device-driver":[115],"quality":[116],"reduction":[118],"development":[121],"cost":[122],"time":[124],"to":[125],"market.":[126]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}