2 citations · 7 across the 6 of their papers we have counts for
7 papers
CausalMesh: A Formally Verified Causally Consistent Distributed Cache with Support for Client Migration
Haoran Zhang, Zihao Zhang, Shuai Mu +2
Cloud applications often insert a caching lay\-er in front of a database in order to reduce I/O latency and improve throughput. One complication occurs when a client fetches some d…
Rethinking Machine Learning Collective Communication as a Multi-Commodity Flow Problem
Behnaz Arzani, Siva Kesava Reddy Kakarla, Miguel Castro +3
We show communication schedulers' recent work proposed for ML collectives does not scale to the increasing problem sizes that arise from training larger models. These works also of…
FP4: Line-rate Greybox Fuzz Testing for P4 Switches
Nofel Yaseen, Liangcheng Yu, Caleb Stanford +2
Compared to fixed-function switches, the flexibility of programmable switches comes at a cost, as programmer mistakes frequently result in subtle bugs in the network data plane. In…
Templating Shuffles
Qizhen Zhang, Jiacheng Wu, Ang Chen +2
Cloud data centers are evolving fast. At the same time, today's large-scale data analytics applications require non-trivial performance tuning that is often specific to the applica…
Towards a Cost vs. Quality Sweet Spot for Monitoring Networks
Nofel Yaseen, Behnaz Arzani, Krishna Chintalapudi +6
Continuously monitoring a wide variety of performance and fault metrics has become a crucial part of operating large-scale datacenter networks. In this work, we ask whether we can…
Fault-tolerant and Transactional Stateful Serverless Workflows (extended version)
Haoran Zhang, Adney Cardoza, Peter Baile Chen +2
This paper introduces Beldi, a library and runtime system for writing and composing fault-tolerant and transactional stateful serverless functions. Beldi runs on existing providers…
Volur: Concurrent Edge/Core Route Control in Data Center Networks
Qiao Zhang, Danyang Zhuo, Vincent Liu +4
A perennial question in computer networks is where to place functionality among components of a distributed computer system. In data centers, one option is to move all intelligence…