5 papers · 1 filter
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…
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…
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…