{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:37:15Z","timestamp":1750307835986,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,18]],"date-time":"2007-10-18T00:00:00Z","timestamp":1192665600000},"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":[[2007,10,18]]},"DOI":"10.1145\/1376789.1376802","type":"proceedings-article","created":{"date-parts":[[2008,6,3]],"date-time":"2008-06-03T18:03:27Z","timestamp":1212516207000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Checking the hardware-software interface in spec#"],"prefix":"10.1145","author":[{"given":"Kevin","family":"Bierhoff","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chris","family":"Hawblitzel","sequence":"additional","affiliation":[{"name":"Microsoft Research"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,18]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/1217935.1217943"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/978-3-540-30569-9_3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1145\/224056.224077"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/190314.190318"},{"key":"e_1_3_2_1_5_1","volume-title":"Type systems. The Computer Science and Engineering Handbook","author":"Cardelli Luca","year":"2004","unstructured":"Luca Cardelli . Type systems. The Computer Science and Engineering Handbook . CRC Press , 2004 . Chapter 97. Luca Cardelli. Type systems. The Computer Science and Engineering Handbook. CRC Press, 2004. Chapter 97."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/997163.997169"},{"unstructured":"Digital Equipment Corporation. DIGITAL Semiconductor 21140A PCI Fast Ethernet LAN Controller Hardware Reference Manual. http:\/\/www.intel.com\/design\/network\/manuals\/21140ahm.pdf  Digital Equipment Corporation. DIGITAL Semiconductor 21140A PCI Fast Ethernet LAN Controller Hardware Reference Manual . http:\/\/www.intel.com\/design\/network\/manuals\/21140ahm.pdf","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/502034.502041"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/1217935.1217953"},{"key":"e_1_3_2_1_10_1","volume-title":"J\u00fcrgen Klein\u00f6der. The JX Operating System. USENIX Annual Technical Conference","author":"Golm Michael","year":"2002","unstructured":"Michael Golm , Meik Felser Christian Wawersich , and J\u00fcrgen Klein\u00f6der. The JX Operating System. USENIX Annual Technical Conference , 2002 . Michael Golm, Meik Felser Christian Wawersich, and J\u00fcrgen Klein\u00f6der. The JX Operating System. USENIX Annual Technical Conference, 2002."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1086365.1086380"},{"key":"e_1_3_2_1_12_1","volume-title":"Operating Systems Design and Implementation (OSDI)","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 . Operating Systems Design and Implementation (OSDI) , 2000 . F. M\u00e9rillon, L. R\u00e9veill\u00e8re, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for Hardware programming. Operating Systems Design and Implementation (OSDI), 2000."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/1086228.1086230"}],"event":{"sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"acronym":"PLOS07","name":"PLOS07: Workshop on Programming Languages and Operating Systems","location":"Stevenson Washington"},"container-title":["Proceedings of the 4th workshop on Programming languages and operating systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376789.1376802","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1376789.1376802","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:58:01Z","timestamp":1750255081000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1376789.1376802"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,18]]},"references-count":13,"alternative-id":["10.1145\/1376789.1376802","10.1145\/1376789"],"URL":"https:\/\/doi.org\/10.1145\/1376789.1376802","relation":{},"subject":[],"published":{"date-parts":[[2007,10,18]]},"assertion":[{"value":"2007-10-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}