{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T14:23:53Z","timestamp":1762179833745,"version":"build-2065373602"},"reference-count":68,"publisher":"Association for Computing Machinery (ACM)","issue":"4","funder":[{"name":"NSF CAREER","award":["#1751277"],"award-info":[{"award-number":["#1751277"]}]},{"name":"NSF CCF","award":["#2124044"],"award-info":[{"award-number":["#2124044"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Storage"],"published-print":{"date-parts":[[2025,11,30]]},"abstract":"<jats:p>\n                    This work introduces a new approach to building crash-safe file systems for persistent memory. We exploit the fact that Rust\u2019s typestate pattern allows compile-time enforcement of a specific order of operations. We introduce a novel crash-consistency mechanism,\n                    <jats:italic toggle=\"yes\">Synchronous Soft Updates<\/jats:italic>\n                    , that boils down crash safety to enforcing ordering among updates to file-system metadata. We employ this approach to build\n                    <jats:sc>SquirrelFS<\/jats:sc>\n                    , a new file system with crash-consistency guarantees that are\n                    <jats:italic toggle=\"yes\">checked at compile time<\/jats:italic>\n                    .\n                    <jats:sc>SquirrelFS<\/jats:sc>\n                    avoids the need for separate proofs, instead incorporating correctness guarantees into the typestate itself. Compiling\n                    <jats:sc>SquirrelFS<\/jats:sc>\n                    only takes tens of seconds; successful compilation indicates crash consistency, while an error provides a starting point for fixing the bug. We evaluate\n                    <jats:sc>SquirrelFS<\/jats:sc>\n                    against state-of-the-art file systems such as NOVA and WineFS, and find that\n                    <jats:sc>SquirrelFS<\/jats:sc>\n                    achieves similar or better performance on a wide range of benchmarks and applications.\n                  <\/jats:p>","DOI":"10.1145\/3769109","type":"journal-article","created":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T11:52:31Z","timestamp":1758628351000},"page":"1-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["SquirrelFS: Using the Rust Compiler to Check File-System Crash Consistency"],"prefix":"10.1145","volume":"21","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3680-496X","authenticated-orcid":false,"given":"Hayley","family":"Leblanc","sequence":"first","affiliation":[{"name":"The University of Texas at Austin","place":["Austin, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-2042-2974","authenticated-orcid":false,"given":"Nathan","family":"Taylor","sequence":"additional","affiliation":[{"name":"Semgrep","place":["Seattle, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3258-3226","authenticated-orcid":false,"given":"James","family":"Bornholt","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin","place":["Austin, United States"]},{"name":"Amazon Web Services Inc","place":["Austin, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7985-6087","authenticated-orcid":false,"given":"Vijay","family":"Chidambaram","sequence":"additional","affiliation":[{"name":"The University of Texas at Austin","place":["Austin, United States"]}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,11,3]]},"reference":[{"key":"e_1_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640073"},{"key":"e_1_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872404"},{"key":"e_1_3_3_4_2","article-title":"Soft updates, hard problems","author":"Aurora Valerie","year":"2009","unstructured":"Valerie Aurora. 2009. Soft updates, hard problems. Retrieved November 15, 2023 from https:\/\/lwn.net\/Articles\/339337\/. (July2009).","journal-title":"https:\/\/lwn.net\/Articles\/339337\/"},{"key":"e_1_3_3_5_2","unstructured":"Piotr Balcer. 2023. Exploring the Software Ecosystem for Compute Express Link (CXL) Memory. (May2023). Retrieved November 15 2023 from https:\/\/pmem.io\/blog\/2023\/05\/exploring-the-software-ecosystem-for-compute-express-link-cxl-memory\/"},{"key":"e_1_3_3_6_2","unstructured":"The Embedded Rust Book. 2024. Typestate Programming. (2024). Retrieved November 15 2023 from https:\/\/docs.rust-embedded.org\/book\/static-guarantees\/typestate-programming.html"},{"key":"e_1_3_3_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483540"},{"key":"e_1_3_3_8_2","first-page":"83","volume-title":"Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating Systems","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. In Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating Systems. Atlanta, GA, USA, 83\u201398."},{"key":"e_1_3_3_9_2","unstructured":"BTRFS developers. 2024. BTRFS Documentation. (2024). Retrieved November 15 2023 from https:\/\/btrfs.readthedocs.io\/en\/latest\/"},{"key":"e_1_3_3_10_2","first-page":"447","volume-title":"Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation.USENIX Association","author":"Chajed Tej","year":"2022","unstructured":"Tej Chajed, Joseph Tassarotti, Mark Theng, M. Frans Kaashoek, and Nickolai Zeldovich. 2022. Verifying the DaisyNFS concurrent and crash-safe file system with sequential reasoning. In Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation.USENIX Association, Carlsbad, CA, 447\u2013463. Retrieved from https:\/\/www.usenix.org\/conference\/osdi22\/presentation\/chajed"},{"key":"e_1_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132776"},{"key":"e_1_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815402"},{"key":"e_1_3_3_13_2","volume-title":"Orderless and Eventually Durable File Systems","author":"Chidambaram Vijay","year":"2015","unstructured":"Vijay Chidambaram. 2015. Orderless and Eventually Durable File Systems. Ph.D. Dissertation. University of Wisconsin, Madison."},{"key":"e_1_3_3_14_2","first-page":"101","volume-title":"Proceedings of the 10th Conference on File and Storage Technologies.San Jose, California","author":"Chidambaram Vijay","year":"2012","unstructured":"Vijay Chidambaram, Tushar Sharma, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau. 2012. Consistency without ordering. In Proceedings of the 10th Conference on File and Storage Technologies.San Jose, California, 101\u2013116."},{"key":"e_1_3_3_15_2","unstructured":"CXL Consortium. 2023. Compute Express Link (CXL) specification. (2023). Retrieved November 15 2023 from https:\/\/www.computeexpresslink.org\/download-the-specification"},{"key":"e_1_3_3_16_2","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807152"},{"key":"e_1_3_3_17_2","unstructured":"Symas Corporation. 2024. LMDB. (2024). Retrieved November 15 2023 from http:\/\/www.lmdb.tech"},{"key":"e_1_3_3_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292564"},{"key":"e_1_3_3_19_2","first-page":"337","volume-title":"Proceedings of the 2008 Tools and Algorithms for Construction and Analysis of Systems","author":"Moura Leonardo de","year":"2008","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In Proceedings of the 2008 Tools and Algorithms for Construction and Analysis of Systems. Springer, Berlin, 337\u2013340. Retrieved from https:\/\/www.microsoft.com\/en-us\/research\/publication\/z3-an-efficient-smt-solver\/"},{"key":"e_1_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378811"},{"key":"e_1_3_3_21_2","doi-asserted-by":"publisher","DOI":"10.5555\/3154690.3154758"},{"key":"e_1_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592814"},{"key":"e_1_3_3_23_2","doi-asserted-by":"crossref","unstructured":"John Field Deepak Goyal G. Ramalingam and Eran Yahav. 2005. Typestate verification: Abstraction techniques and complexity results. Springer Berlin. Retrieved November 15 2023 from https:\/\/www.microsoft.com\/en-us\/research\/publication\/typestate-verification-abstraction-techniques-complexity-results\/","DOI":"10.1016\/j.scico.2005.02.004"},{"key":"e_1_3_3_24_2","unstructured":"Rust for Linux. 2024. (2024). Retrieved November 15 2023 from https:\/\/rust-for-linux.com\/"},{"key":"e_1_3_3_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294291"},{"key":"e_1_3_3_26_2","volume-title":"Proceedings of the 1st Symposium on Operating Systems Design and Implementation.USENIX Association","author":"Ganger Gregory R.","year":"1994","unstructured":"Gregory R. Ganger and Yale N. Patt. 1994. Metadata Update Performance in File Systems. In Proceedings of the 1st Symposium on Operating Systems Design and Implementation.USENIX Association, Monterey, CA. Retrieved from https:\/\/www.usenix.org\/conference\/osdi-94\/metadata-update-performance-file-systems"},{"key":"e_1_3_3_27_2","volume-title":"Rust for Rustaceans","author":"Gjenset Jon","year":"2022","unstructured":"Jon Gjenset. 2022. Rust for Rustaceans. No Starch Press."},{"key":"e_1_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/41457.37518"},{"key":"e_1_3_3_29_2","first-page":"17","volume-title":"Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation.","author":"Hance Travis","year":"2020","unstructured":"Travis Hance, Andrea Lattuada, Chris Hawblitzel, Jon Howell, Rob Johnson, and Bryan Parno. 2020. Storage systems are distributed systems (so verify them that way!). In Proceedings of the 14th USENIX Conference on Operating Systems Design and Implementation.USENIX Association, USA, 17 pages."},{"key":"e_1_3_3_30_2","volume-title":"Proceedings of the ACM Symposium on Operating Systems Principles.","author":"Hawblitzel Chris","year":"2015","unstructured":"Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jay Lorch, Bryan Parno, Justine Stephenson, Srinath Setty, and Brian Zill. 2015. IronFleet: Proving practical distributed systems correct. In Proceedings of the ACM Symposium on Operating Systems Principles.ACM - Association for Computing Machinery. Retrieved from https:\/\/www.microsoft.com\/en-us\/research\/publication\/ironfleet-proving-practical-distributed-systems-correct\/"},{"key":"e_1_3_3_31_2","first-page":"235","volume-title":"USENIX Winter 1994 Technical Conference, San Francisco, California, USA, January 17-21, 1994, Conference Proceedings","author":"Hitz Dave","year":"1994","unstructured":"Dave Hitz, James Lau, and Michael A. Malcolm. 1994. File system design for an NFS file server appliance. In USENIX Winter 1994 Technical Conference, San Francisco, California, USA, January 17-21, 1994, Conference Proceedings. USENIX Association, 235\u2013246. Retrieved from https:\/\/www.usenix.org\/conference\/usenix-winter-1994-technical-conference\/file-system-design-nfs-file-server-appliance"},{"key":"e_1_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446710"},{"key":"e_1_3_3_33_2","doi-asserted-by":"publisher","DOI":"10.5555\/3019174"},{"key":"e_1_3_3_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/3477132.3483567"},{"key":"e_1_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359631"},{"key":"e_1_3_3_36_2","first-page":"933","volume-title":"Proceedings of the 2022 USENIX Annual Technical Conference. USENIX Association","author":"Kalbfleisch Samuel","year":"2022","unstructured":"Samuel Kalbfleisch, Lukas Werling, and Frank Bellosa. 2022. Vinter: Automatic non-volatile memory crash consistency testing for full systems. In Proceedings of the 2022 USENIX Annual Technical Conference. USENIX Association, Carlsbad, CA, 933\u2013950. Retrieved from https:\/\/www.usenix.org\/conference\/atc22\/presentation\/werling"},{"key":"e_1_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359662"},{"key":"e_1_3_3_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/3391202"},{"key":"e_1_3_3_39_2","doi-asserted-by":"publisher","DOI":"10.5555\/3271463"},{"key":"e_1_3_3_40_2","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132770"},{"key":"e_1_3_3_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/161494.161501"},{"key":"e_1_3_3_42_2","article-title":"Bug #317781: Ext4 Data Loss","author":"LaunchPad Ubuntu Bugs","year":"2018","unstructured":"Ubuntu Bugs LaunchPad. 2018. Bug #317781: Ext4 Data Loss. Retrieved November 15, 2023 from https:\/\/bugs.launchpad.net\/ubuntu\/+source\/linux\/+bug\/317781?comments=all. (2018).","journal-title":"https:\/\/bugs.launchpad.net\/ubuntu\/+source\/linux\/+bug\/317781?comments=all"},{"key":"e_1_3_3_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/3552326.3567498"},{"key":"e_1_3_3_44_2","unstructured":"Linux developers. 2024. Direct Access for files. (2024). Retrieved November 15 2023 from https:\/\/www.kernel.org\/doc\/Documentation\/filesystems\/dax.txt"},{"key":"e_1_3_3_45_2","unstructured":"Linux Test Project developers. 2024. Linux Test Project. (2024). Retrieved November 15 2023 from https:\/\/linux-test-project.github.io\/"},{"key":"e_1_3_3_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/320521.320540"},{"key":"e_1_3_3_47_2","volume-title":"Proceedings of the 1999 USENIX Annual Technical Conference.","author":"McKusick Marshall Kirk","year":"1999","unstructured":"Marshall Kirk McKusick and Gregory R. Ganger. 1999. Soft updates: A technique for eliminating most synchronous writes in the fast filesystem. In Proceedings of the 1999 USENIX Annual Technical Conference.USENIX Association, Monterey, CA. Retrieved from https:\/\/www.usenix.org\/conference\/1999-usenix-annual-technical-conference\/soft-updates-technique-eliminating-most"},{"key":"e_1_3_3_48_2","doi-asserted-by":"publisher","DOI":"10.5555\/2659919"},{"key":"e_1_3_3_49_2","first-page":"65","volume-title":"Proceedings of the 19th USENIX Conference on File and Storage Technologies.USENIX Association","author":"Miller Samantha","year":"2021","unstructured":"Samantha Miller, Kaiyuan Zhang, Mengqi Chen, Ryan Jennings, Ang Chen, Danyang Zhuo, and Thomas Anderson. 2021. High velocity kernel file systems with bento. In Proceedings of the 19th USENIX Conference on File and Storage Technologies.USENIX Association, 65\u201379. Retrieved from https:\/\/www.usenix.org\/conference\/fast21\/presentation\/miller"},{"key":"e_1_3_3_50_2","doi-asserted-by":"publisher","DOI":"10.1145\/3320275"},{"key":"e_1_3_3_51_2","first-page":"1047","volume-title":"Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation.","author":"Neal Ian","year":"2020","unstructured":"Ian Neal, Ben Reeves, Ben Stoler, Andrew Quinn, Youngjin Kwon, Simon Peter, and Baris Kasikci. 2020. AGAMOTTO: How persistent is your persistent memory application?. In Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation.USENIX Association, 1047\u20131064. Retrieved from https:\/\/www.usenix.org\/conference\/osdi20\/presentation\/neal"},{"key":"e_1_3_3_52_2","doi-asserted-by":"publisher","DOI":"10.1145\/42392.42398"},{"key":"e_1_3_3_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/2699417"},{"key":"e_1_3_3_54_2","doi-asserted-by":"publisher","DOI":"10.1145\/2788401"},{"key":"e_1_3_3_55_2","first-page":"433","volume-title":"Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, Broomfield, CO, USA, October 6-8, 2014","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 Symposium on Operating Systems Design and Implementation, Broomfield, CO, USA, October 6-8, 2014. Jason Flinn and Hank Levy (Eds.), USENIX Association, 433\u2013448. Retrieved from https:\/\/www.usenix.org\/conference\/osdi14\/technical-sessions\/presentation\/pillai"},{"key":"e_1_3_3_56_2","unstructured":"RocksDB developers. 2024. RocksDB. (2024). Retrieved November 15 2023 from https:\/\/rocksdb.org\/"},{"issue":"42","key":"e_1_3_3_57_2","first-page":"34","article-title":"Persistent Memory Programming","author":"Rudoff Andy","year":"2017","unstructured":"Andy Rudoff. 2017. Persistent Memory Programming. ;login:42, 2 (2017), 34\u201340. Retrieved from https:\/\/www.usenix.org\/system\/files\/login\/articles\/login_summer17_07_rudoff.pdf","journal-title":";login:"},{"key":"e_1_3_3_58_2","first-page":"1","volume-title":"Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation.USENIX Association","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 Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation.USENIX Association, Savannah, GA, 1\u201316. Retrieved from https:\/\/www.usenix.org\/conference\/osdi16\/technical-sessions\/presentation\/sigurbjarnarson"},{"key":"e_1_3_3_59_2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6312929"},{"key":"e_1_3_3_60_2","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048122"},{"issue":"41","key":"e_1_3_3_61_2","first-page":"6","article-title":"Filebench: A Flexible Framework for File System Benchmarking","author":"Tarasov Vasily","year":"2016","unstructured":"Vasily Tarasov, Erez Zadok, and Spencer Shepler. 2016. Filebench: A Flexible Framework for File System Benchmarking. ;login:41, 1 (2016), 6\u201312. Retrieved from https:\/\/www.usenix.org\/publications\/login\/spring2016\/tarasov","journal-title":";login:"},{"key":"e_1_3_3_62_2","unstructured":"The Coq Development Team. 2023. The Coq Proof Assistant. (June2023). https:\/\/github.com\/rocq-prover\/rocq\/wiki\/Publishing-Tools#how-can-i-cite-the-coq-reference-manual"},{"key":"e_1_3_3_63_2","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2023.35"},{"key":"e_1_3_3_64_2","unstructured":"xfstests developers. 2024. xfstests. (2024). Retrieved November 15 2023 from https:\/\/github.com\/kdave\/xfstests"},{"key":"e_1_3_3_65_2","doi-asserted-by":"publisher","DOI":"10.1145\/3297858.3304077"},{"key":"e_1_3_3_66_2","first-page":"323","volume-title":"Proceedings of the 14th USENIX Conference on File and Storage Technologies. USENIX Association","author":"Xu Jian","year":"2016","unstructured":"Jian Xu and Steven Swanson. 2016. NOVA: A Log-structured File System for Hybrid Volatile\/Non-volatile Main Memories. In Proceedings of the 14th USENIX Conference on File and Storage Technologies. USENIX Association, Santa Clara, CA, 323\u2013338. Retrieved from https:\/\/www.usenix.org\/conference\/fast16\/technical-sessions\/presentation\/xu"},{"key":"e_1_3_3_67_2","first-page":"169","volume-title":"Proceedings of the 18th USENIX Conference on File and Storage Technologies, FAST 2020, Santa Clara, CA, USA, February 24-27, 2020","author":"Yang Jian","year":"2020","unstructured":"Jian Yang, Juno Kim, Morteza Hoseinzadeh, Joseph Izraelevitz, and Steven Swanson. 2020. An empirical guide to the behavior and use of scalable persistent memory. In Proceedings of the 18th USENIX Conference on File and Storage Technologies, FAST 2020, Santa Clara, CA, USA, February 24-27, 2020. Sam H. Noh and Brent Welch (Eds.), USENIX Association, 169\u2013182. Retrieved from https:\/\/www.usenix.org\/conference\/fast20\/presentation\/yang"},{"key":"e_1_3_3_68_2","first-page":"273","volume-title":"Proceedings of the 6th Symposium on Operating Systems Design and Implementation.","author":"Yang Junfeng","year":"2004","unstructured":"Junfeng Yang, Paul Twohey, Dawson Engler, and Madanlal Musuvathi. 2004. Using model checking to find serious file system errors. In Proceedings of the 6th Symposium on Operating Systems Design and Implementation.USENIX Association, USA, 273\u2013287."},{"key":"e_1_3_3_69_2","doi-asserted-by":"publisher","DOI":"10.1145\/3600006.3613171"}],"container-title":["ACM Transactions on Storage"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3769109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T13:34:59Z","timestamp":1762176899000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3769109"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,3]]},"references-count":68,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,11,30]]}},"alternative-id":["10.1145\/3769109"],"URL":"https:\/\/doi.org\/10.1145\/3769109","relation":{},"ISSN":["1553-3077","1553-3093"],"issn-type":[{"type":"print","value":"1553-3077"},{"type":"electronic","value":"1553-3093"}],"subject":[],"published":{"date-parts":[[2025,11,3]]},"assertion":[{"value":"2024-09-30","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-06-13","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-11-03","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}