23 citations · 26 across the 13 of their papers we have counts for
3 papers · 1 filter
Complete CALM: A Coordination Criterion for Specifications
Joseph M. Hellerstein
The CALM theorem connects coordination-freedom to monotonicity, but is tied to relational transducers and set-inclusion growth. We generalize it to arbitrary concurrent specificati…
Optimizing Distributed Protocols with Query Rewrites [Technical Report]
David Chu, Rithvik Panchapakesan, Shadaj Laddad +6
Distributed protocols such as 2PC and Paxos lie at the core of many systems in the cloud, but standard implementations do not scale. New scalable distributed protocols are develope…
Invited Paper: Initial Steps Toward a Compiler for Distributed Programs
Joseph M. Hellerstein, Shadaj Laddad, Mae Milano +2
In the Hydro project we are designing a compiler toolkit that can optimize for the concerns of distributed systems, including scale-up and scale-down, availability, and consistency…