conftrace_

network configuration

12 papers

Explore in graph

Co-occurring keywords

configuration synthesis (3) graph neural network (3962) network verification (18) routing policy (5) control plane (10) model checking (105) formal verification (284) test coverage (1) information flow (49) configuration line (1)

Papers

CEGS: Configuration Example Generalizing Synthesizer NSDI 2025
Learnings from Deploying Network QoS Alignment to Application Priorities for Storage Services NSDI 2025
POSEIDON: A Consolidated Virtual Network Controller that Manages Millions of Tenants via Config Tree NSDI 2024
Practical Intent-driven Routing Configuration Synthesis NSDI 2023
Neighbor Auto-Grouping Graph Neural Networks for Handover Parameter Configuration in Cellular Network AAAI 2023
Test Coverage for Network Configurations NSDI 2023
Learning to Configure Computer Networks with Neural Algorithmic Reasoning NIPS 2022
Adapting Wireless Mesh Network Configuration from Simulation to Reality via Deep Learning based Domain Adaptation NSDI 2021
Plankton: Scalable network configuration verification through model checking NSDI 2020
Automatically Correcting Networks with NEAt NSDI 2018
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion NSDI 2018
Efficient Network Reachability Analysis Using a Succinct Control Plane Representation OSDI 2016