{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T01:47:34Z","timestamp":1773193654800,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":75,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,27]],"date-time":"2019-10-27T00:00:00Z","timestamp":1572134400000},"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":[[2019,10,27]]},"DOI":"10.1145\/3341301.3359644","type":"proceedings-article","created":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T13:34:22Z","timestamp":1571664862000},"page":"259-274","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":20,"title":["Using concurrent relational logic with helpers for verifying the AtomFS file system"],"prefix":"10.1145","author":[{"given":"Mo","family":"Zou","sequence":"first","affiliation":[{"name":"Shanghai Jiao Tong University"}]},{"given":"Haoran","family":"Ding","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University"}]},{"given":"Dong","family":"Du","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University"}]},{"given":"Ming","family":"Fu","sequence":"additional","affiliation":[{"name":"Huawei Technologies Co. Ltd"}]},{"given":"Ronghui","family":"Gu","sequence":"additional","affiliation":[{"name":"Columbia University"}]},{"given":"Haibo","family":"Chen","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University and Huawei Technologies Co. Ltd and Columbia University"}]}],"member":"320","published-online":{"date-parts":[[2019,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"FreeBSD Handbook. https:\/\/www.freebsd.org\/doc\/handbook\/ Referenced","year":"2019","unstructured":"2019. FreeBSD Handbook. https:\/\/www.freebsd.org\/doc\/handbook\/ Referenced April 2019 . 2019. FreeBSD Handbook. https:\/\/www.freebsd.org\/doc\/handbook\/ Referenced April 2019."},{"key":"e_1_3_2_1_2_1","volume-title":"Reiser4 FS Wiki. https:\/\/reiser4.wiki.kernel.org\/index.php\/Main_Page Referenced","year":"2019","unstructured":"2019. Reiser4 FS Wiki. https:\/\/reiser4.wiki.kernel.org\/index.php\/Main_Page Referenced April 2019 . 2019. Reiser4 FS Wiki. https:\/\/reiser4.wiki.kernel.org\/index.php\/Main_Page Referenced April 2019."},{"key":"e_1_3_2_1_3_1","unstructured":"2019. tmpfs - Linux manual page. http:\/\/man7.org\/linux\/man-pages\/man5\/tmpfs.5.html Referenced April 2019.  2019. tmpfs - Linux manual page. http:\/\/man7.org\/linux\/man-pages\/man5\/tmpfs.5.html Referenced April 2019."},{"key":"e_1_3_2_1_4_1","volume-title":"Toward better testing. https:\/\/lwn.net\/Articles\/591985\/ Referenced","year":"2019","unstructured":"2019. Toward better testing. https:\/\/lwn.net\/Articles\/591985\/ Referenced August 2019 . 2019. Toward better testing. https:\/\/lwn.net\/Articles\/591985\/ Referenced August 2019."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872404"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132779"},{"key":"e_1_3_2_1_7_1","volume-title":"ZFS: The last word in file systems.","author":"Bonwick Jeff","year":"2007","unstructured":"Jeff Bonwick and Bill Moore . 2007 . ZFS: The last word in file systems. Jeff Bonwick and Bill Moore. 2007. ZFS: The last word in file systems."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.12.034"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3343737.3343753"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the First Dutch International Symposium on Linux","author":"Card Remy","year":"1995","unstructured":"Remy Card . 1995 . Design and implementation of the second extended filesystem . In Proceedings of the First Dutch International Symposium on Linux , 1995. Remy Card. 1995. Design and implementation of the second extended filesystem. In Proceedings of the First Dutch International Symposium on Linux, 1995."},{"key":"e_1_3_2_1_11_1","volume-title":"Verifying an i\/o-concurrent file system. Master's thesis","author":"Chajed Tej","unstructured":"Tej Chajed . 2017. Verifying an i\/o-concurrent file system. Master's thesis . Massachusetts Institute of Technology . Tej Chajed. 2017. Verifying an i\/o-concurrent file system. Master's thesis. Massachusetts Institute of Technology."},{"key":"e_1_3_2_1_12_1","volume-title":"13th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 18). 306--322.","author":"Chajed Tej","unstructured":"Tej Chajed , Frans Kaashoek , Butler Lampson , and Nickolai Zeldovich . 2018. Verifying concurrent software using movers in {CSPEC} . In 13th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 18). 306--322. Tej Chajed, Frans Kaashoek, Butler Lampson, and Nickolai Zeldovich. 2018. Verifying concurrent software using movers in {CSPEC}. In 13th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 18). 306--322."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359632"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132776"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908101"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03359-9_2"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_44"},{"key":"e_1_3_2_1_19_1","unstructured":"Russ Cox M Frans Kaashoek and Robert Morris. 2011. Xv6 a simple Unix-like teaching operating system.  Russ Cox M Frans Kaashoek and Robert Morris. 2011. Xv6 a simple Unix-like teaching operating system."},{"key":"e_1_3_2_1_20_1","volume-title":"Concurrency verification: Introduction to compositional and non-compositional methods","author":"De Roever W-P","unstructured":"W-P De Roever , Frank de Boer , Ulrich Hanneman , Jozef Hooman , Yassine Lakhnech , Mannes Poel , and Job Zwiers . 2001. Concurrency verification: Introduction to compositional and non-compositional methods . Vol. 54 . Cambridge University Press . W-P De Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, and Job Zwiers. 2001. Concurrency verification: Introduction to compositional and non-compositional methods. Vol. 54. Cambridge University Press."},{"key":"e_1_3_2_1_21_1","volume-title":"Data refinement: model-oriented proof methods and their comparison","author":"De Roever Willem-Paul","unstructured":"Willem-Paul De Roever , Kai Engelhardt , and Karl-Heinz Buth . 1998. Data refinement: model-oriented proof methods and their comparison . Vol. 47 . Cambridge University Press . Willem-Paul De Roever, Kai Engelhardt, and Karl-Heinz Buth. 1998. Data refinement: model-oriented proof methods and their comparison. Vol. 47. Cambridge University Press."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1889997.1890001"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-21437-0_25"},{"key":"e_1_3_2_1_24_1","unstructured":"Coq development team. 2019. The Coq Proof Assistant. http:\/\/coq.inria.fr\/  Coq development team. 2019. The Coq Proof Assistant. http:\/\/coq.inria.fr\/"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2796550"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_11"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480922"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_13"},{"key":"e_1_3_2_1_29_1","unstructured":"Filebench. 2019. Filebench. https:\/\/github.com\/filebench\/filebench  Filebench. 2019. Filebench. https:\/\/github.com\/filebench\/filebench"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2010.09.021"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209174"},{"key":"e_1_3_2_1_32_1","unstructured":"FUSE. 2019. The reference implementation of the Linux FUSE (Filesystem in Userspace) interface. https:\/\/github.com\/libfuse\/libfuse  FUSE. 2019. The reference implementation of the Linux FUSE (Filesystem in Userspace) interface. https:\/\/github.com\/libfuse\/libfuse"},{"key":"e_1_3_2_1_33_1","volume-title":"the GNU Compiler Collection. https:\/\/www.gnu.org\/software\/gcc\/. Referenced","author":"GNU.","year":"2019","unstructured":"GNU. 2019. GCC , the GNU Compiler Collection. https:\/\/www.gnu.org\/software\/gcc\/. Referenced April 2019 . GNU. 2019. GCC, the GNU Compiler Collection. https:\/\/www.gnu.org\/software\/gcc\/. Referenced April 2019."},{"key":"e_1_3_2_1_34_1","volume-title":"CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Gu Ronghui","year":"2016","unstructured":"Ronghui Gu , Zhong Shao , Hao Chen , Xiongnan (Newman) Wu , Jieung Kim , Vilhelm Sj\u00f6berg , and David Costanzo . 2016 . CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . USENIX Association, Savannah, GA, 653--669. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/gu Ronghui Gu, Zhong Shao, Hao Chen, Xiongnan (Newman) Wu, Jieung Kim, Vilhelm Sj\u00f6berg, and David Costanzo. 2016. CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA, 653--669. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/gu"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192381"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_26"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007912.1007944"},{"key":"e_1_3_2_1_38_1","unstructured":"Maurice Herlihy and Nir Shavit. 2011. The art of multiprocessor programming. Morgan Kaufmann.  Maurice Herlihy and Nir Shavit. 2011. The art of multiprocessor programming. Morgan Kaufmann."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/78969.78972"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_1_41_1","volume-title":"13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)","author":"Ileri Atalay","year":"2018","unstructured":"Atalay Ileri , Tej Chajed , Adam Chlipala , Frans Kaashoek , and Nickolai Zeldovich . 2018 . Proving confidentiality in a file system using DiskSec . In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18) . USENIX Association, Carlsbad, CA, 323--338. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/ileri Atalay Ileri, Tej Chajed, Adam Chlipala, Frans Kaashoek, and Nickolai Zeldovich. 2018. Proving confidentiality in a file system using DiskSec. In 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). USENIX Association, Carlsbad, CA, 323--338. https:\/\/www.usenix.org\/conference\/osdi18\/presentation\/ileri"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/69575.69577"},{"key":"e_1_3_2_1_43_1","unstructured":"D. Jones. 2019. Trinity: A Linux system call fuzz tester. http:\/\/codemonkey.org.uk\/projects\/trinity\/  D. Jones. 2019. Trinity: A Linux system call fuzz tester. http:\/\/codemonkey.org.uk\/projects\/trinity\/"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54434-1_24"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-71237-6_14"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837622"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462189"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103711"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603123"},{"key":"e_1_3_2_1_51_1","volume-title":"Pathname lookup","unstructured":"Linux. 2019. Pathname lookup ; The Linux Kernel documentation. https:\/\/www.kernel.org\/doc\/html\/latest\/filesystems\/path-lookup.html. Referenced April 2019. Linux. 2019. Pathname lookup; The Linux Kernel documentation. https:\/\/www.kernel.org\/doc\/html\/latest\/filesystems\/path-lookup.html. Referenced April 2019."},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/361227.361234"},{"key":"e_1_3_2_1_53_1","volume-title":"Presented as part of the 11th {USENIX} Conference on File and Storage Technologies ({FAST} 13). 31--44.","author":"Lu Lanyue","unstructured":"Lanyue Lu , Andrea C Arpaci-Dusseau , Remzi H Arpaci-Dusseau , and Shan Lu. 2013. A study of Linux file system evolution . In Presented as part of the 11th {USENIX} Conference on File and Storage Technologies ({FAST} 13). 31--44. Lanyue Lu, Andrea C Arpaci-Dusseau, Remzi H Arpaci-Dusseau, and Shan Lu. 2013. A study of Linux file system evolution. In Presented as part of the 11th {USENIX} Conference on File and Storage Technologies ({FAST} 13). 31--44."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1134"},{"key":"e_1_3_2_1_55_1","volume-title":"The btrfs filesystem. The Orcale cooperation","author":"Mason Chris","year":"2007","unstructured":"Chris Mason . 2007. The btrfs filesystem. The Orcale cooperation ( 2007 ). Chris Mason. 2007. The btrfs filesystem. The Orcale cooperation (2007)."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815422"},{"key":"e_1_3_2_1_57_1","volume-title":"mit-pdos\/fscq: FSCQ is a certified file system written and proven in Coq. https:\/\/github.com\/mit-pdos\/fscq. Referenced","year":"2019","unstructured":"mit pdos. 2019. mit-pdos\/fscq: FSCQ is a certified file system written and proven in Coq. https:\/\/github.com\/mit-pdos\/fscq. Referenced April 2019 . mit pdos. 2019. mit-pdos\/fscq: FSCQ is a certified file system written and proven in Coq. https:\/\/github.com\/mit-pdos\/fscq. Referenced April 2019."},{"key":"e_1_3_2_1_58_1","volume-title":"International Symposium on Compositionality. Springer, 439--464","author":"Moszkowski Ben C","year":"1997","unstructured":"Ben C Moszkowski . 1997 . Compositional reasoning using interval temporal logic and tempura . In International Symposium on Compositionality. Springer, 439--464 . Ben C Moszkowski. 1997. Compositional reasoning using interval temporal logic and tempura. In International Symposium on Compositionality. Springer, 439--464."},{"key":"e_1_3_2_1_60_1","volume-title":"32nd European Conference on Object-Oriented Programming (ECOOP","author":"Ntzik Gian","year":"2018","unstructured":"Gian Ntzik , Pedro da Rocha Pinto , Julian Sutherland , and Philippa Gardner . 2018 . A concurrent specification of POSIX file systems . In 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, and Philippa Gardner. 2018. A concurrent specification of POSIX file systems. In 32nd European Conference on Object-Oriented Programming (ECOOP 2018). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360224"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44802-0_1"},{"key":"e_1_3_2_1_63_1","volume-title":"11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14). 433--448.","author":"Pillai Thanumalayan Sankaranarayana","unstructured":"Thanumalayan Sankaranarayana Pillai , Vijay Chidambaram , Ramnatthan Alagappan , Samer Al-Kiswany , Andrea C Arpaci-Dusseau , and Remzi H Arpaci-Dusseau . 2014. All file systems are not created equal: On the complexity of crafting crash-consistent applications . In 11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14). 433--448. Thanumalayan Sankaranarayana Pillai, Vijay Chidambaram, Ramnatthan Alagappan, Samer Al-Kiswany, Andrea C Arpaci-Dusseau, and Remzi H Arpaci-Dusseau. 2014. All file systems are not created equal: On the complexity of crafting crash-consistent applications. In 11th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 14). 433--448."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2002.1029817"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/121132.121137"},{"key":"e_1_3_2_1_66_1","volume-title":"12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)","author":"Sigurbjarnarson Helgi","year":"2016","unstructured":"Helgi Sigurbjarnarson , James Bornholt , Emina Torlak , and Xi Wang . 2016 . Push-Button Verification of File Systems via Crash Refinement . In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16) . USENIX Association, Savannah, GA, 1--16. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/sigurbjarnarson Helgi Sigurbjarnarson, James Bornholt, Emina Torlak, and Xi Wang. 2016. Push-Button Verification of File Systems via Crash Refinement. In 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). USENIX Association, Savannah, GA, 1--16. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/sigurbjarnarson"},{"key":"e_1_3_2_1_67_1","volume-title":"Angela Demke Brown, and Ashvin Goel","author":"Sun Kuei","year":"2018","unstructured":"Kuei Sun , Matthew Lakier , Angela Demke Brown, and Ashvin Goel . 2018 . Breaking Apart the {VFS} for Managing File Systems. In 10th {USENIX} Workshop on Hot Topics in Storage and File Systems (Hot-Storage 18). Kuei Sun, Matthew Lakier, Angela Demke Brown, and Ashvin Goel. 2018. Breaking Apart the {VFS} for Managing File Systems. In 10th {USENIX} Workshop on Hot Topics in Storage and File Systems (Hot-Storage 18)."},{"key":"e_1_3_2_1_68_1","volume-title":"USENIX Annual Technical Conference","volume":"15","author":"Sweeney Adam","year":"1996","unstructured":"Adam Sweeney , Doug Doucette , Wei Hu , Curtis Anderson , Mike Nishimoto , and Geoff Peck . 1996 . Scalability in the XFS File System .. In USENIX Annual Technical Conference , Vol. 15 . Adam Sweeney, Doug Doucette, Wei Hu, Curtis Anderson, Mike Nishimoto, and Geoff Peck. 1996. Scalability in the XFS File System.. In USENIX Annual Technical Conference, Vol. 15."},{"key":"e_1_3_2_1_69_1","volume-title":"Proceedings of the USENIX annual technical conference (FREENIX track).","author":"Ts'o Theodore","year":"2002","unstructured":"Theodore Ts'o and Stephen Tweedie . 2002 . Future directions for the ext2\/3 filesystem . In Proceedings of the USENIX annual technical conference (FREENIX track). Theodore Ts'o and Stephen Tweedie. 2002. Future directions for the ext2\/3 filesystem. In Proceedings of the USENIX annual technical conference (FREENIX track)."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429111"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.09.029"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74407-8_18"},{"key":"e_1_3_2_1_74_1","volume-title":"welcome home: vim online. https:\/\/www.vim.org. Referenced","year":"2019","unstructured":"vim. 2019. welcome home: vim online. https:\/\/www.vim.org. Referenced April 2019 . vim. 2019. welcome home: vim online. https:\/\/www.vim.org. Referenced April 2019."},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737958"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_4"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189256.1189259"}],"event":{"name":"SOSP '19: ACM SIGOPS 27th Symposium on Operating Systems Principles","location":"Huntsville Ontario Canada","acronym":"SOSP '19","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems","USENIX Assoc USENIX Assoc"]},"container-title":["Proceedings of the 27th ACM Symposium on Operating Systems Principles"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341301.3359644","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341301.3359644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:12:56Z","timestamp":1750201976000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3341301.3359644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,27]]},"references-count":75,"alternative-id":["10.1145\/3341301.3359644","10.1145\/3341301"],"URL":"https:\/\/doi.org\/10.1145\/3341301.3359644","relation":{},"subject":[],"published":{"date-parts":[[2019,10,27]]},"assertion":[{"value":"2019-10-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}