Since the advent of distributed ledger technologies, they have provided diverse
opportunities in a wide range of application domains. This article brings a comprehensive …

Over the years, different meanings have been associated with the word consistency in the
distributed systems community. While in the'80s “consistency” typically meant strong …

Blockchain has found applications to track ownership of digital assets. Yet, several
blockchains were shown vulnerable to network attacks. It is thus crucial for companies to …

Boki is a new serverless runtime that exports a shared log API to serverless functions. Boki
shared logs enable stateful serverless applications to manage their state with durability …

Consensus is one of the key problems in blockchains. There are many articles analyzing the
performance of threat models for blockchains. But the network stability seems lack of …

Raft is a consensus algorithm for managing a replicated log. It produces a result equivalent
to (multi-) Paxos, and it is as efficient as Paxos, but its structure is different from Paxos; this …

Distributed systems are notorious for harboring subtle bugs. Verification can, in principle,
eliminate these bugs a priori, but verification has historically been difficult to apply at full …

Distributed applications use replication, implemented by protocols like Paxos, to ensure data
availability and transparently mask server failures. This paper presents a new approach to …

Application programmers increasingly prefer distributed storage systems with strong
consistency and distributed transactions (eg, Google's Spanner) for their strong guarantees …

Distributed in-memory key-value (KV) stores are embracing the disaggregated memory (DM)
architecture for higher resource utilization. However, existing KV stores on DM employ …