conftrace_

network configuration

12 papers

Explore in graph

Co-occurring keywords · papers mentioning both

configuration synthesis (3) graph neural network (2) routing policy (2) control plane (2) network verification (2) model checking (2) formal verification (2) routing protocol (1) policy analysis (1) smt solving (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 Neighbor Auto-Grouping Graph Neural Networks for Handover Parameter Configuration in Cellular Network AAAI 2023 Practical Intent-driven Routing Configuration Synthesis NSDI 2023 Test Coverage for Network Configurations NSDI 2023 Learning to Configure Computer Networks with Neural Algorithmic Reasoning NeurIPS 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