Alexey Gotsman | DeepAI

AI Chat

Featured Co-authors

Hagit Attiya
18 publications
Ilya Sergey
16 publications
Hengfeng Wei
11 publications
Carlos Baquero
10 publications
Noam Rinetzky
9 publications
Pierre Sutra
7 publications
Manuel Bravo
7 publications
Álvaro García-Pérez
6 publications
Gregory Chockler
5 publications
Artem Khyzha
5 publications
Matthieu Perrin
4 publications

∙ 05/24/2023

Fault-tolerant computing with unreliable channels

We study implementations of basic fault-tolerant primitives, such as con...

0 Alejandro Naser Pastoriza, et al. ∙

∙ 02/14/2022

Liveness and Latency of Byzantine State-Machine Replication

Byzantine state-machine replication (SMR) ensures the consistency of rep...

0 Manuel Bravo, et al. ∙

∙ 06/01/2021

UniStore: A fault-tolerant marriage of causal and strong consistency (extended version)

Modern online services rely on data stores that replicate their data acr...

0 Manuel Bravo, et al. ∙

∙ 04/02/2021

Efficient Replication via Timestamp Stability (Extended Version)

Modern web applications replicate their data across the globe and requir...

0 Vitor Enes, et al. ∙

∙ 08/10/2020

Making Byzantine Consensus Live (Extended Version)

Partially synchronous Byzantine consensus protocols typically structure ...

0 Manuel Bravo, et al. ∙

∙ 03/26/2020

State-Machine Replication for Planet-Scale Systems (Extended Version)

Online applications now routinely replicate their data at multiple sites...

0 Vitor Enes, et al. ∙

∙ 08/08/2019

Privatization-Safe Transactional Memories (Extended Version)

Transactional memory (TM) facilitates the development of concurrent appl...

0 Artem Khyzha, et al. ∙

∙ 06/04/2019

Reconfigurable Atomic Transaction Commit (Extended Version)

Modern data stores achieve scalability by partitioning data into shards ...

0 Manuel Bravo, et al. ∙

∙ 04/15/2019

White-Box Atomic Multicast (Extended Version)

Atomic multicast is a communication primitive that delivers messages to ...

0 Alexey Gotsman, et al. ∙

∙ 11/08/2018

Federated Byzantine Quorum Systems (Extended Version)

Some of the recent blockchain proposals, such as Stellar and Ripple, use...

0 Álvaro García-Pérez, et al. ∙

∙ 08/02/2018

Multi-Shot Distributed Transaction Commit (Extended Version)

Atomic Commit Problem (ACP) is a single-shot agreement problem similar t...

0 Gregory Chockler, et al. ∙

∙ 02/16/2018

Paxos Consensus, Deconstructed and Abstracted (Extended Version)

Lamport's Paxos algorithm is a classic consensus protocol for state mach...

0 Álvaro García-Pérez, et al. ∙

∙ 02/16/2018

Compositional Verification of Compiler Optimisations on Relaxed Memory

A valid compiler optimisation transforms a block in a program without in...

0 Mike Dodds, et al. ∙

∙ 01/12/2018

Safe Privatization in Transactional Memory

Transactional memory (TM) facilitates the development of concurrent appl...

0 Artem Khyzha, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world