Showing cs.NIShow all
3 papers · 1 filter
cs.NI2025
Janus: Leveraging Incremental Computation for Efficient DNS Verification
Yao Wang, Kexin Yu, Wenyun Xu +11
Existing DNS configuration verification tools face significant issues (e.g., inefficient and lacking support for incremental verification). Inspired by the advancements in recent w…
cs.NI2025
RepLLM: Toward Automatically Reproducing Network Research Results
Yining Jiang, Yunxin Xu, Wenyun Xu +14
Result reproduction of computer networking research is challenging as the scarcity of open-source implementations and the complexity of heterogeneous system architectures. Even tho…
cs.NI2024
Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation
Rulan Yang, Gao Han, Hanyang Shao +9
Although substantial progress has been made in automatically verifying whether distributed routing configurations conform to certain requirements, diagnosing and repairing configur…