{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T13:22:37Z","timestamp":1762435357036,"version":"build-2065373602"},"reference-count":115,"publisher":"Association for Computing Machinery (ACM)","issue":"4","funder":[{"name":"National Science Foundation","award":["CNS-1855565, CCF-1853714, CCF-1910747, CNS-1943204, and CNS-2402858"],"award-info":[{"award-number":["CNS-1855565, CCF-1853714, CCF-1910747, CNS-1943204, and CNS-2402858"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Syst."],"published-print":{"date-parts":[[2025,11,30]]},"abstract":"<jats:p>\n                    File systems play an essential role in modern society for managing precious data. To meet diverse needs, they often support many configuration parameters. Such flexibility comes at the price of additional complexity which can lead to subtle configuration-related issues. To address this challenge, we study the configuration-related issues of two major file systems (i.e., Ext4 and XFS) in depth, and identify a prevalent pattern called multilevel configuration dependencies. Based on the study, we build an extensible tool called\n                    <jats:sc>ConfD<\/jats:sc>\n                    to extract the dependencies automatically, and create a set of plugins to address different configuration-related issues. Our experiments on Ext4, XFS and a modern copy-on-write file system (i.e., ZFS) show that\n                    <jats:sc>ConfD<\/jats:sc>\n                    was able to extract 160 configuration dependencies for the file systems with a low false positive rate. Moreover, the dependency-guided plugins can identify various configuration issues (e.g., mishandling of configurations, regression test failures induced by valid configurations). In addition, we also explore the applicability of\n                    <jats:sc>ConfD<\/jats:sc>\n                    on a popular storage engine (i.e., WiredTiger). We hope that this comprehensive analysis of configuration dependencies of storage systems can shed light on addressing configuration-related challenges for the system community in general.\n                  <\/jats:p>","DOI":"10.1145\/3747177","type":"journal-article","created":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T11:05:38Z","timestamp":1756897538000},"page":"1-28","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Analyzing Configuration Dependencies of File Systems"],"prefix":"10.1145","volume":"43","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-5271-7066","authenticated-orcid":false,"given":"Tabassum","family":"Mahmud","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, Iowa State University","place":["Ames, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6442-2526","authenticated-orcid":false,"given":"Om Rameshwar","family":"Gatla","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, Iowa State University","place":["Ames, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-7700-2798","authenticated-orcid":false,"given":"Duo","family":"Zhang","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Iowa State University","place":["Ames, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2681-4960","authenticated-orcid":false,"given":"Carson","family":"Love","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Iowa State University","place":["Ames, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-1676-7027","authenticated-orcid":false,"given":"Ryan","family":"Bumann","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Iowa State University","place":["Ames, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-5679-6592","authenticated-orcid":false,"given":"Varun","family":"Girimaji","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Iowa State University","place":["Ames, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0741-3436","authenticated-orcid":false,"given":"Mai","family":"Zheng","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, Iowa State University","place":["Ames, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,11,6]]},"reference":[{"key":"e_1_3_3_2_2","unstructured":"American Fuzzy Lop. Retrieved from https:\/\/lcamtuf.coredump.cx\/afl\/. (n. d.)."},{"key":"e_1_3_3_3_2","unstructured":"Apache Common Configuraitons. Retrieved from https:\/\/commons.apache.org\/proper\/commons-configuration\/userguide\/upgradeto2_0.html. (n. d.)."},{"key":"e_1_3_3_4_2","unstructured":"Apache Hadoop. Retrieved from https:\/\/hadoop.apache.org\/. (n. d.)."},{"key":"e_1_3_3_5_2","unstructured":"btrfs-balance. Retrieved from https:\/\/man7.org\/linux\/man-pages\/man8\/btrfs-balance.8.html. (n. d.)."},{"key":"e_1_3_3_6_2","unstructured":"btrfs-check. Retrieved from https:\/\/man7.org\/linux\/man-pages\/man8\/btrfs-check.8.html. (n. d.)."},{"key":"e_1_3_3_7_2","unstructured":"btrfs-scrub. Retrieved from https:\/\/man7.org\/linux\/man-pages\/man8\/btrfs-scrub.8.html. (n. d.)."},{"key":"e_1_3_3_8_2","unstructured":"CFEngine. Retrieved from https:\/\/github.com\/cfengine\/core. (n. d.)."},{"key":"e_1_3_3_9_2","unstructured":"chkdsk. Retrieved from https:\/\/docs.microsoft.com\/en-us\/windows-server\/administration\/windows-commands\/chkdsk. (n. d.)."},{"key":"e_1_3_3_10_2","unstructured":"defrag. Retrieved from https:\/\/docs.microsoft.com\/en-us\/windows-server\/administration\/windows-commands\/defrag. (n. d.)."},{"key":"e_1_3_3_11_2","unstructured":"Discussion between Ext4 developers and newbie on finding bugs on Ext4. Retrieved from https:\/\/lore.kernel.org\/linux-ext4\/Yx9fUHiiZaKXeLUw@mit.edu\/. (n. d.)."},{"key":"e_1_3_3_12_2","unstructured":"disk utility. Retrieved from https:\/\/www.dssw.co.uk\/reference\/diskutil.html. (n. d.)."},{"key":"e_1_3_3_13_2","unstructured":"dump. Retrieved from https:\/\/www.freebsd.org\/cgi\/man.cgi?query=dump&apropos=0&sektion=8&manpath=FreeBSD+13.1-RELEASE+and+Ports&arch=default&format=html. (n. d.)."},{"key":"e_1_3_3_14_2","unstructured":"e2fsck. Retrieved from https:\/\/linux.die.net\/man\/8\/e2fsck. (n. d.)."},{"key":"e_1_3_3_15_2","unstructured":"E2fsprogs: Ext2\/3\/4 Filesystem Utilities. Retrieved from https:\/\/e2fsprogs.sourceforge.net\/. (n. d.)."},{"key":"e_1_3_3_16_2","unstructured":"e2fsprogs-test.Retrieved from https:\/\/sourceforge.net\/projects\/e2fsprogs\/files\/e2fsprogs-TEST\/. (n. d.)."},{"key":"e_1_3_3_17_2","unstructured":"e4defrag. Retrieved from https:\/\/man7.org\/linux\/man-pages\/man8\/e4defrag.8.html. (n. d.)."},{"key":"e_1_3_3_18_2","unstructured":"Ext4. Retrieved from https:\/\/ext4.wiki.kernel.org\/index.php\/Main_Page. (n. d.)."},{"key":"e_1_3_3_19_2","unstructured":"format. Retrieved from https:\/\/docs.microsoft.com\/en-us\/windows-server\/administration\/windows-commands\/format. (n. d.)."},{"key":"e_1_3_3_20_2","unstructured":"fsck. Retrieved from https:\/\/man.minix3.org\/cgi-bin\/man.cgi?query=fsck. (n. d.)."},{"key":"e_1_3_3_21_2","unstructured":"fsck_apfs. Retrieved from https:\/\/www.manpagez.com\/man\/8\/fsck_apfs\/. (n. d.)."},{"key":"e_1_3_3_22_2","unstructured":"fsck_ufs. Retrieved from https:\/\/www.freebsd.org\/cgi\/man.cgi?query=fsck_ufs. (n. d.)."},{"key":"e_1_3_3_23_2","unstructured":"growfs. Retrieved from https:\/\/www.freebsd.org\/cgi\/man.cgi?growfs(8). (n. d.)."},{"key":"e_1_3_3_24_2","unstructured":"HotHardware: Windows 10 20H2 Update Reportedly Damages SSD File Systems If You Run ChkDsk. Retrieved from https:\/\/hothardware.com\/news\/windows-10-20h2-update-damages-ssd-file-systems-chkdsk. (n. d.)."},{"key":"e_1_3_3_25_2","unstructured":"JavaScript Object Notation. Retrieved from https:\/\/www.json.org\/json-en.html. (n. d.)."},{"key":"e_1_3_3_26_2","unstructured":"Jenkins. Retrieved from https:\/\/www.jenkins.io\/. (n. d.)."},{"key":"e_1_3_3_27_2","unstructured":"Lustre. Retrieved from https:\/\/www.lustre.org\/. (n. d.)."},{"key":"e_1_3_3_28_2","unstructured":"Maintaining Linux man-pages. Retrieved from https:\/\/www.kernel.org\/doc\/man-pages\/maintaining.html. (n. d.)."},{"key":"e_1_3_3_29_2","unstructured":"mke2fs. Retrieved from https:\/\/linux.die.net\/man\/8\/mke2fs. (n. d.)."},{"key":"e_1_3_3_30_2","unstructured":"mkfs.btrfs. Retrieved from https:\/\/man7.org\/linux\/man-pages\/man8\/mkfs.btrfs.8.html. (n. d.)."},{"key":"e_1_3_3_31_2","unstructured":"mkfs.xfs. Retrieved from https:\/\/man7.org\/linux\/man-pages\/man8\/mkfs.xfs.8.html. (n. d.)."},{"key":"e_1_3_3_32_2","unstructured":"MongoDB. Retrieved from https:\/\/www.mongodb.com\/. (n. d.)."},{"key":"e_1_3_3_33_2","unstructured":"mount. Retrieved from https:\/\/man7.org\/linux\/man-pages\/man8\/mount.8.html. (n. d.)."},{"key":"e_1_3_3_34_2","unstructured":"mount. Retrieved from https:\/\/www.freebsd.org\/cgi\/man.cgi?query=mount. (n. d.)."},{"key":"e_1_3_3_35_2","unstructured":"mount_apfs. Retrieved from https:\/\/www.manpagez.com\/man\/8\/mount_apfs\/. (n. d.)."},{"key":"e_1_3_3_36_2","unstructured":"mountvol. Retrieved from https:\/\/docs.microsoft.com\/en-us\/windows-server\/administration\/windows-commands\/mountvol. (n. d.)."},{"key":"e_1_3_3_37_2","unstructured":"MySQL NDB Cluster. Retrieved from https:\/\/en.wikipedia.org\/wiki\/NDB_Cluster. (n. d.)."},{"key":"e_1_3_3_38_2","unstructured":"NDCTL. Retrieved from https:\/\/github.com\/pmem\/ndctl. (n. d.)."},{"key":"e_1_3_3_39_2","unstructured":"newfs. Retrieved from https:\/\/www.freebsd.org\/cgi\/man.cgi?newfs(8). (n. d.)."},{"key":"e_1_3_3_40_2","unstructured":"NTFS. Retrieved fromhttps:\/\/www.ntfs.com\/index.html. (n. d.)."},{"key":"e_1_3_3_41_2","unstructured":"OpenStack. Retrieved from https:\/\/www.openstack.org\/. (n. d.)."},{"key":"e_1_3_3_42_2","unstructured":"OpenStack Swift. Retrieved from https:\/\/docs.openstack.org\/swift\/latest\/. (n. d.)."},{"key":"e_1_3_3_43_2","unstructured":"resize2fs. Retrieved from https:\/\/linux.die.net\/man\/8\/resize2fs. (n. d.)."},{"key":"e_1_3_3_44_2","unstructured":"restore. Retrieved from https:\/\/www.freebsd.org\/cgi\/man.cgi?query=restore. (n. d.)."},{"key":"e_1_3_3_45_2","unstructured":"shrink. Retrieved from https:\/\/docs.microsoft.com\/en-us\/windows-server\/administration\/windows-commands\/shrink. (n. d.)."},{"key":"e_1_3_3_46_2","unstructured":"Soot - A framework for analyzing and transforming Java and Android. Retrieved from http:\/\/soot-oss.github.io\/soot\/. (n. d.)."},{"key":"e_1_3_3_47_2","unstructured":"Storage Testing. Retrieved from https:\/\/lwn.net\/Articles\/789538\/. (n. d.)."},{"key":"e_1_3_3_48_2","unstructured":"The First and Only Adaptive Computational Storage Platform. Retrieved from https:\/\/www.xilinx.com\/applications\/data-center\/computational-storage\/smartssd.html. (n. d.)."},{"key":"e_1_3_3_49_2","unstructured":"The Linux man-pages Project. Retrieved from https:\/\/www.kernel.org\/doc\/man-pages\/maintaining.html. (n. d.)."},{"key":"e_1_3_3_50_2","unstructured":"The LLVM Compiler Infrastructure. Retrieved fromhttps:\/\/llvm.org\/. (n. d.)."},{"key":"e_1_3_3_51_2","unstructured":"Trim. Retrieved from https:\/\/en.wikipedia.org\/wiki\/Trim_(computing). (n. d.)."},{"key":"e_1_3_3_52_2","unstructured":"Windows 10 2004\/20H2: Microsoft fixes chkdsk issue in update KB4592438. Retrieved from https:\/\/borncity.com\/win\/2020\/12\/21\/windows-10-2004-20h2-microsoft-fixes-chkdsk-issue-in-update-kb4592438\/. (n. d.)."},{"key":"e_1_3_3_53_2","unstructured":"Windows 10 20H2: ChkDsk damages file system on SSDs with Update KB4592438 installed. Retrieved from https:\/\/borncity.com\/win\/2020\/12\/18\/windows-10-20h2-chkdsk-damages-file-system-on-ssds-with-update-kb4592438-installed\/. (n. d.)."},{"key":"e_1_3_3_54_2","unstructured":"WiredTiger. Retrieved from https:\/\/github.com\/wiredtiger. (n. d.)."},{"key":"e_1_3_3_55_2","unstructured":"XFS. Retrieved from https:\/\/xfs.wiki.kernel.org\/. (n. d.)."},{"key":"e_1_3_3_56_2","unstructured":"xfs_admin. Retrieved from https:\/\/man7.org\/linux\/man-pages\/man8\/xfs_admin.8.html. (n. d.)."},{"key":"e_1_3_3_57_2","unstructured":"xfs_fsr. Retrieved from https:\/\/man7.org\/linux\/man-pages\/man8\/xfs_fsr.8.html. (n. d.)."},{"key":"e_1_3_3_58_2","unstructured":"xfs_growfs. Retrieved from https:\/\/man7.org\/linux\/man-pages\/man8\/xfs_growfs.8.html. (n. d.)."},{"key":"e_1_3_3_59_2","unstructured":"xfsprogs. Retrieved from https:\/\/www.linuxfromscratch.org\/blfs\/view\/svn\/postlfs\/xfsprogs.html. (n. d.)."},{"key":"e_1_3_3_60_2","unstructured":"xfs_repair. Retrieved from https:\/\/man7.org\/linux\/man-pages\/man8\/xfs_repair.8.html. (n. d.)."},{"key":"e_1_3_3_61_2","unstructured":"xfstests. Retrieved from https:\/\/github.com\/kdave\/xfstests. (n. d.)."},{"key":"e_1_3_3_62_2","unstructured":"ZFS. Retrieved from https:\/\/github.com\/openzfs\/zfs. (n. d.)."},{"key":"e_1_3_3_63_2","unstructured":"zfs-create. Retrieved from https:\/\/www.freebsd.org\/cgi\/man.cgi?query=zfs-create. (n. d.)."},{"key":"e_1_3_3_64_2","unstructured":"zfs-destroy. Retrieved from https:\/\/www.freebsd.org\/cgi\/man.cgi?query=zfs-destroy. (n. d.)."},{"key":"e_1_3_3_65_2","unstructured":"zfs-mount. Retrieved from https:\/\/www.freebsd.org\/cgi\/man.cgi?query=zfs-mount. (n. d.)."},{"key":"e_1_3_3_66_2","unstructured":"zfs-rollback. Retrieved from https:\/\/www.freebsd.org\/cgi\/man.cgi?query=zfs-rollback. (n. d.)."},{"key":"e_1_3_3_67_2","unstructured":"zfs-set. Retrieved from https:\/\/www.freebsd.org\/cgi\/man.cgi?query=zfs-set. (n. d.)."},{"key":"e_1_3_3_68_2","volume-title":"Proceedings of the 2013 USENIX Conference on Annual Technical Conference (ATC)","author":"Albrecht Christoph","year":"2013","unstructured":"Christoph Albrecht, Arif Merchant, Murray Stokely, Muhammad Waliji, Fran\u00e7ois Labelle, Nate Coehlo, Xudong Shi, and C. Eric Schrock. 2013. Janus: Optimal flash provisioning for cloud storage workloads. In Proceedings of the 2013 USENIX Conference on Annual Technical Conference (ATC)."},{"issue":"4","key":"e_1_3_3_69_2","article-title":"Specifying and checking file system crash-consistency models","volume":"51","author":"Bornholt James","year":"2016","unstructured":"James Bornholt, Antoine Kaufmann, Jialin Li, Arvind Krishnamurthy, Emina Torlak, and Xi Wang. 2016. Specifying and checking file system crash-consistency models. SIGPLAN Not. 51, 4 (2016), 83\u201398.","journal-title":"SIGPLAN Not."},{"key":"e_1_3_3_70_2","doi-asserted-by":"crossref","unstructured":"Jinrui Cao Om Rameshwar Gatla Mai Zheng Dong Dai Vidya Eswarappa Yan Mu and Yong Chen. 2018. PFault: A general framework for analyzing the reliability of high-performance parallel file systems. In Proceedings of the 2018 International Conference on Supercomputing. 1\u201311.","DOI":"10.1145\/3205289.3205302"},{"key":"e_1_3_3_71_2","volume-title":"Proceedings of the 18th USENIX Conference on File and Storage Technologies (FAST)","author":"Cao Zhen","year":"2020","unstructured":"Zhen Cao, Geoff Kuenning, and Erez Zadok. 2020. Carver: Finding important parameters for storage system tuning. In Proceedings of the 18th USENIX Conference on File and Storage Technologies (FAST)."},{"key":"e_1_3_3_72_2","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3240466"},{"key":"e_1_3_3_73_2","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_3_3_74_2","volume-title":"Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE)","author":"Chen Qingrong","year":"2020","unstructured":"Qingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li, and Tianyin Xu. 2020. Understanding and discovering software configuration dependencies in cloud and datacenter systems. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE)."},{"key":"e_1_3_3_75_2","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616300"},{"key":"e_1_3_3_76_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35746-6_1"},{"issue":"3","key":"e_1_3_3_77_2","article-title":"CONFU: Configuration fuzzing testing framework for software vulnerability detection","volume":"1","author":"Dai Huning","year":"2010","unstructured":"Huning Dai, Christian Murphy, and Gail Kaiser. 2010. CONFU: Configuration fuzzing testing framework for software vulnerability detection. Int. J. Secur. Softw. Eng.) 1, 3 (2010), 152\u2013167.","journal-title":"Int. J. Secur. Softw. Eng.)"},{"key":"e_1_3_3_78_2","doi-asserted-by":"publisher","DOI":"10.5555\/2208461.2208468"},{"key":"e_1_3_3_79_2","volume-title":"Proceedings of the 15th Usenix Conference on File and Storage Technologies (FAST)","author":"Ganesan Aishwarya","year":"2017","unstructured":"Aishwarya Ganesan, Ramnatthan Alagappan, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2017. Redundancy does not imply fault tolerance: Analysis of distributed storage reactions to single errors and corruptions. In Proceedings of the 15th Usenix Conference on File and Storage Technologies (FAST)."},{"key":"e_1_3_3_80_2","volume-title":"Proceedings of the 16th USENIX Conference on File and Storage Technologies (FAST)","author":"Gatla Om Rameshwar","year":"2018","unstructured":"Om Rameshwar Gatla, Muhammad Hameed, Mai Zheng, Viacheslav Dubeyko, Adam Manzanares, Filip Blagojevic, Cyril Guyot, and Robert Mateescu. 2018. Towards robust file system checkers. In Proceedings of the 16th USENIX Conference on File and Storage Technologies (FAST)."},{"key":"e_1_3_3_81_2","doi-asserted-by":"crossref","unstructured":"Om Rameshwar Gatla Mai Zheng Muhammad Hameed Viacheslav Dubeyko Adam Manzanares Filip Blagojevic Cyril Guyot and Robert Mateescu. 2018. Towards robust file system checkers. ACM Transactions on Storage (TOS) 14 4 (2018) 1\u201325.","DOI":"10.1145\/3281031"},{"key":"e_1_3_3_82_2","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945450"},{"key":"e_1_3_3_83_2","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI)","author":"Gunawi Haryadi S.","year":"2008","unstructured":"Haryadi S. Gunawi, Abhishek Rajimwale, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2008. SQCK: A Declarative file system checker. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_3_84_2","doi-asserted-by":"crossref","unstructured":"Runzhou Han Om Rameshwar Gatla Mai Zheng Jinrui Cao Di Zhang Dong Dai Yong Chen and Jonathan Cook. 2022. A study of failure recovery and logging of high-performance parallel file systems. ACM Transactions on Storage (TOS) 18 2 (2022) 1\u201344.","DOI":"10.1145\/3483447"},{"key":"e_1_3_3_85_2","volume-title":"IEEE\/ACM Fifth International Parallel Data Systems Workshop (PDSW)","author":"Han Runzhou","year":"2020","unstructured":"Runzhou Han, Duo Zhang, and Mai Zheng.2020. Fingerprinting the checker policies of parallel file systems. In IEEE\/ACM Fifth International Parallel Data Systems Workshop (PDSW)."},{"key":"e_1_3_3_86_2","doi-asserted-by":"publisher","DOI":"10.1145\/3427921.3450255"},{"key":"e_1_3_3_87_2","doi-asserted-by":"publisher","DOI":"10.5555\/3358807.3358874"},{"key":"e_1_3_3_88_2","volume-title":"Proceedings of the 36th International Conference on Software Engineering (ICSE)","author":"Jin Dongpu","year":"2014","unstructured":"Dongpu Jin, Xiao Qu, Myra B. Cohen, and Brian Robinson. 2014. Configurations everywhere: Implications for testing and debugging in practice. In Proceedings of the 36th International Conference on Software Engineering (ICSE)."},{"key":"e_1_3_3_89_2","volume-title":"Proceedings of the 38th IEEE International Conference on Dependable Systems and Networks (DSN)","author":"Keller Lorenzo","year":"2008","unstructured":"Lorenzo Keller, Prasang Upadhyaya, and George Candea. 2008. ConfErr: A tool for assessing resilience to human configuration errors. In Proceedings of the 38th IEEE International Conference on Dependable Systems and Networks (DSN)."},{"key":"e_1_3_3_90_2","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359662"},{"key":"e_1_3_3_91_2","doi-asserted-by":"crossref","unstructured":"Rahul Krishna Chong Tang Kevin Sullivan and Baishakhi Ray. 2020. ConEx: Efficient exploration of big-data system configurations for better performance. IEEE Transactions on Software Engineering 48 3 (2020) 893\u2013909.","DOI":"10.1109\/TSE.2020.3007560"},{"key":"e_1_3_3_92_2","doi-asserted-by":"publisher","DOI":"10.1145\/3597503.3623315"},{"key":"e_1_3_3_93_2","doi-asserted-by":"publisher","DOI":"10.5555\/2591272.2591276"},{"key":"e_1_3_3_94_2","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"e_1_3_3_95_2","volume-title":"Proceedings of the 26th USENIX Conference on Security Symposium (SEC)","author":"Machiry Aravind","year":"2017","unstructured":"Aravind Machiry, Chad Spensky, Jake Corina, Nick Stephens, Christopher Kruegel, and Giovanni Vigna. 2017. DR. Checker: A soundy analysis for linux kernel drivers. In Proceedings of the 26th USENIX Conference on Security Symposium (SEC)."},{"key":"e_1_3_3_96_2","volume-title":"21st USENIX Conference on File and Storage Technologies (FAST 23)","author":"Mahmud Tabassum","year":"2023","unstructured":"Tabassum Mahmud, Om Rameshwar Gatla, Duo Zhang, Carson Love, Ryan Bumann, and Mai Zheng. 2023. \\(\\lbrace\\) ConfD \\(\\rbrace\\) : Analyzing configuration dependencies of file systems for fun and profit. In 21st USENIX Conference on File and Storage Technologies (FAST 23)."},{"key":"e_1_3_3_97_2","unstructured":"Wilcox Matthew. DAX: Page cache bypass for filesystems on memory storage. Retrieved from https:\/\/lwn.net\/Articles\/618064\/. (n. d.)."},{"key":"e_1_3_3_98_2","volume-title":"Proceedings of the 25th Symposium on Operating Systems Principles (SOSP)","author":"Min Changwoo","year":"2015","unstructured":"Changwoo Min, Sanidhya Kashyap, Byoungyoung Lee, Chengyu Song, and Taesoo Kim. 2015. Cross-Checking semantic correctness: The case of finding file system bugs. In Proceedings of the 25th Symposium on Operating Systems Principles (SOSP)."},{"key":"e_1_3_3_99_2","volume-title":"Proceedings of the 15th USENIX Conference on File and Storage Technologies (FAST)","author":"Niazi Salman","year":"2017","unstructured":"Salman Niazi, Mahmoud Ismail, Seif Haridi, Jim Dowling, Steffen Grohsschmiedt, and Mikael Ronstr\u00f6m. 2017. HopsFS: Scaling hierarchical file system metadata using NewSQL databases. In Proceedings of the 15th USENIX Conference on File and Storage Technologies (FAST)."},{"key":"e_1_3_3_100_2","volume-title":"Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI)","author":"Pillai Thanumalayan Sankaranarayana","year":"2014","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 Proceedings of the 11th USENIX Conference on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_3_101_2","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095830"},{"key":"e_1_3_3_102_2","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985812"},{"key":"e_1_3_3_103_2","volume-title":"Proceedings of the 16th USENIX Conference on File and Storage Technologies (FAST)","author":"Sun Kuei","year":"2018","unstructured":"Kuei Sun, Daniel Fryer, Joseph Chu, Matthew Lakier, Angela Demke Brown, and Ashvin Goel. 2018. Spiffy: Enabling file-system aware storage applications. In Proceedings of the 16th USENIX Conference on File and Storage Technologies (FAST)."},{"key":"e_1_3_3_104_2","volume-title":"PProceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI)","author":"Sun Xudong","year":"2020","unstructured":"Xudong Sun, Runxiang Cheng, Jianyan Chen, Elaine Ang, Owolabi Legunsen, and Tianyin Xu. 2020. Testing configuration changes in context to prevent production failures. In PProceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_3_3_105_2","doi-asserted-by":"publisher","DOI":"10.1145\/3655038.3665954"},{"key":"e_1_3_3_106_2","volume-title":"arXiv","author":"Pandey Scott Klemmer Tianyin Xu, Vineet","year":"2016","unstructured":"Scott Klemmer Tianyin Xu, Vineet Pandey. 2016. An HCI view of configuration problems. In arXiv."},{"key":"e_1_3_3_107_2","volume-title":"e2fsprogs","author":"Ts\u2019o Theodore","year":"2016","unstructured":"Theodore Ts\u2019o. May 10, 2016. resize2fs, libext2fs: Fix bugs in sparse_super2 support. In e2fsprogs. Retrieved from https:\/\/github.com\/tytso\/e2fsprogs\/commit\/aaa1ae0856fa4b2517cac9d7011316d55bbf6ed8"},{"key":"e_1_3_3_108_2","article-title":"Real-time diagnosis of configuration errors for software of AI server infrastructure","author":"Xu Guangquan","year":"2023","unstructured":"Guangquan Xu, Xinru Ding, Sihan Xu, Yan Jia, Shaoying Liu, Shicheng Feng, and Xi Zheng. 2023. Real-time diagnosis of configuration errors for software of AI server infrastructure. IEEE Transactions on Dependable and Secure Computing (2023), 1\u201312.","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"e_1_3_3_109_2","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522727"},{"key":"e_1_3_3_110_2","volume-title":"2019 IEEE Symposium on Security and Privacy (S&P)","author":"Xu Wen","year":"2019","unstructured":"Wen Xu, Hyungon Moon, Sanidhya Kashyap, Po-Ning Tseng, and Taesoo Kim. 2019. Fuzzing file systems via two-dimensional input space exploration. In 2019 IEEE Symposium on Security and Privacy (S&P)."},{"key":"e_1_3_3_111_2","article-title":"Hydra - A framework for elegantly configuring complex applications","author":"Yadan Omry","year":"2019","unstructured":"Omry Yadan. 2019. Hydra - A framework for elegantly configuring complex applications. Github. (2019). Retrieved from https:\/\/github.com\/facebookresearch\/hydra","journal-title":"Github"},{"issue":"4","key":"e_1_3_3_112_2","article-title":"Using model checking to find serious file system errors","volume":"24","author":"Yang Junfeng","year":"2006","unstructured":"Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. 2006. Using model checking to find serious file system errors. ACM Transactions on Computer Systems (TOCS) 24, 4 (2006), 393\u2013423.","journal-title":"ACM Transactions on Computer Systems (TOCS)"},{"key":"e_1_3_3_113_2","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043572"},{"key":"e_1_3_3_114_2","doi-asserted-by":"publisher","DOI":"10.1145\/3456727.3463783"},{"key":"e_1_3_3_115_2","doi-asserted-by":"publisher","DOI":"10.5555\/2685048.2685083"},{"key":"e_1_3_3_116_2","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359644"}],"container-title":["ACM Transactions on Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3747177","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T13:18:23Z","timestamp":1762435103000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3747177"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,6]]},"references-count":115,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,11,30]]}},"alternative-id":["10.1145\/3747177"],"URL":"https:\/\/doi.org\/10.1145\/3747177","relation":{},"ISSN":["0734-2071","1557-7333"],"issn-type":[{"type":"print","value":"0734-2071"},{"type":"electronic","value":"1557-7333"}],"subject":[],"published":{"date-parts":[[2025,11,6]]},"assertion":[{"value":"2024-12-27","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-06-20","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-11-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}