{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:41Z","timestamp":1750307141516,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,23]],"date-time":"2011-10-23T00:00:00Z","timestamp":1319328000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8650-10-C-7090"],"award-info":[{"award-number":["FA8650-10-C-7090"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,23]]},"DOI":"10.1145\/2039239.2039245","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T12:23:06Z","timestamp":1319545386000},"page":"1-5","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Preliminary design of the SAFE platform"],"prefix":"10.1145","author":[{"given":"Andr\u00e9","family":"DeHon","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ben","family":"Karel","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"Jr.","given":"Thomas F.","family":"Knight","sequence":"additional","affiliation":[{"name":"BAE Systems"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Malecha","sequence":"additional","affiliation":[{"name":"Harvard University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beno\u00eet","family":"Montagu","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robin","family":"Morisset","sequence":"additional","affiliation":[{"name":"\u00c9cole Normale Sup\u00e9rieure Paris"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Morrisett","sequence":"additional","affiliation":[{"name":"Harvard University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin C.","family":"Pierce","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Randy","family":"Pollack","sequence":"additional","affiliation":[{"name":"Harvard University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sumit","family":"Ray","sequence":"additional","affiliation":[{"name":"BAE Systems"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olin","family":"Shivers","sequence":"additional","affiliation":[{"name":"Northeastern University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan M.","family":"Smith","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Sullivan","sequence":"additional","affiliation":[{"name":"BAE Systems"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,23]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"343","volume-title":"Lisp machine. Artificial Intelligence","author":"Bawden","year":"1979","unstructured":"Bawden A, Greenblatt RD , Holloway J, Knight TF , Moon D, and Weinreb D . Lisp machine. Artificial Intelligence , pages 343 -- 373 , 1979 . Winston PH, (ed.), v. 2, MIT Press , Cambridge. Bawden A, Greenblatt RD, Holloway J, Knight TF, Moon D, and Weinreb D. Lisp machine. Artificial Intelligence, pages 343--373, 1979. Winston PH, (ed.), v. 2, MIT Press, Cambridge."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1667209.1667223"},{"key":"e_1_3_2_1_4_1","unstructured":"Winnie Cheng Aaron Blankstein James Cowling Dorothy Curtis Vicky Popic Dan R. K. Ports David Schultz Liuba Shrira and Barbara Liskov. Abstractions for usable information flow control in Aeolus. Submitted for publication.  Winnie Cheng Aaron Blankstein James Cowling Dorothy Curtis Vicky Popic Dan R. K. Ports David Schultz Liuba Shrira and Barbara Liskov. Abstractions for usable information flow control in Aeolus. Submitted for publication."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/45059.214411"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360056"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1984.1659216"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89862-7_4"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294293"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_12_1","volume-title":"Capability Based Computer Systems","author":"Levy H. M.","year":"1984","unstructured":"H. M. Levy . Capability Based Computer Systems . Digital Press , 1984 . H. M. Levy. Capability Based Computer Systems. Digital Press, 1984."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/363516.363526"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361067"},{"key":"e_1_3_2_1_15_1","volume-title":"HYDRA\/C.mmp: An Experimental Computer System","author":"Wulf William A.","year":"1981","unstructured":"William A. Wulf , Roy Levin , and Samuel P. Harbison . HYDRA\/C.mmp: An Experimental Computer System . McGraw-Hill , 1981 . William A. Wulf, Roy Levin, and Samuel P. Harbison. HYDRA\/C.mmp: An Experimental Computer System. McGraw-Hill, 1981."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806610"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629604"}],"event":{"name":"SOSP '11: ACM SIGOPS 23nd Symposium on Operating Systems Principles","sponsor":["INESC Systems and Computer Engineering Institute","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Cascais Portugal","acronym":"SOSP '11"},"container-title":["Proceedings of the 6th Workshop on Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2039239.2039245","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2039239.2039245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:53Z","timestamp":1750240133000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2039239.2039245"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,23]]},"references-count":16,"alternative-id":["10.1145\/2039239.2039245","10.1145\/2039239"],"URL":"https:\/\/doi.org\/10.1145\/2039239.2039245","relation":{},"subject":[],"published":{"date-parts":[[2011,10,23]]},"assertion":[{"value":"2011-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}