{"id":"https://openalex.org/W4416297969","doi":"https://doi.org/10.1145/3772356.3772385","title":"Once Bitten, Still Shy: Can We Prevent Cloud Systems from Repeating Their Mistakes?","display_name":"Once Bitten, Still Shy: Can We Prevent Cloud Systems from Repeating Their Mistakes?","publication_year":2025,"publication_date":"2025-11-17","ids":{"openalex":"https://openalex.org/W4416297969","doi":"https://doi.org/10.1145/3772356.3772385"},"language":null,"primary_location":{"id":"doi:10.1145/3772356.3772385","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3772356.3772385","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3772356.3772385","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM Workshop on Hot Topics in Networks","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/3772356.3772385","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5116227103","display_name":"Dimas Shidqi Parikesit","orcid":"https://orcid.org/0009-0002-8419-0114"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Dimas Parikesit","raw_affiliation_strings":["University of Virginia, Charlottesville, USA"],"raw_orcid":"https://orcid.org/0009-0002-8419-0114","affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077905322","display_name":"Chang Lou","orcid":"https://orcid.org/0009-0001-3056-5729"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chang Lou","raw_affiliation_strings":["University of Virginia, Charlottesville, USA"],"raw_orcid":"https://orcid.org/0009-0001-3056-5729","affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5116227103"],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.38440599,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"335","last_page":"343"},"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.9294999837875366,"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.9294999837875366,"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.02590000070631504,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.014700000174343586,"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/correctness","display_name":"Correctness","score":0.8779000043869019},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.8098000288009644},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5146999955177307},{"id":"https://openalex.org/keywords/position","display_name":"Position (finance)","score":0.4269999861717224},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.337799996137619},{"id":"https://openalex.org/keywords/lead","display_name":"Lead (geology)","score":0.3127000033855438}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8779000043869019},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.8098000288009644},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7134000062942505},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5146999955177307},{"id":"https://openalex.org/C198082294","wikidata":"https://www.wikidata.org/wiki/Q3399648","display_name":"Position (finance)","level":2,"score":0.4269999861717224},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4016000032424927},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.337799996137619},{"id":"https://openalex.org/C2777093003","wikidata":"https://www.wikidata.org/wiki/Q6508345","display_name":"Lead (geology)","level":2,"score":0.3127000033855438},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.30140000581741333},{"id":"https://openalex.org/C2779137570","wikidata":"https://www.wikidata.org/wiki/Q16243196","display_name":"EXPOSE","level":2,"score":0.2985999882221222},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.2858999967575073},{"id":"https://openalex.org/C105446022","wikidata":"https://www.wikidata.org/wiki/Q445962","display_name":"Legacy system","level":3,"score":0.27709999680519104},{"id":"https://openalex.org/C78780964","wikidata":"https://www.wikidata.org/wiki/Q7233193","display_name":"Position paper","level":2,"score":0.259799987077713},{"id":"https://openalex.org/C83546350","wikidata":"https://www.wikidata.org/wiki/Q1139051","display_name":"Regression","level":2,"score":0.25619998574256897}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3772356.3772385","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3772356.3772385","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3772356.3772385","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3772356.3772385","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3772356.3772385","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3772356.3772385","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 24th ACM Workshop on Hot Topics in Networks","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4258825760","display_name":null,"funder_award_id":"CNS-2441284","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4914609760","display_name":"CAREER: Low-Effort Runtime Assurance for Robust Cloud Systems","funder_award_id":"2441284","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4416297969.pdf","grobid_xml":"https://content.openalex.org/works/W4416297969.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W2469513535","https://openalex.org/W3109961245","https://openalex.org/W4244413641"],"related_works":[],"abstract_inverted_index":{"Cloud":[0],"systems":[1],"constantly":[2],"experience":[3,68],"changes.":[4],"Unfortunately,":[5],"these":[6],"changes":[7],"often":[8],"introduce":[9],"regression":[10,39],"failures,":[11],"breaking":[12],"the":[13],"same":[14],"features":[15],"or":[16],"functionalities":[17],"repeatedly.":[18],"Such":[19],"failures":[20,40],"disrupt":[21],"cloud":[22],"availability":[23],"and":[24,80],"waste":[25],"developers'":[26],"efforts":[27],"in":[28],"re-investigating":[29],"similar":[30],"incidents.":[31],"In":[32],"this":[33],"position":[34],"paper,":[35],"we":[36],"argue":[37],"that":[38,70],"can":[41],"be":[42],"effectively":[43],"prevented":[44],"by":[45],"enforcing":[46],"low-level":[47],"semantics,":[48],"a":[49],"new":[50,82],"class":[51],"of":[52,62],"intermediate":[53],"rules":[54,72],"empirically":[55],"inferred":[56],"from":[57],"past":[58],"incidents,":[59],"yet":[60],"capable":[61],"offering":[63],"partial":[64],"correctness":[65,78],"guarantees.":[66],"Our":[67],"shows":[69],"such":[71],"are":[73],"valuable":[74],"to":[75],"strengthen":[76],"system":[77],"guarantees":[79],"expose":[81],"bugs.":[83]},"counts_by_year":[],"updated_date":"2026-03-09T07:00:12.390032","created_date":"2025-11-17T00:00:00"}