{"id":"https://openalex.org/W2546794094","doi":"https://doi.org/10.1145/2950290.2950327","title":"Crash consistency validation made easy","display_name":"Crash consistency validation made easy","publication_year":2016,"publication_date":"2016-11-01","ids":{"openalex":"https://openalex.org/W2546794094","doi":"https://doi.org/10.1145/2950290.2950327","mag":"2546794094"},"language":"en","primary_location":{"id":"doi:10.1145/2950290.2950327","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2950290.2950327","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2950290.2950327","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/2950290.2950327","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102987690","display_name":"Yanyan Jiang","orcid":"https://orcid.org/0000-0001-7651-9560"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yanyan Jiang","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047105504","display_name":"Haicheng Chen","orcid":"https://orcid.org/0000-0002-2504-5526"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Haicheng Chen","raw_affiliation_strings":["Ohio State University, USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028781688","display_name":"Feng Qin","orcid":"https://orcid.org/0000-0001-9134-4711"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Feng Qin","raw_affiliation_strings":["Ohio State University, USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052203980","display_name":"Chang Xu","orcid":"https://orcid.org/0000-0002-6299-4704"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chang Xu","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041674680","display_name":"Xiaoxing Ma","orcid":"https://orcid.org/0000-0001-7970-1384"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiaoxing Ma","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037645622","display_name":"Jian L\u00fc","orcid":"https://orcid.org/0000-0002-7025-7448"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Lu","raw_affiliation_strings":["Nanjing University, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5102987690"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.14141247,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"133","last_page":"143"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9990000128746033,"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.9990000128746033,"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.9988999962806702,"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.9966999888420105,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/crash","display_name":"Crash","score":0.8564051389694214},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8321077227592468},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.7683811783790588},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.7336609363555908},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.630434513092041},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4302539527416229},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4243502616882324},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.37153780460357666},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10780128836631775}],"concepts":[{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.8564051389694214},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8321077227592468},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.7683811783790588},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7336609363555908},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.630434513092041},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4302539527416229},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4243502616882324},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.37153780460357666},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10780128836631775}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2950290.2950327","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2950290.2950327","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2950290.2950327","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/2950290.2950327","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2950290.2950327","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2950290.2950327","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.6000000238418579,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[{"id":"https://openalex.org/G1582884811","display_name":null,"funder_award_id":"61321491","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1619126329","display_name":"Collaborative Research: Access Network: Supporting Retention and Representation in Physics Through an Alliance of Campus-Based Diversity Programs","funder_award_id":"1506190","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2342548764","display_name":null,"funder_award_id":"91318301","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3265603067","display_name":null,"funder_award_id":"0953759,1319705","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3649129647","display_name":null,"funder_award_id":"61321491","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G5833790506","display_name":"SHF: Small: Collaborative Research: Towards Automated Model Synthesis of Library and System Functions for Program-Environment Co-Analysis","funder_award_id":"1319705","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G671313761","display_name":null,"funder_award_id":"2015CB352202","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G7272218907","display_name":null,"funder_award_id":"318301","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320322725","display_name":"China Scholarship Council","ror":"https://ror.org/04atp4p48"},{"id":"https://openalex.org/F4320324852","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2546794094.pdf","grobid_xml":"https://content.openalex.org/works/W2546794094.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W195676583","https://openalex.org/W1412006679","https://openalex.org/W1423003888","https://openalex.org/W1444959585","https://openalex.org/W1916929620","https://openalex.org/W1991522295","https://openalex.org/W1995626000","https://openalex.org/W2001496424","https://openalex.org/W2011039300","https://openalex.org/W2025018396","https://openalex.org/W2025721496","https://openalex.org/W2071751474","https://openalex.org/W2073742357","https://openalex.org/W2095682790","https://openalex.org/W2096527448","https://openalex.org/W2104413677","https://openalex.org/W2104969543","https://openalex.org/W2108183412","https://openalex.org/W2124877509","https://openalex.org/W2146141344","https://openalex.org/W2159779511","https://openalex.org/W2161234420","https://openalex.org/W2293617946","https://openalex.org/W2332661323","https://openalex.org/W2585899607","https://openalex.org/W2751343396","https://openalex.org/W3148956615","https://openalex.org/W6628249541","https://openalex.org/W6628432071","https://openalex.org/W6733091294"],"related_works":["https://openalex.org/W2026516036","https://openalex.org/W2046765700","https://openalex.org/W626940945","https://openalex.org/W2040826996","https://openalex.org/W4384345686","https://openalex.org/W375763875","https://openalex.org/W2111579573","https://openalex.org/W120748129","https://openalex.org/W2357937784","https://openalex.org/W2547618384"],"abstract_inverted_index":{"Software":[0],"should":[1],"behave":[2],"correctly":[3],"even":[4],"in":[5,126,146],"adverse":[6],"conditions.":[7],"Particularly,":[8],"we":[9,47,122],"study":[10],"the":[11,83,105,143],"problem":[12],"of":[13,16,33,85,137],"automated":[14],"validation":[15,57],"crash":[17,55,75,87,134],"consistency,":[18],"i.e.,":[19],"file":[20,99],"system":[21,100],"data":[22],"safety":[23],"when":[24],"systems":[25],"crash.":[26],"Existing":[27],"work":[28],"requires":[29],"non-trivial":[30],"manual":[31],"efforts":[32],"specifying":[34],"checking":[35,89],"scripts":[36,90],"and":[37,68,135,153,157,166],"workloads,":[38],"which":[39],"is":[40],"an":[41,69,92,117],"obstacle":[42],"for":[43],"software":[44,128,149],"developers.":[45],"Therefore,":[46],"propose":[48],"C3,":[49,121],"a":[50,62,66],"novel":[51],"approach":[52],"that":[53,94,129],"makes":[54],"consistency":[56],"as":[58,60,116],"easy":[59],"pressing":[61],"single":[63],"button.":[64],"With":[65,120],"program":[67],"input,":[70],"C3":[71,77,115],"automatically":[72],"reports":[73],"inconsistent":[74],"sites.":[76],"not":[78],"only":[79],"exempts":[80],"developers":[81],"from":[82],"need":[84],"writing":[86],"site":[88],"(by":[91,110],"algorithm":[93],"computes":[95],"editing":[96],"distance":[97],"between":[98],"snapshots)":[101],"but":[102],"also":[103],"reduces":[104],"reliance":[106],"on":[107],"dedicated":[108],"workloads":[109],"test":[111],"amplification).":[112],"We":[113],"implemented":[114],"open-source":[118,127],"tool.":[119],"found":[123],"14":[124],"bugs":[125],"have":[130],"severe":[131],"consequences":[132],"at":[133],"11":[136],"them":[138],"were":[139],"previously":[140],"unknown":[141],"to":[142],"developers,":[144],"including":[145],"highly":[147],"mature":[148],"(e.g.,":[150,163],"GNU":[151,154],"zip":[152],"coreutils":[155],"sort)":[156],"popular":[158],"ones":[159],"being":[160],"actively":[161],"developed":[162],"Adobe":[164],"Brackets":[165],"TeXstudio).":[167]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}