4 papers
Innovation Discovery System for Networking Research
Mengrui Zhang, Bang Huang, Yunxin Xu +7
As networking systems become increasingly complex, achieving disruptive innovation grows more challenging. At the same time, recent progress in Large Language Models (LLMs) has sho…
Argo: An efficient verification framework for distributed in-network computing
Mingyuan Song, Huan Shen, Jinghui Jiang +7
Distributed in-network programs are increasingly deployed in data centers for their performance benefits, but shifting application logic to switches also enlarges the failure domai…
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…
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…