{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:22:06Z","timestamp":1769750526185,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,7,23]],"date-time":"2012-07-23T00:00:00Z","timestamp":1343001600000},"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":[[2012,7,23]]},"DOI":"10.1145\/2349896.2349909","type":"proceedings-article","created":{"date-parts":[[2012,8,21]],"date-time":"2012-08-21T13:06:35Z","timestamp":1345554395000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Correct, fast, maintainable"],"prefix":"10.1145","author":[{"given":"Bernard","family":"Blackham","sequence":"first","affiliation":[{"name":"NICTA and University of New South Wales, Sydney, Australia"}]},{"given":"Gernot","family":"Heiser","sequence":"additional","affiliation":[{"name":"NICTA and University of New South Wales, Sydney, Australia"}]}],"member":"320","published-online":{"date-parts":[[2012,7,23]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"264","volume-title":"2005 USENIX","author":"Gray Charles","year":"2005","unstructured":"{GCC+05} Charles Gray , Matthew Chapman , Peter Chubb , David Mosberger-Tang , and Gernot Heiser . Itanium --- a system implementor's tale . In 2005 USENIX , pages 264 -- 278 , Anaheim, CA, USA , Apr 2005 . {GCC+05} Charles Gray, Matthew Chapman, Peter Chubb, David Mosberger-Tang, and Gernot Heiser. Itanium --- a system implementor's tale. In 2005 USENIX, pages 264--278, Anaheim, CA, USA, Apr 2005."},{"key":"e_1_3_2_1_2_1","unstructured":"{Hyd} Randall Hyde. The great debate http:\/\/webster.cs.ucr.edu\/Page_TechDocs\/GreatDebate\/.  {Hyd} Randall Hyde. The great debate http:\/\/webster.cs.ucr.edu\/Page_TechDocs\/GreatDebate\/."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_4_1","unstructured":"{L4H} The L4 headquarters http:\/\/l4hq.org.  {L4H} The L4 headquarters http:\/\/l4hq.org."},{"key":"e_1_3_2_1_5_1","unstructured":"{L4Impl} Implementations of the L4 μ-kernel interface. http:\/\/os.inf.tu-dresden.de\/L4\/impl.html.  {L4Impl} Implementations of the L4 μ-kernel interface. http:\/\/os.inf.tu-dresden.de\/L4\/impl.html."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/822075.822414"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168633"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/36205.36194"}],"event":{"name":"APSys '12: Asia-Pacific Workshop on Systems","location":"Seoul Republic of Korea","acronym":"APSys '12","sponsor":["Kaist","SIGOPS ACM Special Interest Group on Operating Systems"]},"container-title":["Proceedings of the Asia-Pacific Workshop on Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2349896.2349909","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2349896.2349909","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:02Z","timestamp":1750278122000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2349896.2349909"}},"subtitle":["choose any three!"],"short-title":[],"issued":{"date-parts":[[2012,7,23]]},"references-count":8,"alternative-id":["10.1145\/2349896.2349909","10.1145\/2349896"],"URL":"https:\/\/doi.org\/10.1145\/2349896.2349909","relation":{},"subject":[],"published":{"date-parts":[[2012,7,23]]},"assertion":[{"value":"2012-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}