{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,8]],"date-time":"2026-04-08T08:54:02Z","timestamp":1775638442380,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":58,"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"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-1749711"],"award-info":[{"award-number":["CNS-1749711"]}],"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":[[2019,10,27]]},"DOI":"10.1145\/3341301.3359662","type":"proceedings-article","created":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T13:34:22Z","timestamp":1571664862000},"page":"147-161","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":64,"title":["Finding semantic bugs in file systems with an extensible fuzzing framework"],"prefix":"10.1145","author":[{"given":"Seulbae","family":"Kim","sequence":"first","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"Meng","family":"Xu","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"Sanidhya","family":"Kashyap","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"Jungyeon","family":"Yoon","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"Wen","family":"Xu","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"Taesoo","family":"Kim","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]}],"member":"320","published-online":{"date-parts":[[2019,10,27]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Josef Bacik. 2017. Btrfs: add a extent ref verify tool. https:\/\/patchwork.kernel.org\/patch\/9978579\/. (2017).  Josef Bacik. 2017. Btrfs: add a extent ref verify tool. https:\/\/patchwork.kernel.org\/patch\/9978579\/. (2017)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Wendy Bartlett and Lisa Spainhower. 2004. Commercial Fault Tolerance: A Tale of Two Systems. (2004).  Wendy Bartlett and Lisa Spainhower. 2004. Commercial Fault Tolerance: A Tale of Two Systems. (2004).","DOI":"10.1109\/TDSC.2004.4"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134020"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978428"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872406"},{"key":"e_1_3_2_1_6_1","volume-title":"USENIX Linux Storage and Filesystem Workshop.","author":"Cao Mingming","year":"2007"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132776"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 3rd USENIX Conference on File and Storage Technologies (FAST)","author":"Corbett Peter","year":"2004"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Fonseca Pedro"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2208461.2208468"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00040"},{"key":"e_1_3_2_1_13_1","unstructured":"Google. 2016. KernelAddressSanitizer a fast memory error detector for the Linux kernel. https:\/\/github.com\/google\/kasan. (2016).  Google. 2016. KernelAddressSanitizer a fast memory error detector for the Linux kernel. https:\/\/github.com\/google\/kasan. (2016)."},{"key":"e_1_3_2_1_14_1","unstructured":"Google. 2018. KernelMemorySanitizer a detector of uses of uninitialized memory in the Linux kernel. https:\/\/github.com\/google\/kmsan. (2018).  Google. 2018. KernelMemorySanitizer a detector of uses of uninitialized memory in the Linux kernel. https:\/\/github.com\/google\/kmsan. (2018)."},{"key":"e_1_3_2_1_15_1","unstructured":"Google. 2018. syzbot. https:\/\/syzkaller.appspot.com. (2018).  Google. 2018. syzbot. https:\/\/syzkaller.appspot.com. (2018)."},{"key":"e_1_3_2_1_16_1","unstructured":"Google Inc. 2015. KernelThreadSanitizer a fast data race detector for the Linux kernel. https:\/\/github.com\/google\/ktsan. (2015).  Google Inc. 2015. KernelThreadSanitizer a fast data race detector for the Linux kernel. https:\/\/github.com\/google\/ktsan. (2015)."},{"key":"e_1_3_2_1_17_1","unstructured":"Google Inc. 2019. Syzkaller is an Unsupervised Coverage-guided Kernel Fuzzer. https:\/\/github.com\/google\/syzkaller. (2019).  Google Inc. 2019. Syzkaller is an Unsupervised Coverage-guided Kernel Fuzzer. https:\/\/github.com\/google\/syzkaller. (2019)."},{"key":"e_1_3_2_1_18_1","unstructured":"Bogdan Gribincea. 2009. Ext4 Data Loss. https:\/\/bugs.launchpad.net\/ubuntu\/+source\/linux\/+bug\/317781?comments=all. (2009).  Bogdan Gribincea. 2009. Ext4 Data Loss. https:\/\/bugs.launchpad.net\/ubuntu\/+source\/linux\/+bug\/317781?comments=all. (2009)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.68"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134103"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Ileri Atalay","year":"2018"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00017"},{"key":"e_1_3_2_1_23_1","unstructured":"Dave Jones. 2018. Linux system call fuzzer. https:\/\/github.com\/kernelslacker\/trinity. (2018).  Dave Jones. 2018. Linux system call fuzzer. https:\/\/github.com\/kernelslacker\/trinity. (2018)."},{"key":"e_1_3_2_1_24_1","unstructured":"Jan Kara. 2014. ext4: Forbid journal_async_commit in data=ordered mode. https:\/\/patchwork.ozlabs.org\/patch\/414750\/. (2014).  Jan Kara. 2014. ext4: Forbid journal_async_commit in data=ordered mode. https:\/\/patchwork.ozlabs.org\/patch\/414750\/. (2014)."},{"key":"e_1_3_2_1_25_1","unstructured":"Kernel.org Bugzilla. 2018. Btrfs bug entries. https:\/\/bugzilla.kernel.org\/buglist.cgi?component=btrfs. (2018).  Kernel.org Bugzilla. 2018. Btrfs bug entries. https:\/\/bugzilla.kernel.org\/buglist.cgi?component=btrfs. (2018)."},{"key":"e_1_3_2_1_26_1","unstructured":"Kernel.org Bugzilla. 2018. ext4 bug entries. https:\/\/bugzilla.kernel.org\/buglist.cgi?component=ext4. (2018).  Kernel.org Bugzilla. 2018. ext4 bug entries. https:\/\/bugzilla.kernel.org\/buglist.cgi?component=ext4. (2018)."},{"key":"e_1_3_2_1_27_1","unstructured":"Michael Kerrisk. 2019. fsync fdatasync - synchronize a file's in-core state with storage device. http:\/\/man7.org\/linux\/man-pages\/man2\/fdatasync.2.html. (2019).  Michael Kerrisk. 2019. fsync fdatasync - synchronize a file's in-core state with storage device. http:\/\/man7.org\/linux\/man-pages\/man2\/fdatasync.2.html. (2019)."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837648"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23387"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2560012"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815422"},{"key":"e_1_3_2_1_32_1","unstructured":"MITRE Corporation. 2009. CVE-2009-1235. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2009-1235. (2009).  MITRE Corporation. 2009. CVE-2009-1235. https:\/\/cve.mitre.org\/cgi-bin\/cvename.cgi?name=CVE-2009-1235. (2009)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/3291168.3291172"},{"key":"e_1_3_2_1_34_1","unstructured":"Ingo Molnar and Arjan van de Ven. 2019. Runtime locking correctness validator. https:\/\/www.kernel.org\/doc\/Documentation\/locking\/lockdep-design.txt. (2019).  Ingo Molnar and Arjan van de Ven. 2019. Runtime locking correctness validator. https:\/\/www.kernel.org\/doc\/Documentation\/locking\/lockdep-design.txt. (2019)."},{"key":"e_1_3_2_1_35_1","unstructured":"NCC Group. 2017. AFL\/QEMU Fuzzing with Full-system Emulation. https:\/\/github.com\/nccgroup\/TriforceAFL. (2017).  NCC Group. 2017. AFL\/QEMU Fuzzing with Full-system Emulation. https:\/\/github.com\/nccgroup\/TriforceAFL. (2017)."},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of the 27th USENIX Security Symposium (Security)","author":"Pailoor Shankara","year":"2018"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00056"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095830"},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 9th Roedunet International Conference (RoEduNet). IEEE.","author":"Purdila Octavian","year":"2010"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23404"},{"key":"e_1_3_2_1_42_1","unstructured":"Red Hat Inc. 2018. Utilities for managing the XFS filesystem. https:\/\/git.kernel.org\/pub\/scm\/fs\/xfs\/xfsprogs-dev.git. (2018).  Red Hat Inc. 2018. Utilities for managing the XFS filesystem. https:\/\/git.kernel.org\/pub\/scm\/fs\/xfs\/xfsprogs-dev.git. (2018)."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815411"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501620.2501623"},{"key":"e_1_3_2_1_45_1","unstructured":"Andrey Ryabinin. 2014. UBSan: run-time undefined behavior sanity checker. https:\/\/lwn.net\/Articles\/617364\/. (2014).  Andrey Ryabinin. 2014. UBSan: run-time undefined behavior sanity checker. https:\/\/lwn.net\/Articles\/617364\/. (2014)."},{"key":"e_1_3_2_1_46_1","volume-title":"Proceedings of the 26th USENIX Security Symposium (Security)","author":"Schumilo Sergej","year":"2017"},{"key":"e_1_3_2_1_47_1","unstructured":"SGI OSDL and Bull. 2018. Linux Test Project. https:\/\/github.com\/linux-test-project\/ltp. (2018).  SGI OSDL and Bull. 2018. Linux Test Project. https:\/\/github.com\/linux-test-project\/ltp. (2018)."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/3026877.3026879"},{"key":"e_1_3_2_1_49_1","unstructured":"Silicon Graphics Inc. (SGI). 2018. (x)fstests is a filesystem testing suite. https:\/\/github.com\/kdave\/xfstests. (2018).  Silicon Graphics Inc. (SGI). 2018. (x)fstests is a filesystem testing suite. https:\/\/github.com\/kdave\/xfstests. (2018)."},{"key":"e_1_3_2_1_50_1","unstructured":"Theodore Ts'o. 2018. Ext2\/3\/4 file system utilities. https:\/\/github.com\/tytso\/e2fsprogs. (2018).  Theodore Ts'o. 2018. Ext2\/3\/4 file system utilities. https:\/\/github.com\/tytso\/e2fsprogs. (2018)."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00035"},{"key":"e_1_3_2_1_52_1","volume-title":"Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Yang Junfeng","year":"2006"},{"key":"e_1_3_2_1_53_1","volume-title":"Proceedings of the 27th IEEE Symposium on Security and Privacy (Oakland)","author":"Yang Junfeng","year":"2006"},{"key":"e_1_3_2_1_54_1","volume-title":"Proceedings of the 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Yang Junfeng","year":"2004"},{"key":"e_1_3_2_1_55_1","unstructured":"Chao Yu. 2018. F2FS: f2fs_check_rb_tree_consistence. https:\/\/lore.kernel.org\/patchwork\/patch\/953794\/. (2018).  Chao Yu. 2018. F2FS: f2fs_check_rb_tree_consistence. https:\/\/lore.kernel.org\/patchwork\/patch\/953794\/. (2018)."},{"key":"e_1_3_2_1_56_1","unstructured":"Michal Zalewski. 2014. Bash bug: the other two RCEs or how we chipped away at the original fix (CVE-2014-6277 and '78). https:\/\/lcamtuf.blogspot.com\/2014\/10\/bash-bug-how-we-finally-cracked.html. (2014).  Michal Zalewski. 2014. Bash bug: the other two RCEs or how we chipped away at the original fix (CVE-2014-6277 and '78). https:\/\/lcamtuf.blogspot.com\/2014\/10\/bash-bug-how-we-finally-cracked.html. (2014)."},{"key":"e_1_3_2_1_57_1","unstructured":"Michal Zalewski. 2019. American Fuzzy Lop (2.52b). http:\/\/lcamtuf.coredump.cx\/afl. (2019).  Michal Zalewski. 2019. American Fuzzy Lop (2.52b). http:\/\/lcamtuf.coredump.cx\/afl. (2019)."},{"key":"e_1_3_2_1_58_1","volume-title":"Delta Debugging: From Automated Testing to Automated Debugging. https:\/\/www.st.cs.uni-saarland.de\/dd\/.","author":"Zeller Andreas","year":"2019"}],"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.3359662","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341301.3359662","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3341301.3359662","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.3359662"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,27]]},"references-count":58,"alternative-id":["10.1145\/3341301.3359662","10.1145\/3341301"],"URL":"https:\/\/doi.org\/10.1145\/3341301.3359662","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"}}]}}