A Rigorous Approach to Consistency in Cloud Databases

Informations projet

RACCOON

N° de convention de subvention: 714729

DOI 10.3030/714729

Projet clôturé

Date de signature de la CE 12 Decembre 2016

Date de début 1 Janvier 2017

Date de fin 31 Decembre 2022

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total € 1 498 312,00

Contribution de l’UE € 1 498 312,00

Coordonné par

FUNDACION IMDEA SOFTWARE
Spain

Publications

Conference proceedings (15)

Making Byzantine consensus live

Auteurs: Manuel Bravo, Gregory Chockler, and Alexey Gotsman
Publié dans: Proceedings of DISC'20: International Symposium on Distributed Computing, Numéro 179, 2020, ISBN 978-3-95977-168-9
Éditeur: LIPIcs - Schloss Dagstuhl

Liveness and latency of Byzantine state-machine replication

Auteurs: Manuel Bravo, Gregory Chockler, Alexey Gotsman
Publié dans: Extended version of a paper from the 2022 Symposium on Distributed Computing (DISC'22), 2022
Éditeur: Distributed Computing. Springer
DOI: 10.48550/arxiv.2202.06679

State-machine replication for planet-scale systems

Auteurs: Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, and Pierre Sutra
Publié dans: EuroSys'20: European Conference on Computer Systems, 2020
Éditeur: ACM

Acuerdo: Fast atomic broadcast over RDMA

Auteurs: Joseph Izraelevitz, Gaukas Wang, Rhett Hanscom, Kayli Silvers, Tamara Silbergleit Lehman, Gregory Chockler, Alexey Gotsman
Publié dans: ICPP '22: Proceedings of the 51st International Conference on Parallel Processing, 2022
Éditeur: ACM
DOI: 10.1145/3545008.3545041

UniStore: A fault-tolerant marriage of causal and strong consistency

Auteurs: Manuel Bravo, Alexey Gotsman, Borja de Régil, and Hengfeng Wei
Publié dans: USENIX ATC'21: USENIX Annual Technical Conference, 2021
Éditeur: ACSA

Efficient replication via timestamp stability

Auteurs: Vitor Enes, Carlos Baquero, Alexey Gotsman, and Pierre Sutra
Publié dans: EuroSys'21: European Conference on Computer Systems, 2021
Éditeur: ACM

White-box atomic multicast

Auteurs: Alexey Gotsman, Anatole Lefort and Gregory Chockler
Publié dans: DSN'19: International Conference on Dependable Systems and Networks, 2019
Éditeur: IEEE

Algebraic laws for weak consistency

Auteurs: Andrea Cerone, Alexey Gotsman, and Hongseok Yang
Publié dans: CONCUR'17: International Conference on Concurrency Theory, 2017, Page(s) 26:1-26:18
Éditeur: LIPICS

Multi-shot distributed transaction commit

Auteurs: Gregory Chockler and Alexey Gotsman
Publié dans: DISC'18: International Symposium on Distributed Computing, 2018, Page(s) 14:1-14:18
Éditeur: LIPICS

Federated Byzantine quorum systems

Auteurs: Álvaro García-Pérez, Alexey Gotsman
Publié dans: OPODIS'18: International Conference on Principles of Distributed Systems, 2018, Page(s) 17:1-17:16,
Éditeur: LIPICS

Reconfigurable atomic transaction commit

Auteurs: Manuel Bravo, Alexey Gotsman
Publié dans: PODC'19: Symposium on Principles of Distributed Computing, 2019
Éditeur: ACM

Consistency models with global operation sequencing and their composition

Auteurs: Alexey Gotsman and Sebastian Burckhardt
Publié dans: DISC'17: International Symposium on Distributed Computing, 2017, Page(s) 23:1-23:16
Éditeur: LIPICS

Paxos consensus, deconstructed and abstracted

Auteurs: Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, and Ilya Sergey
Publié dans: ESOP'18: European Symposium on Programming, 2018, Page(s) 912-939
Éditeur: Springer

Privatization-safe transactional memories

Auteurs: Artem Khyzha, Hagit Attiya and Alexey Gotsman
Publié dans: DISC'19: International Symposium on Distributed Computing, 2019
Éditeur: LIPICS

Safe privatization in transactional memory

Auteurs: Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
Publié dans: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '18, Numéro Volume 53, Numéro 1, 2018, Page(s) 233-245, ISBN 9781-450349826
Éditeur: ACM Press
DOI: 10.1145/3178487.3178505

Peer reviewed articles (3)

Specification and space complexity of collaborative text editing

Auteurs: Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Publié dans: Theoretical Computer Science, Numéro 855, 2021, Page(s) 141-160, ISSN 0304-3975
Éditeur: Elsevier BV
DOI: 10.1016/j.tcs.2020.11.046

Analysing snapshot isolation

Auteurs: Andrea Cerone, Alexey Gotsman
Publié dans: Journal of the ACM (JACM), Numéro Volume 65, Numéro 2, 2018, Page(s) 11:1-11:41, ISSN 0004-5411
Éditeur: Association for Computing Machinary, Inc.

Multi-shot distributed transaction commit

Auteurs: Gregory Chockler, Alexey Gotsman
Publié dans: Distributed Computing, Numéro 34/4, 2021, Page(s) 301-318, ISSN 0178-2770
Éditeur: Springer Verlag
DOI: 10.1007/s00446-021-00389-4