{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:32:07Z","timestamp":1774801927442,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,11]],"date-time":"2009-10-11T00:00:00Z","timestamp":1255219200000},"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,10,11]]},"DOI":"10.1145\/1745438.1745446","type":"proceedings-article","created":{"date-parts":[[2010,3,25]],"date-time":"2010-03-25T12:17:18Z","timestamp":1269519438000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Filet-o-Fish"],"prefix":"10.1145","author":[{"given":"Pierre-Evariste","family":"Dagand","sequence":"first","affiliation":[{"name":"ENS Cachan-Bretagne, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Baumann","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Timothy","family":"Roscoe","sequence":"additional","affiliation":[{"name":"ETH Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629579"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_31"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351266"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762174.1762221"},{"key":"e_1_3_2_1_5_1","volume-title":"ENS Cachan-Bretagne","author":"Dagand P.-E.","year":"2009","unstructured":"P.-E. Dagand . Language support for reliable operating systems. Master's thesis , ENS Cachan-Bretagne , June 2009 . P.-E. Dagand. Language support for reliable operating systems. Master's thesis, ENS Cachan-Bretagne, June 2009."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1251229.1251230"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_1_8_1","first-page":"275","volume-title":"Proc. USENIX Annual Technical Conference","author":"Jim T.","year":"2002","unstructured":"T. Jim , J. G. Morrisett , D. Grossman , M. W. Hicks , J. Cheney , and Y. Wang . Cyclone: A safe dialect of C . In Proc. USENIX Annual Technical Conference , pages 275 -- 288 , 2002 . T. Jim, J. G. Morrisett, D. Grossman, M. W. Hicks, J. Cheney, and Y. Wang. Cyclone: A safe dialect of C. In Proc. USENIX Annual Technical Conference, pages 275--288, 2002."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_11_1","first-page":"17","volume-title":"Proc. 4th Symposium on OS 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 Proc. 4th Symposium on OS Design and Implementation , pages 17 -- 30 , 2000 . F. M\u00e9rillon, L. R\u00e9veill\u00e8re, C. Consel, R. Marlet, and G. Muller. Devil: an IDL for hardware programming. In Proc. 4th Symposium on OS Design and Implementation, pages 17--30, 2000."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/358438.349314"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1498765.1498781"},{"key":"e_1_3_2_1_14_1","volume-title":"University of Nottingham","author":"Swierstra W.","year":"2008","unstructured":"W. Swierstra . A Functional Specification of Effects. PhD thesis , University of Nottingham , Nov. 2008 . W. Swierstra. A Functional Specification of Effects. PhD thesis, University of Nottingham, Nov. 2008."}],"event":{"name":"SOSP09: ACM SIGOPS 22nd Symposium on Operating Systems Principles","location":"Big Sky Montana","acronym":"SOSP09","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Fifth Workshop on Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1745438.1745446","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1745438.1745446","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:26:16Z","timestamp":1750278376000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1745438.1745446"}},"subtitle":["practical and dependable domain-specific languages for OS development"],"short-title":[],"issued":{"date-parts":[[2009,10,11]]},"references-count":13,"alternative-id":["10.1145\/1745438.1745446","10.1145\/1745438"],"URL":"https:\/\/doi.org\/10.1145\/1745438.1745446","relation":{},"subject":[],"published":{"date-parts":[[2009,10,11]]},"assertion":[{"value":"2009-10-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}