{"id":"https://openalex.org/W2155061608","doi":"https://doi.org/10.1145/1542476.1542506","title":"Error propagation analysis for file systems","display_name":"Error propagation analysis for file systems","publication_year":2009,"publication_date":"2009-06-15","ids":{"openalex":"https://openalex.org/W2155061608","doi":"https://doi.org/10.1145/1542476.1542506","mag":"2155061608"},"language":"en","primary_location":{"id":"doi:10.1145/1542476.1542506","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1542476.1542506","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-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/A5010991469","display_name":"Cindy Rubio-Gonz\u00e1lez","orcid":"https://orcid.org/0000-0002-0861-3763"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Cindy Rubio-Gonz\u00e1lez","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, WI, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085438892","display_name":"Haryadi S. Gunawi","orcid":"https://orcid.org/0000-0003-3680-8450"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Haryadi S. Gunawi","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, WI, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030632138","display_name":"Ben Liblit","orcid":"https://orcid.org/0000-0002-2245-2839"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Liblit","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, WI, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035064257","display_name":"Remzi H. Arpaci-Dusseau","orcid":"https://orcid.org/0000-0001-9965-7704"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Remzi H. Arpaci-Dusseau","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, WI, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015863866","display_name":"Andrea C. Arpaci-Dusseau","orcid":"https://orcid.org/0000-0001-8618-2738"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrea C. Arpaci-Dusseau","raw_affiliation_strings":["University of Wisconsin-Madison, Madison, WI, USA"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin-Madison, Madison, WI, USA","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5010991469"],"corresponding_institution_ids":["https://openalex.org/I135310074"],"apc_list":null,"apc_paid":null,"fwci":4.7131,"has_fulltext":false,"cited_by_count":83,"citation_normalized_percentile":{"value":0.95290749,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"270","last_page":"280"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","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"}},"topics":[{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9991999864578247,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9991000294685364,"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.8765487670898438},{"id":"https://openalex.org/keywords/file-system","display_name":"File system","score":0.7206106185913086},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.6933808922767639},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5371850728988647},{"id":"https://openalex.org/keywords/computer-file","display_name":"Computer file","score":0.48907262086868286},{"id":"https://openalex.org/keywords/scope","display_name":"Scope (computer science)","score":0.4858495891094208},{"id":"https://openalex.org/keywords/virtual-file-system","display_name":"Virtual file system","score":0.45365893840789795},{"id":"https://openalex.org/keywords/self-certifying-file-system","display_name":"Self-certifying File System","score":0.45355090498924255},{"id":"https://openalex.org/keywords/unix-file-types","display_name":"Unix file types","score":0.4509616792201996},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.439386248588562},{"id":"https://openalex.org/keywords/system-call","display_name":"System call","score":0.43574631214141846},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.4308925271034241},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3126275837421417},{"id":"https://openalex.org/keywords/ssh-file-transfer-protocol","display_name":"SSH File Transfer Protocol","score":0.26595568656921387},{"id":"https://openalex.org/keywords/stub-file","display_name":"Stub file","score":0.236221045255661}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8765487670898438},{"id":"https://openalex.org/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.7206106185913086},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.6933808922767639},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5371850728988647},{"id":"https://openalex.org/C95637964","wikidata":"https://www.wikidata.org/wiki/Q82753","display_name":"Computer file","level":2,"score":0.48907262086868286},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.4858495891094208},{"id":"https://openalex.org/C58861120","wikidata":"https://www.wikidata.org/wiki/Q1330734","display_name":"Virtual file system","level":5,"score":0.45365893840789795},{"id":"https://openalex.org/C82820731","wikidata":"https://www.wikidata.org/wiki/Q2640620","display_name":"Self-certifying File System","level":3,"score":0.45355090498924255},{"id":"https://openalex.org/C21729314","wikidata":"https://www.wikidata.org/wiki/Q7896858","display_name":"Unix file types","level":4,"score":0.4509616792201996},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.439386248588562},{"id":"https://openalex.org/C2778579508","wikidata":"https://www.wikidata.org/wiki/Q722192","display_name":"System call","level":2,"score":0.43574631214141846},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4308925271034241},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3126275837421417},{"id":"https://openalex.org/C88520388","wikidata":"https://www.wikidata.org/wiki/Q1126823","display_name":"SSH File Transfer Protocol","level":4,"score":0.26595568656921387},{"id":"https://openalex.org/C13674803","wikidata":"https://www.wikidata.org/wiki/Q7627301","display_name":"Stub file","level":3,"score":0.236221045255661},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1542476.1542506","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1542476.1542506","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.188.201","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.201","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.wisc.edu/%7Eliblit/pldi-2009-a/pldi-2009-a.pdf","raw_type":"text"}],"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":[{"id":"https://openalex.org/F4320311777","display_name":"Secretar\u00eda de Educaci\u00f3n P\u00fablica","ror":"https://ror.org/02e1c4h55"},{"id":"https://openalex.org/F4320321739","display_name":"Consejo Nacional de Ciencia y Tecnolog\u00eda","ror":"https://ror.org/059ex5q34"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W19219339","https://openalex.org/W1485975206","https://openalex.org/W1521221596","https://openalex.org/W1545371423","https://openalex.org/W1545684573","https://openalex.org/W1913757809","https://openalex.org/W1964583443","https://openalex.org/W2009885448","https://openalex.org/W2045818721","https://openalex.org/W2048038821","https://openalex.org/W2095584600","https://openalex.org/W2096076317","https://openalex.org/W2100573397","https://openalex.org/W2101936540","https://openalex.org/W2102143499","https://openalex.org/W2102890180","https://openalex.org/W2104842527","https://openalex.org/W2107089133","https://openalex.org/W2108155806","https://openalex.org/W2124877509","https://openalex.org/W2130028049","https://openalex.org/W2132874586","https://openalex.org/W2147974680","https://openalex.org/W2148355935","https://openalex.org/W2150248778","https://openalex.org/W2164997837","https://openalex.org/W2166980237","https://openalex.org/W2174894305","https://openalex.org/W2770491639","https://openalex.org/W4234650869","https://openalex.org/W4237726262","https://openalex.org/W4244831445","https://openalex.org/W6675135810"],"related_works":["https://openalex.org/W4247882433","https://openalex.org/W2097829252","https://openalex.org/W4313226861","https://openalex.org/W2058294301","https://openalex.org/W1874951337","https://openalex.org/W4233195927","https://openalex.org/W2361514029","https://openalex.org/W4250364891","https://openalex.org/W2624586596","https://openalex.org/W1577629062"],"abstract_inverted_index":{"Unchecked":[0],"errors":[1,40],"are":[2,16],"especially":[3],"pernicious":[4],"in":[5],"operating":[6],"system":[7,24,46,63,75,82],"file":[8,23,45,62,74,81],"management":[9],"code.":[10,47],"Transient":[11],"or":[12],"permanent":[13],"hardware":[14],"failures":[15],"inevitable,":[17],"and":[18,53,69,78,92],"error-management":[19],"bugs":[20],"at":[21],"the":[22],"layer":[25],"can":[26],"cause":[27],"silent,":[28],"unrecoverable":[29],"data":[30],"corruption.":[31],"We":[32],"propose":[33],"an":[34],"interprocedural":[35],"static":[36],"analysis":[37],"that":[38,111],"tracks":[39],"as":[41],"they":[42],"propagate":[43],"through":[44],"Our":[48,90],"implementation":[49,76],"detects":[50],"overwritten,":[51],"out-of-scope,":[52],"unsaved":[54],"unchecked":[55],"errors.":[56],"Analysis":[57],"of":[58],"four":[59],"widely-used":[60],"Linux":[61],"implementations":[64],"(CIFS,":[65],"ext3,":[66],"IBM":[67],"JFS":[68],"ReiserFS),":[70],"a":[71],"relatively":[72],"new":[73],"(ext4),":[77],"shared":[79],"virtual":[80],"(VFS)":[83],"code":[84],"uncovers":[85],"312":[86],"error":[87],"propagation":[88],"bugs.":[89],"flow-":[91],"context-sensitive":[93],"approach":[94],"produces":[95],"more":[96],"precise":[97],"results":[98],"than":[99],"related":[100],"techniques":[101],"while":[102],"providing":[103],"better":[104],"diagnostic":[105],"information,":[106],"including":[107],"possible":[108],"execution":[109],"paths":[110],"demonstrate":[112],"each":[113],"bug":[114],"found.":[115]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":8},{"year":2019,"cited_by_count":8},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":4}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}