New Evolution of Hoyan: Alibaba's Global WAN Verification#
SIGCOMM 2025 digest Program Adjacent pick Coimbra · 8–11 September 2025
Yifei Yuan et al. (Alibaba Cloud)
Why: A multi-year production verification story with hard before/after numbers (misconfig incidents 56% → 5%) is the kind of operational evidence worth seeing.
What: A distributed evolution of Hoyan scaling to O(10^4) routers, millions of prefixes, billions of flows, plus a route-change-intent specification language (RCL).
How: Centralized-to-distributed simulation (5x faster), RCL for expressing/verifying route-change intents, and an enhanced accuracy-diagnosis framework.
Where applicable: Alibaba-specific WAN, but the RCL idea and the distributed-simulation approach transfer.