2 citations · 2 across the 1 of their papers we have counts for
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…