activity
20182025
most citedRethinking Machine Learning Collective Communication as a Multi-Commodity Flow Problem

2 citations · 4 across the 2 of their papers we have counts for

collaborators
Showing cs.DCShow all

2 papers · 1 filter

cs.DC2025★ 2 cited

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…

cs.DC2020

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…