research
∙
04/16/2023
Trees and Turtles: Modular Abstractions for State Machine Replication Protocols
We present two abstractions for designing modular state machine replicat...
share
research
∙
11/16/2020
Heterogeneous Paxos: Technical Report
In distributed systems, a group of learners achieve consensus when, by o...
research
∙
05/28/2020
CedrusDB: Persistent Key-Value Store with Memory-Mapped Lazy-Trie
As RAM is becoming cheaper and growing abundant, it is time to revisit t...
research
∙
08/28/2019
Asynchronous Consensus Without Rounds
Fault tolerant consensus protocols usually involve ordered rounds of vot...
research
∙
06/21/2019
Scalable and Probabilistic Leaderless BFT Consensus through Metastability
This paper introduces a family of leaderless Byzantine fault tolerance p...
research
∙
05/09/2019
Charlotte: Composable Authenticated Distributed Data Structures, Technical Report
We present Charlotte, a framework for composable, authenticated distribu...
research
∙
06/18/2018
A Web of Blocks
Blockchains offer a useful abstraction: a trustworthy, decentralized log...
research
∙
01/11/2018