Showing 2025Show all
3 papers · 1 filter
cs.NI2025
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…
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…