{"id":"https://openalex.org/W7204225093","doi":"https://doi.org/10.48550/arxiv.2608.23842","title":"Automated Synthesis of Cloud Emulators","display_name":"Automated Synthesis of Cloud Emulators","publication_year":2026,"publication_date":"2026-08-24","ids":{"openalex":"https://openalex.org/W7204225093","doi":"https://doi.org/10.48550/arxiv.2608.23842"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.23842","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.23842","pdf_url":"https://arxiv.org/pdf/2608.23842","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.23842","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103194699","display_name":"Archit Bhatnagar","orcid":"https://orcid.org/0009-0001-2722-6996","observed_orcids":["https://orcid.org/0009-0001-2722-6996"]},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bhatnagar, Archit","raw_affiliation_strings":["University of California , Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California , Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5148279355","display_name":"Zhenning Yang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yang, Zhenning","raw_affiliation_strings":["University of California , Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California , Berkeley","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5120701731","display_name":"Sarah McClure","orcid":"https://orcid.org/0000-0001-8384-8813","observed_orcids":["https://orcid.org/0000-0001-8384-8813"]},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"McClure, Sarah","raw_affiliation_strings":["The University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Hong Kong","institution_ids":["https://openalex.org/I889458895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101886757","display_name":"Yiming Qiu","orcid":"https://orcid.org/0009-0003-9328-3205","observed_orcids":["https://orcid.org/0009-0003-9328-3205"]},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qiu, Yiming","raw_affiliation_strings":["University of Michigan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045155287","display_name":"Sylvia Ratnasamy","orcid":"https://orcid.org/0000-0002-0524-9425","observed_orcids":["https://orcid.org/0000-0002-0524-9425"]},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Ratnasamy, Sylvia","raw_affiliation_strings":["The University of Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Hong Kong","institution_ids":["https://openalex.org/I889458895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5148196866","display_name":"Ang Chen","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chen, Ang","raw_affiliation_strings":["University of California , Berkeley"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of California , Berkeley","institution_ids":["https://openalex.org/I95457486"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.5824999809265137,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.5824999809265137,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10260","display_name":"Software Engineering Research","score":0.25200000405311584,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.10809999704360962,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/large-language-models","display_name":"large language models","score":0.8130000233650208},{"id":"https://openalex.org/keywords/cloud-infrastructure-management","display_name":"cloud infrastructure management","score":0.7070000171661377},{"id":"https://openalex.org/keywords/hallucination-mitigation","display_name":"hallucination mitigation","score":0.7649999856948853}],"concepts":[{"id":"https://openalex.org/C9903902","wikidata":"https://www.wikidata.org/wiki/Q3025536","display_name":"DevOps","level":3,"score":0.8780999779701233},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.8084999918937683},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7544999718666077},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.7128000259399414},{"id":"https://openalex.org/C172191483","wikidata":"https://www.wikidata.org/wiki/Q1071806","display_name":"Provisioning","level":2,"score":0.5692999958992004},{"id":"https://openalex.org/C105446022","wikidata":"https://www.wikidata.org/wiki/Q445962","display_name":"Legacy system","level":3,"score":0.5508999824523926},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5447999835014343},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5235000252723694},{"id":"https://openalex.org/C55166926","wikidata":"https://www.wikidata.org/wiki/Q2892946","display_name":"Oracle","level":2,"score":0.4927000105381012},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.4706000089645386},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4546999931335449},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.4043999910354614},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.38940000534057617},{"id":"https://openalex.org/C85687889","wikidata":"https://www.wikidata.org/wiki/Q445962","display_name":"Legacy code","level":3,"score":0.34630000591278076},{"id":"https://openalex.org/C99613125","wikidata":"https://www.wikidata.org/wiki/Q165194","display_name":"Application programming interface","level":2,"score":0.3199000060558319},{"id":"https://openalex.org/C120115606","wikidata":"https://www.wikidata.org/wiki/Q5135723","display_name":"Cloud testing","level":4,"score":0.2994999885559082},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2987000048160553},{"id":"https://openalex.org/C184842701","wikidata":"https://www.wikidata.org/wiki/Q370563","display_name":"Cloud computing security","level":3,"score":0.29600000381469727},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.29589998722076416},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.29170000553131104},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.29109999537467957},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.287200003862381},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2863999903202057},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.2648000121116638},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.2581999897956848}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.23842","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.23842","pdf_url":"https://arxiv.org/pdf/2608.23842","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.23842","doi":"https://doi.org/10.48550/arxiv.2608.23842","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.23842","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.23842","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.23842","pdf_url":"https://arxiv.org/pdf/2608.23842","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204225093.pdf","grobid_xml":"https://content.openalex.org/works/W7204225093.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W4366730184","https://openalex.org/W4411552046"],"related_works":["https://openalex.org/W4416297989","https://openalex.org/W4411551915","https://openalex.org/W7125485479","https://openalex.org/W7159768184","https://openalex.org/W2160282076","https://openalex.org/W1963606769","https://openalex.org/W4417508938","https://openalex.org/W2468622191","https://openalex.org/W6946343472","https://openalex.org/W4367360181"],"abstract_inverted_index":{"DevOps":[0,19,44,55],"programming":[1,17],"(e.g.,":[2],"using":[3,150],"CLI/API":[4],"scripts":[5],"or":[6],"IaC":[7],"frameworks)":[8],"is":[9,31,95,107,125],"key":[10,123],"to":[11,88,126],"cloud":[12,28,72,116,153,172],"infrastructure":[13],"management.":[14],"Unlike":[15],"traditional":[16],"tasks,":[18],"program":[20,45],"testing":[21],"needs":[22],"provisioning":[23],"and":[24,35,74,81,103,134,144,161,175,181],"execution":[25],"against":[26],"actual":[27],"resources,":[29],"which":[30,94,190],"often":[32],"time-consuming,":[33],"unsafe,":[34],"costly.":[36],"Cloud":[37],"emulators":[38,64,113],"have":[39],"gained":[40],"popularity":[41],"for":[42,77,157],"easing":[43],"testing;":[46],"they":[47],"are":[48],"generally":[49],"API-level":[50],"mocks":[51],"that":[52,111,141],"can":[53],"execute":[54],"programs":[56],"in":[57,131,178],"a":[58,97,195,201],"local":[59],"environment.":[60],"Still,":[61],"building":[62],"these":[63],"remains":[65],"challenging:":[66],"developers":[67],"must":[68],"manually":[69,192],"interpret":[70],"extensive":[71],"documentation":[73,117,132],"handcraft":[75],"logic":[76],"each":[78],"service,":[79],"API,":[80],"their":[82],"interaction.":[83],"This":[84],"does":[85],"not":[86],"scale":[87],"the":[89,92,101,151,166,185],"complexity":[90],"of":[91,168,198],"cloud,":[93],"further":[96],"moving":[98],"target":[99],"as":[100,154],"services":[102,177],"APIs":[104],"evolve.":[105],"CloudEmu":[106,169,183],"an":[108,155],"automated":[109,158],"approach":[110],"constructs":[112],"based":[114],"on":[115,170],"via":[118],"neurosymbolic":[119],"code":[120,135],"synthesis.":[121],"The":[122],"idea":[124],"combine":[127],"LLMs'":[128],"general":[129],"strengths":[130],"understanding":[133],"generation":[136],"with":[137],"cloud-specific":[138],"symbolic":[139],"abstractions":[140],"suppress":[142],"hallucinations":[143],"enforce":[145],"precision":[146],"at":[147],"scale,":[148],"while":[149],"real":[152],"oracle":[156],"testing,":[159],"repair,":[160],"alignment.":[162],"Our":[163],"evaluation":[164],"shows":[165],"effectiveness":[167],"major":[171],"provider":[173],"(AWS":[174],"GCP)":[176],"both":[179],"coverage":[180],"accuracy.":[182],"outperforms":[184],"existing":[186],"leading":[187],"tool":[188],"LocalStack,":[189],"was":[191],"developed":[193],"by":[194],"large":[196],"team":[197],"engineers":[199],"over":[200],"decade.":[202]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-08-27T00:00:00"}