Automated Synthesis of Cloud Emulators

arXiv:2608.23842 · cs.SE, cs.AI, cs.DC · Submitted 2026-08-24 · Read on arXiv

cs.SE, cs.AI, cs.DC

Submitted: 2026-08-24

Updated: 2026-08-24

Code: https://github.com/floci-io/floci

Terminology

• Alignment — 46× in this paper · explained in 1 episode
• Fidelity — 22× in this paper · explained in 2 episodes
• Trace — 20× in this paper · explained in 2 episodes
• Accuracy — 15× in this paper · explained in 1 episode
• Abstraction — 10× in this paper · explained in 1 episode
• AI Agents — 5× in this paper · explained in 2 episodes
• Consistency — 5× in this paper · explained in 3 episodes
• Scaffolding — 5× in this paper · explained in 3 episodes
• Ablation — 4× in this paper · explained in 1 episode
• International Conference on Software Engineering — 3× in this paper
• RAG — 3× in this paper · explained in 3 episodes
• Ablation study — 2× in this paper · explained in 1 episode
• Generalizability — 2× in this paper · explained in 6 episodes
• Grounding — 2× in this paper · explained in 3 episodes
• Hallucination — 2× in this paper · explained in 4 episodes
• Verification — 2× in this paper · explained in 2 episodes
• Active Automata Learning — 1× in this paper · explained in 1 episode
• Adaptation — 1× in this paper · explained in 1 episode
• Benchmark — 1× in this paper · explained in 2 episodes
• Core — 1× in this paper · explained in 2 episodes
• Embeddings — 1× in this paper · explained in 2 episodes
• Reinforcement Learning — 1× in this paper · explained in 4 episodes
• Retrieval Augmented Generation (RAG) — 1× in this paper · explained in 4 episodes
• Semantic Gap — 1× in this paper · explained in 2 episodes
• Verifier — 1× in this paper · explained in 2 episodes

Sources

• SpecGen: Automated Generation of Formal Program Specifications via Large Language Models
• Large Language Models Based Automatic Synthesis of Software Specifications

Related papers

• Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
• GitSkills: A Dataset of Agent Skills on GitHub
• SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
• PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
• IntentCoding: Amplifying User Intent in Code Generation
• Incentives and Outcomes in Bug Bounties