{"id":"https://openalex.org/W2762554653","doi":"https://doi.org/10.1145/3133921","title":"An auditing language for preventing correlated failures in the cloud","display_name":"An auditing language for preventing correlated failures in the cloud","publication_year":2017,"publication_date":"2017-10-12","ids":{"openalex":"https://openalex.org/W2762554653","doi":"https://doi.org/10.1145/3133921","mag":"2762554653"},"language":"en","primary_location":{"id":"doi:10.1145/3133921","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3133921","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3133921","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3133921","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5108657726","display_name":"Ennan Zhai","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ennan Zhai","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045794652","display_name":"Ru\u017eica Piska\u010d","orcid":"https://orcid.org/0000-0002-3267-0776"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruzica Piskac","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045912928","display_name":"Ronghui Gu","orcid":null},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ronghui Gu","raw_affiliation_strings":["Columbia University, USA"],"affiliations":[{"raw_affiliation_string":"Columbia University, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063779838","display_name":"Xun Lao","orcid":null},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xun Lao","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103159467","display_name":"Wang Xi","orcid":"https://orcid.org/0000-0002-1220-6677"},"institutions":[{"id":"https://openalex.org/I32971472","display_name":"Yale University","ror":"https://ror.org/03v76x132","country_code":"US","type":"education","lineage":["https://openalex.org/I32971472"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xi Wang","raw_affiliation_strings":["Yale University, USA"],"affiliations":[{"raw_affiliation_string":"Yale University, USA","institution_ids":["https://openalex.org/I32971472"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5108657726"],"corresponding_institution_ids":["https://openalex.org/I32971472"],"apc_list":null,"apc_paid":null,"fwci":0.6578,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.7430295,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"1","issue":"OOPSLA","first_page":"1","last_page":"28"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10714","display_name":"Software-Defined Networks and 5G","score":0.9905999898910522,"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.8078615665435791},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.8008159399032593},{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.7639026641845703},{"id":"https://openalex.org/keywords/replication","display_name":"Replication (statistics)","score":0.6218594312667847},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5356079936027527},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.48650234937667847},{"id":"https://openalex.org/keywords/server","display_name":"Server","score":0.4837927520275116},{"id":"https://openalex.org/keywords/replica","display_name":"Replica","score":0.4449962377548218},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.44017526507377625},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4030468165874481},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.13489484786987305},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10969054698944092},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.08762374520301819},{"id":"https://openalex.org/keywords/accounting","display_name":"Accounting","score":0.08325862884521484}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8078615665435791},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.8008159399032593},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.7639026641845703},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.6218594312667847},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5356079936027527},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.48650234937667847},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.4837927520275116},{"id":"https://openalex.org/C2775937380","wikidata":"https://www.wikidata.org/wiki/Q1232589","display_name":"Replica","level":2,"score":0.4449962377548218},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.44017526507377625},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4030468165874481},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.13489484786987305},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10969054698944092},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.08762374520301819},{"id":"https://openalex.org/C121955636","wikidata":"https://www.wikidata.org/wiki/Q4116214","display_name":"Accounting","level":1,"score":0.08325862884521484},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3133921","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3133921","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3133921","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3133921","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3133921","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3133921","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"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":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4598687675","display_name":"SHF: Small:  ConfigV: Automated Verification of Configuration Files","funder_award_id":"1715387","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5402090779","display_name":null,"funder_award_id":"F-130","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6665812885","display_name":null,"funder_award_id":"1302327","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6829698968","display_name":null,"funder_award_id":"CCF-1302327 and CCF-1715387","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7819406037","display_name":null,"funder_award_id":"CCF-1302327","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"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2762554653.pdf","grobid_xml":"https://content.openalex.org/works/W2762554653.grobid-xml"},"referenced_works_count":58,"referenced_works":["https://openalex.org/W1415938757","https://openalex.org/W1497249836","https://openalex.org/W1507006488","https://openalex.org/W1510496002","https://openalex.org/W1512519626","https://openalex.org/W1524673069","https://openalex.org/W1566711011","https://openalex.org/W1578612406","https://openalex.org/W1581005283","https://openalex.org/W1588651819","https://openalex.org/W1606172465","https://openalex.org/W1767150602","https://openalex.org/W1779647772","https://openalex.org/W1858287302","https://openalex.org/W1904710828","https://openalex.org/W1997322704","https://openalex.org/W1998475822","https://openalex.org/W2006307164","https://openalex.org/W2010805714","https://openalex.org/W2012476164","https://openalex.org/W2014950794","https://openalex.org/W2031489231","https://openalex.org/W2035363137","https://openalex.org/W2058503096","https://openalex.org/W2058801855","https://openalex.org/W2063871132","https://openalex.org/W2074814670","https://openalex.org/W2082362319","https://openalex.org/W2099204735","https://openalex.org/W2101505570","https://openalex.org/W2102710358","https://openalex.org/W2110699951","https://openalex.org/W2117020308","https://openalex.org/W2118943303","https://openalex.org/W2121423622","https://openalex.org/W2123016589","https://openalex.org/W2124165698","https://openalex.org/W2126969025","https://openalex.org/W2127577941","https://openalex.org/W2128969973","https://openalex.org/W2144159136","https://openalex.org/W2154822035","https://openalex.org/W2169757402","https://openalex.org/W2170646878","https://openalex.org/W2188073520","https://openalex.org/W2278179621","https://openalex.org/W2407856297","https://openalex.org/W2491693446","https://openalex.org/W2522585932","https://openalex.org/W2523146812","https://openalex.org/W2584881186","https://openalex.org/W2596218679","https://openalex.org/W2598803009","https://openalex.org/W2604459184","https://openalex.org/W2990320905","https://openalex.org/W3011852893","https://openalex.org/W4238860748","https://openalex.org/W4249464467"],"related_works":["https://openalex.org/W3013979739","https://openalex.org/W2655578171","https://openalex.org/W2577913821","https://openalex.org/W2953070151","https://openalex.org/W4296976839","https://openalex.org/W2086477304","https://openalex.org/W4285552821","https://openalex.org/W2170039103","https://openalex.org/W1520094959","https://openalex.org/W2083990828"],"abstract_inverted_index":{"Today's":[0],"cloud":[1,51,101,126],"services":[2],"extensively":[3],"rely":[4],"on":[5,173],"replication":[6,44,107,158,230],"techniques":[7],"to":[8,59,67,90,103,128,227],"ensure":[9],"availability":[10],"and":[11,53,149,160,222],"reliability.":[12],"In":[13,77,111],"complex":[14,169],"datacenter":[15],"network":[16],"architectures,":[17],"however,":[18],"seemingly":[19],"independent":[20],"replica":[21],"servers":[22],"may":[23,35],"inadvertently":[24],"share":[25],"deep":[26],"dependencies":[27,34],"(e.g.,":[28],"aggregation":[29],"switches).":[30],"Such":[31],"unexpected":[32],"common":[33],"potentially":[36],"result":[37,179],"in":[38,73,192],"correlated":[39,92,224],"failures":[40],"across":[41],"the":[42,47,74,106,144,152,156,194,199,206,213,228],"entire":[43],"deployments,":[45],"invalidating":[46],"efforts.":[48],"Although":[49],"existing":[50],"management":[52],"diagnosis":[54],"tools":[55],"have":[56],"been":[57],"able":[58],"offer":[60],"post-failure":[61],"forensics,":[62],"they,":[63],"nevertheless,":[64],"typically":[65],"lead":[66],"quite":[68],"prolonged":[69],"failure":[70,93,225],"recovery":[71],"time":[72],"cloud-scale":[75,229],"systems.":[76,231],"this":[78],"paper,":[79],"we":[80],"propose":[81],"a":[82,120,137],"novel":[83],"language":[84],"framework,":[85],"named":[86],"RepAudit,":[87],"that":[88,142,165,181],"manages":[89],"prevent":[91],"risks":[94],"before":[95],"service":[96],"outages":[97],"occur,":[98],"by":[99,147],"allowing":[100],"administrators":[102,127],"proactively":[104],"audit":[105],"deployments":[108],"of":[109,115,155,187,197,208,217],"interest.":[110],"particular,":[112],"RepAudit":[113,182,211],"consists":[114],"three":[116],"new":[117],"components:":[118],"1)":[119],"declarative":[121],"domain-specific":[122],"language,":[123],"RAL,":[124],"for":[125],"write":[129],"auditing":[130,134,140,145,195,226],"programs":[131,171],"expressing":[132,193],"diverse":[133],"tasks;":[135],"2)":[136],"high-performance":[138],"RAL":[139,170],"engine":[141],"generates":[143],"results":[146],"accurately":[148],"efficiently":[150],"analyzing":[151],"underlying":[153],"structures":[154],"target":[157],"deployments;":[159],"3)":[161],"an":[162],"RAL-code":[163],"generator":[164],"can":[166],"automatically":[167],"produce":[168],"based":[172],"easily":[174],"written":[175],"specifications.":[176],"Our":[177],"evaluation":[178],"shows":[180],"uses":[183],"80x":[184],"less":[185],"lines":[186],"code":[188],"than":[189],"state-of-the-art":[190],"efforts":[191],"task":[196],"determining":[198],"top-20":[200],"critical":[201],"correlated-failure":[202],"root":[203],"causes.":[204],"To":[205],"best":[207],"our":[209],"knowledge,":[210],"is":[212],"first":[214],"effort":[215],"capable":[216],"simultaneously":[218],"offering":[219],"expressive,":[220],"accurate":[221],"efficient":[223]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}