Occam: A Programming System for Reliable Network Management
Jiarong Xing, Kuo-Feng Hsu, Yiting Xia, Yan Cai, Yanping Li, Ying Zhang, Ang Chen
Abstract
The complexity of large networks makes their management a daunting task. State-of-the-art network management tools use workflow systems for automation, but they do not adequately address the substantial challenges in operation reliability. This paper presents Occam, a programming system that simplifies the development of reliable network management tasks. We leverage the fact that most modern network management systems are backed with a source-of-truth database, and thus customize database techniques to the context of network management. Occam exposes an easy-to-use programming model for network operators to express the key management logic, while shielding them from reliability concerns, such as operational conflicts and task atomicity. Instead, the Occam runtime provides these reliability guardrails automatically. Our evaluation demonstrates Occam's effectiveness in simplifying management tasks, minimizing network vulnerable time and assisting with failure recovery.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 5d402b46-63ef-4368-a883-2d673e24d261Cited by top-tier papers2
- Intent-Driven Network Management with Multi-Agent LLMs: The Confucius FrameworkZhaodong Wang, Samuel Lin, Guanqing Yan, Soudeh Ghorbani et al.SIGCOMM 2025 · 22 citations
- Who Watches the Watchers? On the Reliability of Softwarizing Cloud Application ManagementJiawei Tyler Gu, Zhen Tang, Yiming Su, Bogdan Alexandru Stoica et al.NSDI 2026 · 3 citations
Builds on4
- Contra: A Programmable System for Performance-aware RoutingKuo-Feng Hsu, Ryan Beckett, Ang Chen, Jennifer Rexford et al.NSDI 2020 · 104 citations
- Experiences with Modeling Network Topologies at Multiple Levels of AbstractionJeffrey C. Mogul, Drago Goricanec, Martin Pool, Anees Shaikh et al.NSDI 2020 · 43 citations
- A composition framework for change managementAjay Mahimkar, Carlos Eduardo de Andrade, Rakesh K. Sinha, Giritharan RanaSIGCOMM 2021 · 20 citations
- dSpace: Composable Abstractions for Smart SpacesSilvery Fu, Sylvia RatnasamySOSP 2021 · 11 citations
Related papers
- Flow Algebra: Towards an Efficient, Unifying Framework for Network Management TasksChristopher Leet, Robert Soulé, Yang Richard Yang, Ying ZhangINFOCOM 2021 · 3 citations
- ClickINC: In-network Computing as a Service in Heterogeneous Programmable Data-center NetworksWenquan Xu, Zijian Zhang, Yong Feng, Haoyu Song et al.SIGCOMM 2023 · 34 citations
- NV: an intermediate language for verification of network control planesNick Giannarakis, Devon Loehr, Ryan Beckett, David WalkerPLDI 2020 · 31 citations
- Programming Network Stack for Middleboxes with RubikHao Li, Changhao Wu, Guangda Sun, Peng Zhang et al.NSDI 2021 · 14 citations
- Open RAN Conflict Agents: Detecting and Mitigating xApp Conflicts with Generative AgentsDae Cheol Kwon, Xinyu ZhangINFOCOM 2026 · 1 citation
