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

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

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