{"id":"https://openalex.org/W4414423822","doi":"https://doi.org/10.1145/3769109","title":"SquirrelFS: Using the Rust Compiler to Check File-System Crash Consistency","display_name":"SquirrelFS: Using the Rust Compiler to Check File-System Crash Consistency","publication_year":2025,"publication_date":"2025-09-23","ids":{"openalex":"https://openalex.org/W4414423822","doi":"https://doi.org/10.1145/3769109"},"language":"en","primary_location":{"id":"doi:10.1145/3769109","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3769109","pdf_url":null,"source":{"id":"https://openalex.org/S158124317","display_name":"ACM Transactions on Storage","issn_l":"1553-3077","issn":["1553-3077","1553-3093"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Storage","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038989423","display_name":"Hayley LeBlanc","orcid":"https://orcid.org/0000-0003-3680-496X"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hayley Leblanc","raw_affiliation_strings":["The University of Texas at Austin","The University of Texas at Austin, Austin, United States"],"raw_orcid":"https://orcid.org/0000-0003-3680-496X","affiliations":[{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"The University of Texas at Austin, Austin, United States","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014223385","display_name":"Nathan Taylor","orcid":null},"institutions":[{"id":"https://openalex.org/I4210111884","display_name":"Universitas PGRI Semarang","ror":"https://ror.org/01c1p1v81","country_code":"ID","type":"education","lineage":["https://openalex.org/I4210111884"]}],"countries":["ID"],"is_corresponding":false,"raw_author_name":"Nathan Taylor","raw_affiliation_strings":["Semgrep","Semgrep, Seattle, United States"],"raw_orcid":"https://orcid.org/0009-0006-2042-2974","affiliations":[{"raw_affiliation_string":"Semgrep","institution_ids":["https://openalex.org/I4210111884"]},{"raw_affiliation_string":"Semgrep, Seattle, United States","institution_ids":["https://openalex.org/I4210111884"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055964348","display_name":"James Bornholt","orcid":"https://orcid.org/0000-0002-3258-3226"},"institutions":[{"id":"https://openalex.org/I1311688040","display_name":"Amazon (United States)","ror":"https://ror.org/04mv4n011","country_code":"US","type":"company","lineage":["https://openalex.org/I1311688040"]},{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James Bornholt","raw_affiliation_strings":["Amazon Web Services Inc","The University of Texas at Austin","Amazon Web Services Inc, Seattle, United States","The University of Texas at Austin, Austin, United States"],"raw_orcid":"https://orcid.org/0000-0002-3258-3226","affiliations":[{"raw_affiliation_string":"Amazon Web Services Inc","institution_ids":["https://openalex.org/I1311688040"]},{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"Amazon Web Services Inc, Seattle, United States","institution_ids":["https://openalex.org/I1311688040"]},{"raw_affiliation_string":"The University of Texas at Austin, Austin, United States","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010361101","display_name":"Vijay Chidambaram","orcid":"https://orcid.org/0000-0001-7985-6087"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Vijay Chidambaram","raw_affiliation_strings":["The University of Texas at Austin","The University of Texas at Austin, Austin, United States"],"raw_orcid":"https://orcid.org/0000-0001-7985-6087","affiliations":[{"raw_affiliation_string":"The University of Texas at Austin","institution_ids":["https://openalex.org/I86519309"]},{"raw_affiliation_string":"The University of Texas at Austin, Austin, United States","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.24234794,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"4","first_page":"1","last_page":"39"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7505999803543091},{"id":"https://openalex.org/keywords/crash","display_name":"Crash","score":0.7347999811172485},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.7157999873161316},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6894999742507935},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6829000115394592},{"id":"https://openalex.org/keywords/rust","display_name":"Rust (programming language)","score":0.5055999755859375}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9197999835014343},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7505999803543091},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.7347999811172485},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.7157999873161316},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6894999742507935},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6829000115394592},{"id":"https://openalex.org/C197781089","wikidata":"https://www.wikidata.org/wiki/Q575650","display_name":"Rust (programming language)","level":2,"score":0.5055999755859375},{"id":"https://openalex.org/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.4383000135421753},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.4108000099658966},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.37540000677108765},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.3513999879360199},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.33649998903274536},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33640000224113464},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.29499998688697815},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.2667999863624573},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.25189998745918274}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3769109","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3769109","pdf_url":null,"source":{"id":"https://openalex.org/S158124317","display_name":"ACM Transactions on Storage","issn_l":"1553-3077","issn":["1553-3077","1553-3093"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Storage","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1573624842","https://openalex.org/W2020841721","https://openalex.org/W2031032746","https://openalex.org/W2044590882","https://openalex.org/W2091776255","https://openalex.org/W2293617946","https://openalex.org/W2912416028","https://openalex.org/W2913672609","https://openalex.org/W2914563499","https://openalex.org/W2942185437","https://openalex.org/W3036168767","https://openalex.org/W4200208024","https://openalex.org/W4205983429","https://openalex.org/W4212957416","https://openalex.org/W4232868312","https://openalex.org/W4235481015","https://openalex.org/W4236912736","https://openalex.org/W4237921881","https://openalex.org/W4241843286","https://openalex.org/W4246338960","https://openalex.org/W4247967939","https://openalex.org/W4299453925","https://openalex.org/W4372267410","https://openalex.org/W4387302738","https://openalex.org/W6931651971"],"related_works":[],"abstract_inverted_index":{"This":[0],"work":[1],"introduces":[2],"a":[3,26,33,62,107,136],"new":[4,63],"approach":[5,57],"to":[6,46,51,58],"building":[7],"crash-safe":[8],"file":[9,64,119],"systems":[10,120],"for":[11,80,110],"persistent":[12],"memory.":[13],"We":[14,31,54,114],"exploit":[15],"the":[16,78,88,112],"fact":[17],"that":[18,41,69,128],"Rust\u2019s":[19],"typestate":[20,89],"pattern":[21],"allows":[22],"compile-time":[23],"enforcement":[24],"of":[25,29,96,139],"specific":[27],"order":[28],"operations.":[30],"introduce":[32],"novel":[34],"crash-consistency":[35,67],"mechanism,":[36],"Synchronous":[37],"Soft":[38],"Updates":[39],",":[40,61],"boils":[42],"down":[43],"crash":[44,101],"safety":[45],"enforcing":[47],"ordering":[48],"among":[49],"updates":[50],"file-system":[52],"metadata.":[53],"employ":[55],"this":[56],"build":[59],"SquirrelFS":[60,76,92,116,129],"system":[65],"with":[66],"guarantees":[68,86],"are":[70],"checked":[71],"at":[72],"compile":[73],"time":[74],".":[75],"avoids":[77],"need":[79],"separate":[81],"proofs,":[82],"instead":[83],"incorporating":[84],"correctness":[85],"into":[87],"itself.":[90],"Compiling":[91],"only":[93],"takes":[94],"tens":[95],"seconds;":[97],"successful":[98],"compilation":[99],"indicates":[100],"consistency,":[102],"while":[103],"an":[104],"error":[105],"provides":[106],"starting":[108],"point":[109],"fixing":[111],"bug.":[113],"evaluate":[115],"against":[117],"state-of-the-art":[118],"such":[121],"as":[122],"NOVA":[123],"and":[124,126,141],"WineFS,":[125],"find":[127],"achieves":[130],"similar":[131],"or":[132],"better":[133],"performance":[134],"on":[135],"wide":[137],"range":[138],"benchmarks":[140],"applications.":[142]},"counts_by_year":[],"updated_date":"2026-07-26T07:53:14.480251","created_date":"2025-10-10T00:00:00"}