A Rigorous Approach to Consistency in Cloud Databases

Project Information

RACCOON

Grant agreement ID: 714729

DOI 10.3030/714729

Project closed

EC signature date 12 December 2016

Start date 1 January 2017

End date 31 December 2022

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost € 1 498 312,00

EU contribution € 1 498 312,00

Coordinated by

FUNDACION IMDEA SOFTWARE
Spain

Publications

Conference proceedings (15)

Making Byzantine consensus live

Author(s): Manuel Bravo, Gregory Chockler, and Alexey Gotsman
Published in: Proceedings of DISC'20: International Symposium on Distributed Computing, Issue 179, 2020, ISBN 978-3-95977-168-9
Publisher: LIPIcs - Schloss Dagstuhl

Liveness and latency of Byzantine state-machine replication

Author(s): Manuel Bravo, Gregory Chockler, Alexey Gotsman
Published in: Extended version of a paper from the 2022 Symposium on Distributed Computing (DISC'22), 2022
Publisher: Distributed Computing. Springer
DOI: 10.48550/arxiv.2202.06679

State-machine replication for planet-scale systems

Author(s): Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, and Pierre Sutra
Published in: EuroSys'20: European Conference on Computer Systems, 2020
Publisher: ACM

Acuerdo: Fast atomic broadcast over RDMA

Author(s): Joseph Izraelevitz, Gaukas Wang, Rhett Hanscom, Kayli Silvers, Tamara Silbergleit Lehman, Gregory Chockler, Alexey Gotsman
Published in: ICPP '22: Proceedings of the 51st International Conference on Parallel Processing, 2022
Publisher: ACM
DOI: 10.1145/3545008.3545041

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

Author(s): Manuel Bravo, Alexey Gotsman, Borja de Régil, and Hengfeng Wei
Published in: USENIX ATC'21: USENIX Annual Technical Conference, 2021
Publisher: ACSA

Efficient replication via timestamp stability

Author(s): Vitor Enes, Carlos Baquero, Alexey Gotsman, and Pierre Sutra
Published in: EuroSys'21: European Conference on Computer Systems, 2021
Publisher: ACM

White-box atomic multicast

Author(s): Alexey Gotsman, Anatole Lefort and Gregory Chockler
Published in: DSN'19: International Conference on Dependable Systems and Networks, 2019
Publisher: IEEE

Algebraic laws for weak consistency

Author(s): Andrea Cerone, Alexey Gotsman, and Hongseok Yang
Published in: CONCUR'17: International Conference on Concurrency Theory, 2017, Page(s) 26:1-26:18
Publisher: LIPICS

Multi-shot distributed transaction commit

Author(s): Gregory Chockler and Alexey Gotsman
Published in: DISC'18: International Symposium on Distributed Computing, 2018, Page(s) 14:1-14:18
Publisher: LIPICS

Federated Byzantine quorum systems

Author(s): Álvaro García-Pérez, Alexey Gotsman
Published in: OPODIS'18: International Conference on Principles of Distributed Systems, 2018, Page(s) 17:1-17:16,
Publisher: LIPICS

Reconfigurable atomic transaction commit

Author(s): Manuel Bravo, Alexey Gotsman
Published in: PODC'19: Symposium on Principles of Distributed Computing, 2019
Publisher: ACM

Consistency models with global operation sequencing and their composition

Author(s): Alexey Gotsman and Sebastian Burckhardt
Published in: DISC'17: International Symposium on Distributed Computing, 2017, Page(s) 23:1-23:16
Publisher: LIPICS

Paxos consensus, deconstructed and abstracted

Author(s): Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, and Ilya Sergey
Published in: ESOP'18: European Symposium on Programming, 2018, Page(s) 912-939
Publisher: Springer

Privatization-safe transactional memories

Author(s): Artem Khyzha, Hagit Attiya and Alexey Gotsman
Published in: DISC'19: International Symposium on Distributed Computing, 2019
Publisher: LIPICS

Safe privatization in transactional memory

Author(s): Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
Published in: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '18, Issue Volume 53, Issue 1, 2018, Page(s) 233-245, ISBN 9781-450349826
Publisher: ACM Press
DOI: 10.1145/3178487.3178505

Peer reviewed articles (3)

Specification and space complexity of collaborative text editing

Author(s): Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Published in: Theoretical Computer Science, Issue 855, 2021, Page(s) 141-160, ISSN 0304-3975
Publisher: Elsevier BV
DOI: 10.1016/j.tcs.2020.11.046

Analysing snapshot isolation

Author(s): Andrea Cerone, Alexey Gotsman
Published in: Journal of the ACM (JACM), Issue Volume 65, Issue 2, 2018, Page(s) 11:1-11:41, ISSN 0004-5411
Publisher: Association for Computing Machinary, Inc.

Multi-shot distributed transaction commit

Author(s): Gregory Chockler, Alexey Gotsman
Published in: Distributed Computing, Issue 34/4, 2021, Page(s) 301-318, ISSN 0178-2770
Publisher: Springer Verlag
DOI: 10.1007/s00446-021-00389-4