{"id":"https://openalex.org/W2147041723","doi":"https://doi.org/10.1145/2385603.2385608","title":"Recon","display_name":"Recon","publication_year":2012,"publication_date":"2012-11-01","ids":{"openalex":"https://openalex.org/W2147041723","doi":"https://doi.org/10.1145/2385603.2385608","mag":"2147041723"},"language":"en","primary_location":{"id":"doi:10.1145/2385603.2385608","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2385603.2385608","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/A5061011352","display_name":"Daniel Fryer","orcid":"https://orcid.org/0000-0001-6032-0522"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Daniel Fryer","raw_affiliation_strings":["University of Toronto"],"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068278069","display_name":"Kuei Sun","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Kuei Sun","raw_affiliation_strings":["University of Toronto"],"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056941220","display_name":"Rahat Mahmood","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Rahat Mahmood","raw_affiliation_strings":["University of Toronto"],"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030956067","display_name":"Tinghao Cheng","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Tinghao Cheng","raw_affiliation_strings":["University of Toronto"],"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026057069","display_name":"Shaun Benjamin","orcid":null},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Shaun Benjamin","raw_affiliation_strings":["University of Toronto"],"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063921617","display_name":"Ashvin Goel","orcid":"https://orcid.org/0000-0003-4048-5906"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ashvin Goel","raw_affiliation_strings":["University of Toronto"],"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102801701","display_name":"Angela Demke Brown","orcid":"https://orcid.org/0000-0002-3615-3442"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Angela Demke Brown","raw_affiliation_strings":["University of Toronto"],"affiliations":[{"raw_affiliation_string":"University of Toronto","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5061011352"],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":2.8368,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.9154603,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"8","issue":"4","first_page":"1","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9994999766349792,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9994999766349792,"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/T11424","display_name":"Security and Verification in Computing","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8874844312667847},{"id":"https://openalex.org/keywords/file-system","display_name":"File system","score":0.7451083064079285},{"id":"https://openalex.org/keywords/versioning-file-system","display_name":"Versioning file system","score":0.6570540070533752},{"id":"https://openalex.org/keywords/journaling-file-system","display_name":"Journaling file system","score":0.6316799521446228},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.5488297939300537},{"id":"https://openalex.org/keywords/unix-file-types","display_name":"Unix file types","score":0.533735454082489},{"id":"https://openalex.org/keywords/metadata","display_name":"Metadata","score":0.4893781542778015},{"id":"https://openalex.org/keywords/computer-file","display_name":"Computer file","score":0.4623855650424957},{"id":"https://openalex.org/keywords/self-certifying-file-system","display_name":"Self-certifying File System","score":0.4536662697792053},{"id":"https://openalex.org/keywords/device-file","display_name":"Device file","score":0.42404696345329285},{"id":"https://openalex.org/keywords/checksum","display_name":"Checksum","score":0.42059099674224854},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4138854146003723},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.4021625816822052},{"id":"https://openalex.org/keywords/stub-file","display_name":"Stub file","score":0.31616634130477905}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8874844312667847},{"id":"https://openalex.org/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.7451083064079285},{"id":"https://openalex.org/C166807848","wikidata":"https://www.wikidata.org/wiki/Q3445065","display_name":"Versioning file system","level":4,"score":0.6570540070533752},{"id":"https://openalex.org/C2225880","wikidata":"https://www.wikidata.org/wiki/Q579047","display_name":"Journaling file system","level":3,"score":0.6316799521446228},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5488297939300537},{"id":"https://openalex.org/C21729314","wikidata":"https://www.wikidata.org/wiki/Q7896858","display_name":"Unix file types","level":4,"score":0.533735454082489},{"id":"https://openalex.org/C93518851","wikidata":"https://www.wikidata.org/wiki/Q180160","display_name":"Metadata","level":2,"score":0.4893781542778015},{"id":"https://openalex.org/C95637964","wikidata":"https://www.wikidata.org/wiki/Q82753","display_name":"Computer file","level":2,"score":0.4623855650424957},{"id":"https://openalex.org/C82820731","wikidata":"https://www.wikidata.org/wiki/Q2640620","display_name":"Self-certifying File System","level":3,"score":0.4536662697792053},{"id":"https://openalex.org/C193769178","wikidata":"https://www.wikidata.org/wiki/Q14679","display_name":"Device file","level":3,"score":0.42404696345329285},{"id":"https://openalex.org/C162372511","wikidata":"https://www.wikidata.org/wiki/Q218341","display_name":"Checksum","level":2,"score":0.42059099674224854},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4138854146003723},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.4021625816822052},{"id":"https://openalex.org/C13674803","wikidata":"https://www.wikidata.org/wiki/Q7627301","display_name":"Stub file","level":3,"score":0.31616634130477905},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2385603.2385608","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2385603.2385608","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":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.8299999833106995}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1490580114","https://openalex.org/W1578158641","https://openalex.org/W1588132832","https://openalex.org/W1865515598","https://openalex.org/W1927072723","https://openalex.org/W1995626000","https://openalex.org/W1998009565","https://openalex.org/W2019457848","https://openalex.org/W2027680510","https://openalex.org/W2091664437","https://openalex.org/W2099866050","https://openalex.org/W2100100130","https://openalex.org/W2103315535","https://openalex.org/W2104136059","https://openalex.org/W2115600841","https://openalex.org/W2117289367","https://openalex.org/W2124877509","https://openalex.org/W2135652458","https://openalex.org/W2138664028","https://openalex.org/W2142406085","https://openalex.org/W2146841776","https://openalex.org/W2150593762","https://openalex.org/W2154161369","https://openalex.org/W2155061608","https://openalex.org/W2159890891","https://openalex.org/W2585172182","https://openalex.org/W2913598742","https://openalex.org/W4243477111","https://openalex.org/W6634556349"],"related_works":["https://openalex.org/W196652493","https://openalex.org/W4313226861","https://openalex.org/W2097829252","https://openalex.org/W4247882433","https://openalex.org/W2563027287","https://openalex.org/W2517882452","https://openalex.org/W2963784857","https://openalex.org/W2394137493","https://openalex.org/W2461556223","https://openalex.org/W938319407"],"abstract_inverted_index":{"File":[0],"system":[1,54,58,63,103,132,140,170],"bugs":[2],"that":[3,22,55,70],"corrupt":[4],"metadata":[5,59,149,160],"on":[6,31,137],"disk":[7,99],"are":[8,39,126],"insidious.":[9],"Existing":[10],"reliability":[11],"methods,":[12],"such":[13],"as":[14,178,180,186,188],"checksums,":[15],"redundancy,":[16],"or":[17,34],"transactional":[18,75],"updates,":[19],"merely":[20],"ensure":[21],"the":[23,36,43,113,138,156,166,189],"corruption":[24,183],"is":[25],"reliably":[26],"preserved.":[27],"Typical":[28],"workarounds,":[29],"based":[30],"using":[32,74,171],"backups":[33],"repairing":[35],"file":[37,57,62,68,86,102,118,131,139,169],"system,":[38],"painfully":[40],"slow.":[41],"Worse,":[42],"recovery":[44],"may":[45],"result":[46],"in":[47],"further":[48],"corruption.":[49],"We":[50,77,154],"present":[51],"Recon,":[52],"a":[53,85,144],"protects":[56],"from":[60],"buggy":[61,117],"operations.":[64],"Our":[65],"approach":[66,125],"leverages":[67],"systems":[69],"provide":[71],"crash":[72],"consistency":[73,82,163],"updates.":[76],"define":[78],"declarative":[79],"statements":[80],"called":[81],"invariants":[83,89,108,128,164],"for":[84,146,165],"system.":[87],"These":[88],"must":[90],"be":[91],"satisfied":[92],"by":[93,116],"each":[94],"transaction":[95],"being":[96],"committed":[97],"to":[98,100,123],"preserve":[101],"integrity.":[104],"Recon":[105,142,174],"checks":[106],"these":[107],"at":[109,184],"commit,":[110],"thereby":[111],"minimizing":[112],"damage":[114],"caused":[115],"systems.":[119],"The":[120],"major":[121],"challenges":[122],"this":[124,172],"specifying":[127],"and":[129,151,161],"interpreting":[130,159],"behavior":[133],"correctly":[134],"without":[135],"relying":[136],"code.":[141],"provides":[143],"framework":[145],"file-system":[147,182,192],"specific":[148],"interpretation":[150],"invariant":[152],"checking.":[153],"show":[155],"feasibility":[157],"of":[158],"writing":[162],"Linux":[167],"ext3":[168],"framework.":[173],"can":[175],"detect":[176],"random":[177],"well":[179],"targeted":[181],"runtime":[185],"effectively":[187],"offline":[190],"e2fsck":[191],"checker,":[193],"with":[194],"low":[195],"overhead.":[196]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2016-06-24T00:00:00"}