6 citations · 12 across the 7 of their papers we have counts for
5 papers · 1 filter
Relational Network Verification
Xieyang Xu, Yifei Yuan, Zachary Kincaid +4
Relational network verification is a new approach to validating network changes. In contrast to traditional network verification, which analyzes specifications for a single network…
Laconic: Streamlined Load Balancers for SmartNICs
Tianyi Cui, Chenxingyu Zhao, Wei Zhang +2
Load balancers are pervasively used inside today's clouds to scalably distribute network requests across data center servers. Given the extensive use of load balancers and their as…
Bringing Reconfigurability to the Network Stack
Akshay Narayan, Aurojit Panda, Mohammad Alizadeh +3
Reconfiguring the network stack allows applications to specialize the implementations of communication libraries depending on where they run, the requests they serve, and the perfo…
Bandwidth Optimal Pipeline Schedule for Collective Communication
Liangyu Zhao, Arvind Krishnamurthy
We present a strongly polynomial-time algorithm to generate bandwidth optimal allgather/reduce-scatter on any network topology, with or without switches. Our algorithm constructs p…
TSoR: TCP Socket over RDMA Container Network for Cloud Native Computing
Yulin Sun, Qingming Qu, Chenxingyu Zhao +3
Cloud-native containerized applications constantly seek high-performance and easy-to-operate container network solutions. RDMA network is a potential enabler with higher throughput…