Zeus: Locality-aware Distributed Transactions

3 April 2021

Papers citing "Zeus: Locality-aware Distributed Transactions"

3 / 3 papers shown

Title
Pushing the Limit: Verified Performance-Optimal Causally-Consistent Database Transactions Shabnam Ghasemirad Christoph Sprenger Si Liu Luca Multazzu David Basin 26 1 0 11 Nov 2024
ReStorEdge: An edge computing system with reuse semantics Adrian-Cristian Nicolaescu Spyridon Mastorakis Md Washik Al Azad David Griffin Miguel Rio 24 0 0 27 May 2024
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing William Schultz Edward Ashton Heidi Howard S. Tripakis 37 3 0 28 Apr 2024