4 papers
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…
Holmes: An Evidence-Grounded LLM Agent for Auditable DDoS Investigation in Cloud Networks
Haodong Chen, Ziheng Zhang, Jinghui Jiang +2
Cloud environments face frequent DDoS threats due to centralized resources and broad attack surfaces. Modern cloud-native DDoS attacks further evolve rapidly and often blend multi-…
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…