{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T03:44:20Z","timestamp":1776743060598,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":56,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,14]],"date-time":"2017-10-14T00:00:00Z","timestamp":1507939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1505684,1505728"],"award-info":[{"award-number":["1505684,1505728"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,10,14]]},"DOI":"10.1145\/3132747.3132786","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"234-251","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":116,"title":["Multiprogramming a 64kB Computer Safely and Efficiently"],"prefix":"10.1145","author":[{"given":"Amit","family":"Levy","sequence":"first","affiliation":[{"name":"Stanford University"}]},{"given":"Bradford","family":"Campbell","sequence":"additional","affiliation":[{"name":"University of Virginia"}]},{"given":"Branden","family":"Ghena","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}]},{"given":"Daniel B.","family":"Giffin","sequence":"additional","affiliation":[{"name":"Stanford University"}]},{"given":"Pat","family":"Pannuto","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}]},{"given":"Prabal","family":"Dutta","sequence":"additional","affiliation":[{"name":"University of California, Berkeley"}]},{"given":"Philip","family":"Levis","sequence":"additional","affiliation":[{"name":"Stanford University"}]}],"member":"320","published-online":{"date-parts":[[2017,10,14]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2994551.2996542"},{"key":"e_1_3_2_2_2_1","unstructured":"Al Danial. cloc. http:\/\/cloc.sourceforge.net. Accessed 24-August-2017.  Al Danial. cloc. http:\/\/cloc.sourceforge.net. Accessed 24-August-2017."},{"key":"e_1_3_2_2_3_1","first-page":"1","volume-title":"Low Power Mote\/BLE Embedded Platform. In 2016 15th ACM\/IEEE International Conference on Information Processing in Sensor Networks (IPSN)","author":"Andersen M. P.","year":"2016"},{"key":"e_1_3_2_2_4_1","first-page":"43","volume-title":"Recursive Books LLC","author":"Anderson T.","year":"2014"},{"key":"e_1_3_2_2_5_1","volume-title":"INRIA","author":"Baccelli E.","year":"2012"},{"key":"e_1_3_2_2_6_1","unstructured":"Banzi M. Cuartielles D. Igoe T. Martino G. Mellis D. etal Arduino. https:\/\/www.arduino.cc\/. Accessed 09-May-2016.  Banzi M. Cuartielles D. Igoe T. Martino G. Mellis D. et al. Arduino. https:\/\/www.arduino.cc\/. Accessed 09-May-2016."},{"key":"e_1_3_2_2_7_1","first-page":"27","volume-title":"Proceedings of the 2012 USENIX Conference on Annual Technical Conference (Berkeley, CA, USA, 2012), USENIX ATC'12, USENIX Association","author":"Barr T. W."},{"key":"e_1_3_2_2_8_1","unstructured":"Barry R. etal FreeRTOS. http\/\/:www.freertos.org\/. Accessed 09-July-2016.  Barry R. et al. FreeRTOS. http\/\/:www.freertos.org\/. Accessed 09-July-2016."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75295"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_3_2_2_12_1","unstructured":"Coggins J. Mcdonald A. Plank G. Pannell M. Ward R. and Parsons S. Snow web 2.0: The next generation of antarctic meteorological monitoring systems? 591--.  Coggins J. Mcdonald A. Plank G. Pannell M. Ward R. and Parsons S. Snow web 2.0: The next generation of antarctic meteorological monitoring systems? 591--."},{"key":"e_1_3_2_2_13_1","unstructured":"Dunkels A. etal Contiki mulithreading. https:\/\/github.com\/contiki-os\/contiki\/wiki\/Multithreading. Accessed 09-May-2016.  Dunkels A. et al. Contiki mulithreading. https:\/\/github.com\/contiki-os\/contiki\/wiki\/Multithreading. Accessed 09-May-2016."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/LCN.2004.38"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1182807.1182811"},{"key":"e_1_3_2_2_16_1","unstructured":"FIDO Alliance. FIDO Certified Showcase. https:\/\/fidoalliance.org\/fido-certified-showcase\/ April 2017.  FIDO Alliance. FIDO Certified Showcase. https:\/\/fidoalliance.org\/fido-certified-showcase\/ April 2017."},{"key":"e_1_3_2_2_17_1","unstructured":"Fitbit. FitBit: Official site for activity trackers and more 2017. Accessed: 04-20-2017.  Fitbit. FitBit: Official site for activity trackers and more 2017. Accessed: 04-20-2017."},{"key":"e_1_3_2_2_18_1","unstructured":"Garmin. v\u00ecvoactive 3. https:\/\/buy.garmin.com\/en-US\/US\/p\/571520 September 2017.  Garmin. v\u00ecvoactive 3. https:\/\/buy.garmin.com\/en-US\/US\/p\/571520 September 2017."},{"key":"e_1_3_2_2_19_1","unstructured":"Gay D. and Hui J. TEP 103: Permanent Data Storage (Flash). http\/\/:www.tinyos.net\/tinyos-2.x\/doc\/txt\/tep103.txt 2007.  Gay D. and Hui J. TEP 103: Permanent Data Storage (Flash). http\/\/:www.tinyos.net\/tinyos-2.x\/doc\/txt\/tep103.txt 2007."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1644038.1644040"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512563"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1067170.1067188"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2006.38"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294286"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1644038.1644052"},{"key":"e_1_3_2_2_29_1","volume-title":"Financial Cryptography","author":"Lang J.","year":"2016"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1105688.1105689"},{"key":"e_1_3_2_2_31_1","volume-title":"Proceedings of the 10th Symposium on Operating System Design and Implementation (OSDI) (October","author":"Levis P.","year":"2012"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605407"},{"key":"e_1_3_2_2_33_1","volume-title":"Springer Berlin Heidelberg","author":"Levis P.","year":"2005"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2818302.2818306"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3124680.3124717"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2663171.2663188"},{"key":"e_1_3_2_2_37_1","unstructured":"mbed. mbed OS 5. https:\/\/developer.mbed.org\/ 2017. Accessed: 04-20-2017.  mbed. mbed OS 5. https:\/\/developer.mbed.org\/ 2017. Accessed: 04-20-2017."},{"key":"e_1_3_2_2_38_1","volume-title":"Cleveland State University","author":"McCartney W. P.","year":"2006"},{"key":"e_1_3_2_2_39_1","unstructured":"MSP430 ultra-low-power Microcontrollers. http\/\/:www.ti.com\/lsds\/ti\/microcontrollers_16-bit_32-bit\/msp\/overview.page.  MSP430 ultra-low-power Microcontrollers. http\/\/:www.ti.com\/lsds\/ti\/microcontrollers_16-bit_32-bit\/msp\/overview.page."},{"key":"e_1_3_2_2_40_1","volume-title":"Labs. Meet the Nest Protect smoke and carbon monoxide alarm. https:\/\/nest.com\/smoke-co-alarm\/meet-nest-protect\/","author":"Nest","year":"2017"},{"key":"e_1_3_2_2_41_1","unstructured":"Oracle Java Documentation. Intrinsic Locks and Synchronization. https:\/\/docs.oracle.com\/javase\/tutorial\/essential\/concurrency\/locksync.html 2017. Accessed: 04-20-2017.  Oracle Java Documentation. Intrinsic Locks and Synchronization. https:\/\/docs.oracle.com\/javase\/tutorial\/essential\/concurrency\/locksync.html 2017. Accessed: 04-20-2017."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1147685.1147744"},{"key":"e_1_3_2_2_43_1","unstructured":"PostgreSQL 9.6.2 Documentation. Memory Management. https:\/\/www.postgresql.org\/docs\/current\/static\/spi-memory.html 2017. Accessed: 04-20-2017.  PostgreSQL 9.6.2 Documentation. Memory Management. https:\/\/www.postgresql.org\/docs\/current\/static\/spi-memory.html 2017. Accessed: 04-20-2017."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/363534.363546"},{"key":"e_1_3_2_2_45_1","unstructured":"SAM4L ARM Cortex-M4 Microcontrollers. http\/\/:www.atmel.com\/products\/microcontrollers\/arm\/sam4l.aspx.  SAM4L ARM Cortex-M4 Microcontrollers. http\/\/:www.atmel.com\/products\/microcontrollers\/arm\/sam4l.aspx."},{"key":"e_1_3_2_2_46_1","unstructured":"Suunto. Ambit3 Sport. http\/\/:www.suunto.com\/en-US\/Products\/Sports-Watches\/Suunto-Ambit3-Sport\/Suunto-Ambit3-Sport-White\/ September 2017.  Suunto. Ambit3 Sport. http\/\/:www.suunto.com\/en-US\/Products\/Sports-Watches\/Suunto-Ambit3-Sport\/Suunto-Ambit3-Sport-White\/ September 2017."},{"key":"e_1_3_2_2_47_1","unstructured":"Tejun Heo. Control Group v2. https:\/\/www.kernel.org\/doc\/Documentation\/cgroup-v2.txt 2015.  Tejun Heo. Control Group v2. https:\/\/www.kernel.org\/doc\/Documentation\/cgroup-v2.txt 2015."},{"key":"e_1_3_2_2_48_1","unstructured":"The Chromium Project. Chromium Embedded Controller (EC) Development. https:\/\/www.chromium.org\/chromium-os\/ec-development 2017. Accessed: 04-20-2017.  The Chromium Project. Chromium Embedded Controller (EC) Development. https:\/\/www.chromium.org\/chromium-os\/ec-development 2017. Accessed: 04-20-2017."},{"key":"e_1_3_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291894"},{"key":"e_1_3_2_2_50_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:LISP.0000029446.78563.a4"},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1098918.1098925"},{"key":"e_1_3_2_2_52_1","unstructured":"Trustworthy Systems Team Data61. seL4 Reference Manual Version 7.0.0 Sept. 2017. https:\/\/sel4.systems\/Info\/Docs\/seL4-manual-7.0.0.pdf.  Trustworthy Systems Team Data61. seL4 Reference Manual Version 7.0.0 Sept. 2017. https:\/\/sel4.systems\/Info\/Docs\/seL4-manual-7.0.0.pdf."},{"key":"e_1_3_2_2_53_1","first-page":"3","volume-title":"Proceedings of the 1st Conference on Symposium on Networked Systems Design and Implementation -","volume":"1","author":"Welsh M.","year":"2004"},{"key":"e_1_3_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298491"},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806610"},{"key":"e_1_3_2_2_56_1","unstructured":"Yubico. Yubikey hardware. https:\/\/www.yubico.com\/products\/yubikey-hardware\/.  Yubico. Yubikey hardware. https:\/\/www.yubico.com\/products\/yubikey-hardware\/."}],"event":{"name":"SOSP '17: ACM SIGOPS 26th Symposium on Operating Systems Principles","location":"Shanghai China","acronym":"SOSP '17","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"]},"container-title":["Proceedings of the 26th Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132747.3132786","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3132747.3132786","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:10:57Z","timestamp":1750212657000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3132747.3132786"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,14]]},"references-count":56,"alternative-id":["10.1145\/3132747.3132786","10.1145\/3132747"],"URL":"https:\/\/doi.org\/10.1145\/3132747.3132786","relation":{},"subject":[],"published":{"date-parts":[[2017,10,14]]},"assertion":[{"value":"2017-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}