conftrace_

counterexample guided inductive synthesis

5 papers

Explore in graph

Co-occurring keywords · papers mentioning both

first-order predicate logic (1) link-state protocol (1) inductive synthesis (1) network heterogeneity (1) counter-example guided (1) constrained horn clause (1) control plane synthesis (1) schedule synthesis (1) configuration synthesis (1) automated program repair (1)

Papers

HeteCCL: Synthesizing Near-Optimal Collective Communication Schedules for Heterogeneous GPU Clusters NSDI 2026 Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization AAAI 2025 Avenir: Managing Data Plane Diversity with Control Plane Synthesis NSDI 2021 Probabilistic Inference for Predicate Constraint Satisfaction AAAI 2020 NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion NSDI 2018