{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:24Z","timestamp":1750220604326,"version":"3.41.0"},"reference-count":45,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2020,8,4]],"date-time":"2020-08-04T00:00:00Z","timestamp":1596499200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSERC Discovery"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Storage"],"published-print":{"date-parts":[[2020,8,31]]},"abstract":"<jats:p>Many file-system applications such as defragmentation tools, file-system checkers, or data recovery tools, operate at the storage layer. Today, developers of these file-system aware storage applications require detailed knowledge of the file-system format, which requires significant time to learn, often by trial and error, due to insufficient documentation or specification of the format. Furthermore, these applications perform ad-hoc processing of the file-system metadata, leading to bugs and vulnerabilities.<\/jats:p>\n          <jats:p>We propose Spiffy, an annotation language for specifying the on-disk format of a file system. File-system developers annotate the data structures of a file system, and we use these annotations to generate a library that allows identifying, parsing, and traversing file-system metadata, providing support for both offline and online storage applications. This approach simplifies the development of storage applications that work across different file systems because it reduces the amount of file-system--specific code that needs to be written.<\/jats:p>\n          <jats:p>We have written annotations for the Linux Ext4, Btrfs, and F2FS file systems, and developed several applications for these file systems, including a type-specific metadata corruptor, a file-system converter, an online storage layer cache that preferentially caches files for certain users, and a runtime file-system checker. Our experiments show that applications built with the Spiffy library for accessing file-system metadata can achieve good performance and are robust against file-system corruption errors.<\/jats:p>","DOI":"10.1145\/3386368","type":"journal-article","created":{"date-parts":[[2020,7,7]],"date-time":"2020-07-07T12:32:29Z","timestamp":1594125149000},"page":"1-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Spiffy"],"prefix":"10.1145","volume":"16","author":[{"given":"Kuei","family":"Sun","sequence":"first","affiliation":[{"name":"University of Toronto, Ontario, Toronto, Canada"}]},{"given":"Daniel","family":"Fryer","sequence":"additional","affiliation":[{"name":"University of Toronto, Ontario, Toronto, Canada"}]},{"given":"Russell","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Toronto, Ontario, Toronto, Canada"}]},{"given":"Sagar","family":"Patel","sequence":"additional","affiliation":[{"name":"University of Toronto, Ontario, Toronto, Canada"}]},{"given":"Joseph","family":"Chu","sequence":"additional","affiliation":[{"name":"University of Toronto, Ontario, Toronto, Canada"}]},{"given":"Matthew","family":"Lakier","sequence":"additional","affiliation":[{"name":"University of Toronto, Ontario, Toronto, Canada"}]},{"given":"Angela Demke","family":"Brown","sequence":"additional","affiliation":[{"name":"University of Toronto, Ontario, Toronto, Canada"}]},{"given":"Ashvin","family":"Goel","sequence":"additional","affiliation":[{"name":"University of Toronto, Ontario, Toronto, Canada"}]}],"member":"320","published-online":{"date-parts":[[2020,8,4]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"EuroSys Doctoral Workshop","author":"Amani Sidney","year":"2012","unstructured":"Sidney Amani , Leonid Ryzhyk , and Toby Murray . 2012 . Towards a fully verified file system . EuroSys Doctoral Workshop 2012. Sidney Amani, Leonid Ryzhyk, and Toby Murray. 2012. Towards a fully verified file system. EuroSys Doctoral Workshop 2012."},{"volume-title":"Proceedings of the 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN\u201908)","author":"Bairavasundaram Lakshmi N.","key":"e_1_2_1_2_1","unstructured":"Lakshmi N. Bairavasundaram , Meenali Rungta , Nitin Agrawa , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , and Michael M. Swift . 2008. Analyzing the effects of disk-pointer corruption . In Proceedings of the 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN\u201908) . IEEE, 502--511. Lakshmi N. Bairavasundaram, Meenali Rungta, Nitin Agrawa, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Michael M. Swift. 2008. Analyzing the effects of disk-pointer corruption. In Proceedings of the 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN\u201908). IEEE, 502--511."},{"key":"e_1_2_1_3_1","volume-title":"11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914)","author":"Bangert Julian","year":"2014","unstructured":"Julian Bangert and Nickolai Zeldovich . 2014 . Nail: A practical tool for parsing and generating data formats . In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914) . 615--628. Julian Bangert and Nickolai Zeldovich. 2014. Nail: A practical tool for parsing and generating data formats. In 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914). 615--628."},{"key":"e_1_2_1_4_1","volume-title":"Retrieved on","author":"Beazley David","year":"2013","unstructured":"David Beazley . 2013 . PLY (Python Lex-Yacc) . Retrieved on June 26, 2020 from http:\/\/www.dabeaz.com\/ply\/. David Beazley. 2013. PLY (Python Lex-Yacc). Retrieved on June 26, 2020 from http:\/\/www.dabeaz.com\/ply\/."},{"key":"e_1_2_1_5_1","volume-title":"Retrieved on","author":"Buckeye Brian","year":"2006","unstructured":"Brian Buckeye and Kevin Liston . 2006 . Recovering Deleted Files in Linux . Retrieved on June 26, 2020 from http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?. Brian Buckeye and Kevin Liston. 2006. Recovering Deleted Files in Linux. Retrieved on June 26, 2020 from http:\/\/citeseerx.ist.psu.edu\/viewdoc\/download?."},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"volume-title":"Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914)","author":"Chow Michael","key":"e_1_2_1_7_1","unstructured":"Michael Chow , David Meisner , Jason Flinn , Daniel Peek , and Thomas F. Wenisch . 2014. The mystery machine: End-to-end performance analysis of large-scale internet services . In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914) . USENIX Association, 217--231. https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/chow. Michael Chow, David Meisner, Jason Flinn, Daniel Peek, and Thomas F. Wenisch. 2014. The mystery machine: End-to-end performance analysis of large-scale internet services. In Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201914). USENIX Association, 217--231. https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/chow."},{"key":"e_1_2_1_8_1","volume-title":"Retrieved","author":"Danial Al","year":"2009","unstructured":"Al Danial . 2009 . Cloc--count lines of code. Open Source (2009) . Retrieved June 26, 2020 from http:\/\/cloc.sourceforge.net\/. Al Danial. 2009. Cloc--count lines of code. Open Source (2009). Retrieved June 26, 2020 from http:\/\/cloc.sourceforge.net\/."},{"key":"e_1_2_1_9_1","volume-title":"Navathe","author":"Elmasri Ramez","year":"2011","unstructured":"Ramez Elmasri and Shamkant B . Navathe . 2011 . Database Systems. Vol. 9 . Pearson Education, Boston, MA. Ramez Elmasri and Shamkant B. Navathe. 2011. Database Systems. Vol. 9. Pearson Education, Boston, MA."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1938551.1938556"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2385603.2385608"},{"key":"e_1_2_1_12_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education, India.","author":"Gamma Erich","year":"1995","unstructured":"Erich Gamma . 1995 . Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education, India. Erich Gamma. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education, India."},{"volume-title":"Database System Implementation","author":"Garcia-Molina Hector","key":"e_1_2_1_13_1","unstructured":"Hector Garcia-Molina , Jeffrey D. Ullman , and Jennifer Widom . 2000. Database System Implementation . Vol. 672 . Prentice Hall : Upper Saddle River, NJ. Hector Garcia-Molina, Jeffrey D. Ullman, and Jennifer Widom. 2000. Database System Implementation. Vol. 672. Prentice Hall: Upper Saddle River, NJ."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54833-8_10"},{"volume-title":"Manage Partitions with GParted How-to","author":"Gedak Curtis","key":"e_1_2_1_15_1","unstructured":"Curtis Gedak . 2012. Manage Partitions with GParted How-to . Packt Publishing Ltd . Curtis Gedak. 2012. Manage Partitions with GParted How-to. Packt Publishing Ltd."},{"volume-title":"Proceedings of the Symposium on Operating Systems Principles (SOSP\u201907)","author":"Gunawi Haryadi S.","key":"e_1_2_1_16_1","unstructured":"Haryadi S. Gunawi , Vijayan Prabhakaran , Swetha Krishnan , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2007. Improving file system reliability with I\/O shepherding . In Proceedings of the Symposium on Operating Systems Principles (SOSP\u201907) . 293--306. Haryadi S. Gunawi, Vijayan Prabhakaran, Swetha Krishnan, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2007. Improving file system reliability with I\/O shepherding. In Proceedings of the Symposium on Operating Systems Principles (SOSP\u201907). 293--306."},{"volume-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI).","author":"Gunawi Haryadi S.","key":"e_1_2_1_17_1","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 USENIX Symposium on Operating Systems Design and Implementation (OSDI). 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 USENIX Symposium on Operating Systems Design and Implementation (OSDI)."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.12.018"},{"key":"e_1_2_1_19_1","volume-title":"May","author":"Hickson Ian","year":"2011","unstructured":"Ian Hickson and David Hyatt . 2011. Html5. W3C Working Draft WD-html5-20110525 , May ( 2011 ). Ian Hickson and David Hyatt. 2011. Html5. W3C Working Draft WD-html5-20110525, May (2011)."},{"key":"e_1_2_1_20_1","volume-title":"LATEX: A Document Preparation System: User\u2019s Guide and Reference Manual","author":"Lamport Leslie","year":"1994","unstructured":"Leslie Lamport . 1994 . LATEX: A Document Preparation System: User\u2019s Guide and Reference Manual . Addison-Wesley . Leslie Lamport. 1994. LATEX: A Document Preparation System: User\u2019s Guide and Reference Manual. Addison-Wesley."},{"key":"e_1_2_1_21_1","volume-title":"Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915)","author":"Lee Changman","year":"2015","unstructured":"Changman Lee , Dongho Sim , Jooyoung Hwang , and Sangyeun Cho . 2015 . F2FS: A new file system for flash storage . In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915) . 273--286. Changman Lee, Dongho Sim, Jooyoung Hwang, and Sangyeun Cho. 2015. F2FS: A new file system for flash storage. In Proceedings of the 13th USENIX Conference on File and Storage Technologies (FAST\u201915). 273--286."},{"key":"e_1_2_1_22_1","first-page":"3","article-title":"A study of Linux file system evolution","volume":"10","author":"Lu Lanyue","year":"2014","unstructured":"Lanyue Lu , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , and Shan Lu . 2014 . A study of Linux file system evolution . ACM Transactions on Storage (TOS) 10 , 1 (2014), 3 . Lanyue Lu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Shan Lu. 2014. A study of Linux file system evolution. ACM Transactions on Storage (TOS) 10, 1 (2014), 3.","journal-title":"ACM Transactions on Storage (TOS)"},{"volume-title":"Proceedings of the USENIX Conference on File and Storage Technologies (FAST\u201913)","author":"Ma Ao","key":"e_1_2_1_23_1","unstructured":"Ao Ma , Chris Dragga , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2013. ffsck: The fast file system checker . In Proceedings of the USENIX Conference on File and Storage Technologies (FAST\u201913) . Ao Ma, Chris Dragga, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2013. ffsck: The fast file system checker. In Proceedings of the USENIX Conference on File and Storage Technologies (FAST\u201913)."},{"volume-title":"Proceedings of the Symposium on Operating Systems Principles (SOSP\u201911)","author":"Mesnier Michael","key":"e_1_2_1_24_1","unstructured":"Michael Mesnier , Feng Chen , Tian Luo , and Jason B. Akers . 2011. Differentiated storage services . In Proceedings of the Symposium on Operating Systems Principles (SOSP\u201911) . 57--70. Michael Mesnier, Feng Chen, Tian Luo, and Jason B. Akers. 2011. Differentiated storage services. In Proceedings of the Symposium on Operating Systems Principles (SOSP\u201911). 57--70."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503286"},{"key":"e_1_2_1_26_1","volume-title":"Retrieved on","author":"Overstreet Kent","year":"2016","unstructured":"Kent Overstreet . 2016 . Linux Bcache . Retrieved on June 26, 2020 from https:\/\/bcache.evilpiepirate.org\/. Kent Overstreet. 2016. Linux Bcache. Retrieved on June 26, 2020 from https:\/\/bcache.evilpiepirate.org\/."},{"key":"e_1_2_1_27_1","volume-title":"Retrieved on","author":"Patterson Meredith","year":"2020","unstructured":"Meredith Patterson and Dan Hirsch . [n.d.]. Hammer Parser Generator (March 2014) . Retrieved on June 26, 2020 from https:\/\/github.com\/UpstandingHackers\/hammer. Meredith Patterson and Dan Hirsch. [n.d.]. Hammer Parser Generator (March 2014). Retrieved on June 26, 2020 from https:\/\/github.com\/UpstandingHackers\/hammer."},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501620.2501623"},{"key":"e_1_2_1_29_1","unstructured":"Armin Ronacher. 2011. Jinja2 Documentation.  Armin Ronacher. 2011. Jinja2 Documentation."},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201906)","author":"Sivathanu Gopalan","year":"2006","unstructured":"Gopalan Sivathanu , Swaminathan Sundararaman , and Erez Zadok . 2006 . Type-safe disks . In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201906) . 15--28. Gopalan Sivathanu, Swaminathan Sundararaman, and Erez Zadok. 2006. Type-safe disks. In Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201906). 15--28."},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the USENIX Conference on File and Storage Technologies (FAST\u201905)","author":"Sivathanu Muthian","year":"2005","unstructured":"Muthian Sivathanu , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau , and Somesh Jha . 2005 . A logic of file systems . In Proceedings of the USENIX Conference on File and Storage Technologies (FAST\u201905) . Muthian Sivathanu, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, and Somesh Jha. 2005. A logic of file systems. In Proceedings of the USENIX Conference on File and Storage Technologies (FAST\u201905)."},{"volume-title":"Proceedings of the USENIX Conference on File and Storage Technologies (FAST\u201903)","author":"Sivathanu Muthian","key":"e_1_2_1_32_1","unstructured":"Muthian Sivathanu , Vijayan Prabhakaran , Florentina I. Popovici , Timothy E. Denehy , Andrea C. Arpaci-Dusseau , and Remzi H . Arpaci-Dusseau. 2003. Semantically-smart disk systems . In Proceedings of the USENIX Conference on File and Storage Technologies (FAST\u201903) . 73--88. Muthian Sivathanu, Vijayan Prabhakaran, Florentina I. Popovici, Timothy E. Denehy, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2003. Semantically-smart disk systems. In Proceedings of the USENIX Conference on File and Storage Technologies (FAST\u201903). 73--88."},{"key":"e_1_2_1_33_1","unstructured":"D. Steedman. 1993. Abstract Syntax Notation One (ASN. 1): The Tutorial and Reference. Technology appraisals.  D. Steedman. 1993. Abstract Syntax Notation One (ASN. 1): The Tutorial and Reference. Technology appraisals."},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2806777.2806933"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/3277332.3277340"},{"key":"e_1_2_1_37_1","volume-title":"Retrieved on","author":"TechNet Microsoft","year":"2020","unstructured":"Microsoft TechNet . [n.d.]. How to Convert FAT Disks to NTFS . Retrieved on June 26, 2020 from https:\/\/technet.microsoft.com\/en-us\/library\/bb456984.aspx. Microsoft TechNet. [n.d.]. How to Convert FAT Disks to NTFS. Retrieved on June 26, 2020 from https:\/\/technet.microsoft.com\/en-us\/library\/bb456984.aspx."},{"key":"e_1_2_1_38_1","volume-title":"Retrieved","author":"Warren Tom","year":"2017","unstructured":"Tom Warren . [n.d.]. Apple is upgrading millions of iOS devices to a new modern file system today . Retrieved March 27, 2017 from https:\/\/www.theverge.com\/2017\/3\/27\/15076244\/apple-file-system-apfs-ios-10-3-features. Tom Warren. [n.d.]. Apple is upgrading millions of iOS devices to a new modern file system today. Retrieved March 27, 2017 from https:\/\/www.theverge.com\/2017\/3\/27\/15076244\/apple-file-system-apfs-ios-10-3-features."},{"key":"e_1_2_1_39_1","volume-title":"Retrieved on","author":"Torvalds Linus","year":"2007","unstructured":"Linus Torvalds , Josh Triplett , and Christopher Li . 2007 . Sparse\u2014A semantic parser for C . Retrieved on June 26, 2020 from http:\/\/sparse.wiki.kernel.org. Linus Torvalds, Josh Triplett, and Christopher Li. 2007. Sparse\u2014A semantic parser for C. Retrieved on June 26, 2020 from http:\/\/sparse.wiki.kernel.org."},{"key":"e_1_2_1_40_1","volume-title":"Retrieved on","author":"Ts\u2019o Theodore","year":"2017","unstructured":"Theodore Ts\u2019o . 2017 . E2fsprogs: Ext2\/3\/4 filesystem utilities . Retrieved on June 26, 2020 from http:\/\/e2fsprogs.sourceforge.net\/. Theodore Ts\u2019o. 2017. E2fsprogs: Ext2\/3\/4 filesystem utilities. Retrieved on June 26, 2020 from http:\/\/e2fsprogs.sourceforge.net\/."},{"key":"e_1_2_1_41_1","volume-title":"Protocol buffers: Google\u2019s data interchange format. Google Open Source Blog, available at least as early as","author":"Varda Kenton","year":"2008","unstructured":"Kenton Varda . 2008. Protocol buffers: Google\u2019s data interchange format. Google Open Source Blog, available at least as early as July . 2008 . Kenton Varda. 2008. Protocol buffers: Google\u2019s data interchange format. Google Open Source Blog, available at least as early as July. 2008."},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the 6th USENIX Conference on File and Storage Technologies. https:\/\/github.com\/filebench\/filebench\/.","author":"Wilson Andrew","year":"2008","unstructured":"Andrew Wilson . 2008 . The new and improved FileBench . In Proceedings of the 6th USENIX Conference on File and Storage Technologies. https:\/\/github.com\/filebench\/filebench\/. Andrew Wilson. 2008. The new and improved FileBench. In Proceedings of the 6th USENIX Conference on File and Storage Technologies. https:\/\/github.com\/filebench\/filebench\/."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1189256.1189259"},{"key":"e_1_2_1_44_1","volume-title":"Retrieved on","author":"Zalewski Michal","year":"2016","unstructured":"Michal Zalewski . 2016 . American fuzzy lop . Retrieved on June 26, 2020 from http:\/\/lcamtuf.coredump.cx\/afl\/. Michal Zalewski. 2016. American fuzzy lop. Retrieved on June 26, 2020 from http:\/\/lcamtuf.coredump.cx\/afl\/."},{"key":"e_1_2_1_45_1","volume-title":"Proceedings of the12th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201916)","author":"Zhao Xu","year":"2016","unstructured":"Xu Zhao , Kirk Rodrigues , Yu Luo , Ding Yuan , and Michael Stumm . 2016 . Non-intrusive performance profiling for entire software stacks based on the flow reconstruction principle . In Proceedings of the12th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201916) . USENIX Association, 603--618. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/zhao. Xu Zhao, Kirk Rodrigues, Yu Luo, Ding Yuan, and Michael Stumm. 2016. Non-intrusive performance profiling for entire software stacks based on the flow reconstruction principle. In Proceedings of the12th USENIX Symposium on Operating Systems Design and Implementation (OSDI\u201916). USENIX Association, 603--618. https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/zhao."},{"volume-title":"Proceedings of the 7th Symposium on Operating Systems Design and Implementation. USENIX Association, 45--60","author":"Zhou F.","key":"e_1_2_1_46_1","unstructured":"F. Zhou , J. Condit , Z. Anderson , I. Bagrak , R. Ennals , M. Harren , G. Necula , and E. Brewer . 2006. SafeDrive: Safe and recoverable extensions using language-based techniques . In Proceedings of the 7th Symposium on Operating Systems Design and Implementation. USENIX Association, 45--60 . F. Zhou, J. Condit, Z. Anderson, I. Bagrak, R. Ennals, M. Harren, G. Necula, and E. Brewer. 2006. SafeDrive: Safe and recoverable extensions using language-based techniques. In Proceedings of the 7th Symposium on Operating Systems Design and Implementation. USENIX Association, 45--60."}],"container-title":["ACM Transactions on Storage"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3386368","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3386368","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:32:04Z","timestamp":1750195924000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3386368"}},"subtitle":["Enabling File-System Aware Storage Applications"],"short-title":[],"issued":{"date-parts":[[2020,8,4]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,8,31]]}},"alternative-id":["10.1145\/3386368"],"URL":"https:\/\/doi.org\/10.1145\/3386368","relation":{},"ISSN":["1553-3077","1553-3093"],"issn-type":[{"type":"print","value":"1553-3077"},{"type":"electronic","value":"1553-3093"}],"subject":[],"published":{"date-parts":[[2020,8,4]]},"assertion":[{"value":"2019-08-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-03-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2020-08-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}