conftrace_

routing configuration

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

network policies (1) intent-driven networking (1) symbolic simulation (1) config synthesis (1) policy compilation (1) configuration diagnosis (1) configuration repair (1) contract violation (1) intent-based networking (1) network configuration (1)

Papers

Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation NSDI 2026 Practical Intent-driven Routing Configuration Synthesis NSDI 2023