Internet-scale distributed systems often replicate data at multiple geographic locations to
provide low latency and high availability, despite node and network failures. Geo-replicated …

Distributed system replication is widely used as a means of fault-tolerance and scalability.
However, it provides a spectrum of consistency choices that impose a dilemma for clients …

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 …

Multinational enterprises conduct global business that has a demand for geo-distributed
transactional databases. Existing state-of-the-art databases adopt a sharded master-follower …

We propose MindPalace, a prototype of a versioned database for efficient collaborative data
management. MindPalace supports offline collaboration, where users work independently …

In the context of the development of technologies, every sports club tends to improve its
training methods to obtain the best possible results in sports training. The goal of the …

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 of …

Despite many advances in programming models and frameworks, writing distributed
programs remains hard. Even when the underlying logic is inherently sequential and simple …

Ensuring that our increasingly complicated distributed systems are simultaneously reliable
and efficient is challenging. Rigorous formal analyses can help make the design and …

Geo-replicated storage systems are currently a fundamental piece in the development of
large-scale applications where users are distributed across the world. To meet the high …