Search papers, labs, and topics across Lattice.
This paper introduces CloudEmu, an automated system for synthesizing cloud emulators that leverages neurosymbolic code synthesis to interpret cloud documentation and generate accurate API-level mocks. By integrating the strengths of large language models with symbolic abstractions, CloudEmu significantly reduces the manual effort required to build emulators for complex cloud services, while also utilizing real cloud environments for testing and alignment. The results demonstrate that CloudEmu achieves superior coverage and accuracy compared to the established tool LocalStack, which has been developed manually over many years.
CloudEmu automates the creation of cloud emulators, outperforming a decade's worth of manual engineering with a single, efficient approach.
DevOps programming (e.g., using CLI/API scripts or IaC frameworks) is key to cloud infrastructure management. Unlike traditional programming tasks, DevOps program testing needs provisioning and execution against actual cloud resources, which is often time-consuming, unsafe, and costly. Cloud emulators have gained popularity for easing DevOps program testing; they are generally API-level mocks that can execute DevOps programs in a local environment. Still, building these emulators remains challenging: developers must manually interpret extensive cloud documentation and handcraft logic for each service, API, and their interaction. This does not scale to the complexity of the cloud, which is further a moving target as the services and APIs evolve. CloudEmu is an automated approach that constructs emulators based on cloud documentation via neurosymbolic code synthesis. The key idea is to combine LLMs'general strengths in documentation understanding and code generation with cloud-specific symbolic abstractions that suppress hallucinations and enforce precision at scale, while using the real cloud as an oracle for automated testing, repair, and alignment. Our evaluation shows the effectiveness of CloudEmu on major cloud provider (AWS and GCP) services in both coverage and accuracy. CloudEmu outperforms the existing leading tool LocalStack, which was manually developed by a large team of engineers over a decade.
