AI for Distributed Systems Design: Scalable Cloud Optimization Through Repeated LLMs Sampling And Simulators
Not on the map. Why?
Abstract (arXiv)
We explore AI-driven distributed-systems policy design by combining stochastic code generation from large language models (LLMs) with deterministic verification in a domain-specific simulator. Using a Function-as-a-Service runtime (Bauplan) and its open-source simulator (Eudoxia) as a case study, we frame scheduler design as an iterative generate-and-verify loop: an LLM proposes a Python policy, the simulator evaluates it on standardized traces, and structured feedback steers subsequent generations. This setup preserves interpretability while enabling targeted search over a large design space. We detail the system architecture and report preliminary results on throughput improvements across multiple models. Beyond early gains, we discuss the limits of the current setup and outline next steps; in particular, we conjecture that AI will be crucial for scaling this methodology by helping to bootstrap new simulators.
Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 8 of its 18 references that are in the map. First posted on arXiv 20 Oct 2025.
Builds on
8 of 18 references.
References · 8
- 2024Large Language Monkeys: Scaling Inference Compute with Repeated Samplingcited by 991
- 2022Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofscited by 291
- 2025Barbarians at the Gate: How AI is Upending Systems Researchcited by 54
- 2025Performance Prediction for Large Systems via Text-to-Text Regressioncited by 14
- 2023Building a serverless Data Lakehouse from spare partscited by 6
- 2025Safe, Untrusted, "Proof-Carrying" AI Agents: toward the agentic lakehousecited by 6
- 2024LAVA: Lifetime-Aware VM Allocation with Learned Distributions and Adaptation to Mispredictionscited by 4
- 2025Eudoxia: a FaaS scheduling simulator for the composable lakehousecited by 4
Built on by
Citing papers per year: 2026: 1.
1 paper.
- 2026Test-Time Optimization of Physical Query Plans with LLMscited by 0
- 2026Test-Time Optimization of Physical Query Plans with LLMs11 Feb 2026