{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:59Z","timestamp":1772164079440,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":92,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T00:00:00Z","timestamp":1490400000000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1064497"],"award-info":[{"award-number":["1064497"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["FA8750-16-2-0032"],"award-info":[{"award-number":["FA8750-16-2-0032"]}],"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":[[2016,3,25]]},"DOI":"10.1145\/2872362.2872406","type":"proceedings-article","created":{"date-parts":[[2016,3,28]],"date-time":"2016-03-28T09:24:30Z","timestamp":1459157070000},"page":"83-98","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Specifying and Checking File System Crash-Consistency Models"],"prefix":"10.1145","author":[{"given":"James","family":"Bornholt","sequence":"first","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}]},{"given":"Antoine","family":"Kaufmann","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}]},{"given":"Jialin","family":"Li","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}]},{"given":"Arvind","family":"Krishnamurthy","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}]},{"given":"Emina","family":"Torlak","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}]},{"given":"Xi","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Washington, Seattle, WA, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,3,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1787234.1787255"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0161-5"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_25"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_5"},{"key":"e_1_3_2_1_5_1","volume-title":"Operating Systems: Three Easy Pieces","author":"Arpaci-Dusseau R. H.","year":"2015","unstructured":"R. H. Arpaci-Dusseau and A. C. Arpaci-Dusseau. Operating Systems: Three Easy Pieces. Arpaci-Dusseau Books, 0.90 edition, Mar. 2015."},{"key":"e_1_3_2_1_6_1","volume-title":"0000672: Necessary step(s) to synchronize filename operations on disk","author":"Austin Group","year":"2013","unstructured":"Austin Group. 0000672: Necessary step(s) to synchronize filename operations on disk, 2013. http:\/\/austingroupbugs.net\/view.php?id=672."},{"key":"e_1_3_2_1_7_1","first-page":"41","volume-title":"Proceedings of the 2005 USENIX Annual Technical Conference","author":"Bellard F.","year":"2005","unstructured":"F. Bellard. QEMU, a fast and portable dynamic translator. In Proceedings of the 2005 USENIX Annual Technical Conference, pages 41--46, Anaheim, CA, Apr. 2005."},{"key":"e_1_3_2_1_8_1","unstructured":"W. R. Bevier and R. M. Cohen. An executable model of the synergy file system. Technical Report 121 Computational Logic Inc. Oct. 1996."},{"key":"e_1_3_2_1_9_1","unstructured":"W. R. Bevier R. M. Cohen and J. Turner. A specification for the synergy file system. Technical Report 120 Computational Logic Inc. Sept. 1995."},{"key":"e_1_3_2_1_10_1","volume-title":"June","author":"Boichat N.","year":"2015","unstructured":"N. Boichat. Issue 502898: ext4: Filesystem corruption on panic, June 2015. https:\/\/code.google.com\/p\/chromium\/issues\/detail?id=502898."},{"key":"e_1_3_2_1_11_1","volume-title":"Oct.","author":"Bonwick J.","year":"2005","unstructured":"J. Bonwick. ZFS: The last word in filesystems, Oct. 2005. https:\/\/blogs.oracle.com\/bonwick\/entry\/zfs_the_last_word_in."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480930"},{"key":"e_1_3_2_1_13_1","unstructured":"Btrfs. What are the crash guarantees of overwrite-by-rename? https:\/\/btrfs.wiki.kernel.org\/index.php\/FAQ."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_3_2_1_15_1","first-page":"101","volume-title":"Proceedings of the 10th USENIX Conference on File and Storage Technologies (FAST)","author":"Chidambaram V.","year":"2012","unstructured":"V. Chidambaram, T. Sharma, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. Consistency without ordering. In Proceedings of the 10th USENIX Conference on File and Storage Technologies (FAST), pages 101--116, San Jose, CA, Feb. 2012."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522726"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 3rd International Conference on LDAP","author":"Chu H.","year":"2011","unstructured":"H. Chu. MDB: A memory-mapped database and backend for OpenLDAP. In Proceedings of the 3rd International Conference on LDAP, Heidelberg, Germany, Oct. 2011."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522712"},{"key":"e_1_3_2_1_19_1","volume-title":"Mar.","author":"Corbet J.","year":"2009","unstructured":"J. Corbet. ext4 and data loss, Mar. 2009. http:\/\/lwn.net\/Articles\/322823\/."},{"key":"e_1_3_2_1_20_1","volume-title":"Mar.","author":"Corbet J.","year":"2009","unstructured":"J. Corbet. That massive filesystem thread, Mar. 2009. https:\/\/lwn.net\/Articles\/326471\/."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_22_1","first-page":"251","volume-title":"Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP)","author":"Engler D. R.","year":"1995","unstructured":"D. R. Engler, M. F. Kaashoek, and J. W. O'Toole. Exokernel: An operating system architecture for application-level resource management. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (SOSP), pages 251--266, Copper Mountain, CO, Dec. 1995."},{"key":"e_1_3_2_1_23_1","unstructured":"M. Flatt and PLT. Reference: Racket. Technical Report PLT-TR-2010--1 PLT Design Inc. 2010. http:\/\/racket-lang.org\/."},{"key":"e_1_3_2_1_24_1","first-page":"307","volume-title":"Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP)","author":"Frost C.","year":"2007","unstructured":"C. Frost, M. Mammarella, E. Kohler, A. de los Reyes, S. Hovsepian, A. Matsuoka, and L. Zhang. Generalized file system dependencies. In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP), pages 307--320, Stevenson, WA, Oct. 2007."},{"key":"e_1_3_2_1_25_1","first-page":"49","volume-title":"Proceedings of the 1st Symposium on Operating Systems Design and Implementation (OSDI)","author":"Ganger G. R.","year":"1994","unstructured":"G. R. Ganger and Y. N. Patt. Metadata update performance in file systems. In Proceedings of the 1st Symposium on Operating Systems Design and Implementation (OSDI), pages 49--60, Monterey, CA, Nov. 1994."},{"key":"e_1_3_2_1_26_1","volume-title":"Practical File System Design with the BE File System","author":"Giampaolo D.","year":"1999","unstructured":"D. Giampaolo. Practical File System Design with the BE File System. Morgan Kaufmann Publishers, 1999."},{"key":"e_1_3_2_1_27_1","first-page":"393","volume-title":"Operating Systems, An Advanced Course","author":"Gray J.","year":"1977","unstructured":"J. Gray. Notes on data base operating systems. In Operating Systems, An Advanced Course, pages 393--481. Springer-Verlag, 1977."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/41457.37518"},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the","author":"Hitz D.","year":"1994","unstructured":"D. Hitz, J. Lau, and M. Malcolm. File system design for an NFS file server appliance. In Proceedings of the Winter 1994 USENIX Technical Conference, San Francisco, CA, Jan. 1994."},{"key":"e_1_3_2_1_30_1","volume-title":"The open group base specifications issue 7","author":"IEEE and The Open Group","year":"2013","unstructured":"IEEE and The Open Group. The open group base specifications issue 7, 2013."},{"key":"e_1_3_2_1_31_1","volume-title":"Intel 64 and IA-32 Architectures Software Developer's Manual","author":"Intel Corporation","year":"2015","unstructured":"Intel Corporation. Intel 64 and IA-32 Architectures Software Developer's Manual, 2015. rev. 57."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837915.1837922"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-006-0022-3"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266644"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87603-8_23"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2525528.2525530"},{"key":"e_1_3_2_1_37_1","first-page":"111","volume-title":"Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design","author":"Kuperstein M.","year":"2010","unstructured":"M. Kuperstein, M. Vechev, and E. Yahav. Automatic inference of memory fences. In Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, pages 111--120, Lugano, Switzerland, Oct. 2010."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_1_39_1","first-page":"273","volume-title":"Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST)","author":"Lee C.","year":"2015","unstructured":"C. Lee, D. Sim, J.-Y. Hwang, and S. Cho. F2FS: A new file system for flash storage. In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST), pages 273--286, Santa Clara, CA, Feb. 2015."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17511-4_20"},{"key":"e_1_3_2_1_41_1","volume-title":"Bug 15910 - zero-length files and performance degradation","author":"Linux","year":"2010","unstructured":"Linux kernel. Bug 15910 - zero-length files and performance degradation, 2010. https:\/\/bugzilla.kernel.org\/show_bug.cgi?id=15910."},{"key":"e_1_3_2_1_42_1","volume-title":"Ext4 filesystem","author":"Linux","year":"2015","unstructured":"Linux kernel. Ext4 filesystem, 2015. https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/ext4.txt."},{"key":"e_1_3_2_1_43_1","unstructured":"Linux man-pages.ccclose - close a file descriptor 2013. http:\/\/man7.org\/linux\/man-pages\/man2\/close.2.html."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/320521.320540"},{"key":"e_1_3_2_1_45_1","volume-title":"Dec.","author":"Lortie R.","year":"2010","unstructured":"R. Lortie. more on dconf performance, btrfs and fsync, Dec. 2010. https:\/\/blogs.gnome.org\/desrt\/2010\/12\/19\/more-on-dconf-performance-btrfs-and-fsync\/."},{"key":"e_1_3_2_1_46_1","volume-title":"June","author":"Lortie R.","year":"2013","unstructured":"R. Lortie. ext4 file replace guarantees, June 2013. http:\/\/www.spinics.net\/lists\/linux-ext4\/msg38774.html."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591272.2591276"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_26"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040336"},{"key":"e_1_3_2_1_50_1","author":"McKusick M. K.","year":"2010","unstructured":"M. K. McKusick. Journaled soft-updates. In BSDCan, Ottawa, Canada, May 2010.","journal-title":"Journaled soft-updates. In BSDCan, Ottawa, Canada"},{"key":"e_1_3_2_1_51_1","volume-title":"Oct.","author":"McKusick M. K.","year":"1996","unstructured":"M. K. McKusick and T. J. Kowalski. Fsck: The UNIX file system check program. UNIX System Manager's Manual (SMM), Oct. 1996."},{"key":"e_1_3_2_1_52_1","volume-title":"Alternatives to using Transactional NTFS","year":"2015","unstructured":"Microsoft. Alternatives to using Transactional NTFS, 2015. https:\/\/msdn.microsoft.com\/en-us\/library\/windows\/desktop\/bb968806(v=vs.85).aspx."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/2813767.2813784"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/128765.128770"},{"key":"e_1_3_2_1_55_1","volume-title":"Bug 421482 - Firefox 3 usesccfsync excessively","year":"2008","unstructured":"Mozilla. Bug 421482 - Firefox 3 usesccfsync excessively, 2008--2015. https:\/\/bugzilla.mozilla.org\/show_bug.cgi?id=421482."},{"key":"e_1_3_2_1_56_1","volume-title":"Mar.","author":"Neumann S.","year":"2009","unstructured":"S. Neumann. Re: fsync in glib\/gio, Mar. 2009. https:\/\/mail.gnome.org\/archives\/gtk-devel-list\/2009-March\/msg00098.html."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298457"},{"key":"e_1_3_2_1_58_1","first-page":"2","article-title":"synchronise changes to a file. The Single UNIX Specification","author":"Open Group","year":"1997","unstructured":"Open Group. fsync - synchronise changes to a file. The Single UNIX Specification, Version 2, 1997. http:\/\/pubs.opengroup.org\/onlinepubs\/7908799\/xsh\/fsync.html.","journal-title":"Version"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465351.2465374"},{"key":"e_1_3_2_1_60_1","first-page":"1","volume-title":"Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Peter S.","year":"2014","unstructured":"S. Peter, J. Li, I. Zhang, D. R. K. Ports, D. Woos, A. Krishnamurthy, T. Anderson, and T. Roscoe. Arrakis: The operating system is the control plane. In Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI), pages 1--16, Broomfield, CO, Oct. 2014."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2524224.2524229"},{"key":"e_1_3_2_1_62_1","first-page":"433","volume-title":"Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Pillai T. S.","year":"2014","unstructured":"T. S. Pillai, V. Chidambaram, R. Alagappan, S. Al-Kiswany, A. C. Arpaci-Dusseau, and R. H. Arpaci-Dusseau. All file systems are not created equal: On the complexity of crafting crash-consistent applications. In Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI), pages 433--448, Broomfield, CO, Oct. 2014."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629591"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2005.65"},{"key":"e_1_3_2_1_65_1","first-page":"147","volume-title":"Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Prabhakaran V.","year":"2008","unstructured":"V. Prabhakaran, T. L. Rodeheffer, and L. Zhou. Transactional flash. In Proceedings of the 8th Symposium on Operating Systems Design and Implementation (OSDI), pages 147--160, San Diego, CA, Dec. 2008."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815411"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361061"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501620.2501623"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/121132.121137"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542506"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43652-3_2"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.5555\/2591305.2591333"},{"key":"e_1_3_2_1_73_1","unstructured":"A. Solar-Lezama. Program synthesis by sketching. PhD thesis University of California Berkeley 2008."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168907"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.5555\/2028905"},{"key":"e_1_3_2_1_76_1","first-page":"29","volume-title":"Proceedings of the 7th USENIX Conference on File and Storage Technologies (FAST)","author":"Spillane R. P.","year":"2009","unstructured":"R. P. Spillane, S. Gaikwad, M. Chinni, E. Zadok, and C. P. Wright. Enabling transactional file access via lightweight kernel extensions. In Proceedings of the 7th USENIX Conference on File and Storage Technologies (FAST), pages 29--42, San Francisco, CA, Feb. 2009."},{"key":"e_1_3_2_1_77_1","volume-title":"Atomic commit in SQLite","year":"2013","unstructured":"SQLite. Atomic commit in SQLite, 2013. https:\/\/www.sqlite.org\/atomiccommit.html."},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.5555\/1268299.1268300"},{"key":"e_1_3_2_1_79_1","volume-title":"Technical standard: Extended API set part","author":"The Open Group","year":"2006","unstructured":"The Open Group. Technical standard: Extended API set part 2, Oct. 2006."},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594340"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_49"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806635"},{"key":"e_1_3_2_1_83_1","volume-title":"Nov.","author":"Tung L.","year":"2013","unstructured":"L. Tung. Bitcoin developers offer $10,000 virtual bounty to fix mystery Mac bug, Nov. 2013. http:\/\/goo.gl\/Ssbj8T."},{"key":"e_1_3_2_1_84_1","volume-title":"Jan.","year":"2009","unstructured":"Ubuntu. Bug#317781: Ext4 data loss, Jan. 2009. https:\/\/bugs.launchpad.net\/ubuntu\/source\/linux\/bug\/317781."},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.5555\/2750482.2750498"},{"key":"e_1_3_2_1_86_1","unstructured":"M. Wenzel. Some aspects of Unix file-system security Aug. 2014. http:\/\/isabelle.in.tum.de\/library\/HOL\/HOL-Unix\/Unix.html."},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242520.1242521"},{"key":"e_1_3_2_1_88_1","first-page":"273","volume-title":"Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Yang J.","year":"2004","unstructured":"Yang, Twohey, Engler, and Musuvathi]yang:fiscJ. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using model checking to find serious file system errors. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation (OSDI), pages 273--287, San Francisco, CA, Dec. 2004."},{"key":"e_1_3_2_1_89_1","first-page":"131","volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Yang J.","year":"2006","unstructured":"J. Yang, P. Twohey, D. Engler, and M. Musuvathi. eXplode: A lightweight, general system for finding serious storage system errors. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI), pages 131--146, Seattle, WA, Nov. 2006."},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2004.1302944"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.5555\/1064184.1064187"},{"key":"e_1_3_2_1_92_1","first-page":"449","volume-title":"Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI)","author":"Zheng M.","year":"2014","unstructured":"M. Zheng, J. Tucek, D. Huang, F. Qin, M. Lillibridge, E. S. Yang, B. W. Zhao, and S. Singh. Torturing databases for fun and profit. In Proceedings of the 11th Symposium on Operating Systems Design and Implementation (OSDI), pages 449--464, Broomfield, CO, Oct. 2014."}],"event":{"name":"ASPLOS '16: Architectural Support for Programming Languages and Operating Systems","location":"Atlanta Georgia USA","acronym":"ASPLOS '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGOPS ACM Special Interest Group on Operating Systems","SIGARCH ACM Special Interest Group on Computer Architecture","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2872362.2872406","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2872362.2872406","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2872362.2872406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:41:43Z","timestamp":1763458903000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2872362.2872406"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,3,25]]},"references-count":92,"alternative-id":["10.1145\/2872362.2872406","10.1145\/2872362"],"URL":"https:\/\/doi.org\/10.1145\/2872362.2872406","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2980024.2872406","asserted-by":"object"},{"id-type":"doi","id":"10.1145\/2954679.2872406","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,3,25]]},"assertion":[{"value":"2016-03-25","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}