4 papers
From RDMA to RDCA: Toward High-Speed Last Mile of Data Center Networks Using Remote Direct Cache Access
Qiang Li, Qiao Xiang, Derui Liu +21
In this paper, we conduct systematic measurement studies to show that the high memory bandwidth consumption of modern distributed applications can lead to a significant drop of net…
Switch as a Verifier: Toward Scalable Data Plane Checking via Distributed, On-Device Verification
Qiao Xiang, Ridi Wen, Chenyang Huang +2
Data plane verification (DPV) is important for finding network errors. Current DPV tools employ a centralized architecture, where a server collects the data planes of all devices a…
IVeri: Privacy-Preserving Interdomain Verification
Ning Luo, Qiao Xiang, Timos Antonopoulos +3
In an interdomain network, autonomous systems (ASes) often establish peering agreements, so that one AS (agreement consumer) can influence the routing policies of the other AS (agr…
Carbide: Highly Reliable Networks Through Real-Time Multiple Control Plane Composition
Shenshen Chen, Geng Li, Dennis Duan +7
Achieving highly reliable networks is essential for network operators to ensure proper packet delivery in the event of software errors or hardware failures. Networks must ensure re…