A Rigorous Approach to Consistency in Cloud Databases

Publicaciones

Making Byzantine consensus live

Autores: Manuel Bravo, Gregory Chockler, and Alexey Gotsman
Publicado en: Proceedings of DISC'20: International Symposium on Distributed Computing, Edición 179, 2020, ISBN 978-3-95977-168-9
Editor: LIPIcs - Schloss Dagstuhl

Liveness and latency of Byzantine state-machine replication

Autores: Manuel Bravo, Gregory Chockler, Alexey Gotsman
Publicado en: Extended version of a paper from the 2022 Symposium on Distributed Computing (DISC'22), 2022
Editor: Distributed Computing. Springer
DOI: 10.48550/arxiv.2202.06679

State-machine replication for planet-scale systems

Autores: Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, and Pierre Sutra
Publicado en: EuroSys'20: European Conference on Computer Systems, 2020
Editor: ACM

Acuerdo: Fast atomic broadcast over RDMA

Autores: Joseph Izraelevitz, Gaukas Wang, Rhett Hanscom, Kayli Silvers, Tamara Silbergleit Lehman, Gregory Chockler, Alexey Gotsman
Publicado en: ICPP '22: Proceedings of the 51st International Conference on Parallel Processing, 2022
Editor: ACM
DOI: 10.1145/3545008.3545041

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

Autores: Manuel Bravo, Alexey Gotsman, Borja de Régil, and Hengfeng Wei
Publicado en: USENIX ATC'21: USENIX Annual Technical Conference, 2021
Editor: ACSA

Efficient replication via timestamp stability

Autores: Vitor Enes, Carlos Baquero, Alexey Gotsman, and Pierre Sutra
Publicado en: EuroSys'21: European Conference on Computer Systems, 2021
Editor: ACM

White-box atomic multicast

Autores: Alexey Gotsman, Anatole Lefort and Gregory Chockler
Publicado en: DSN'19: International Conference on Dependable Systems and Networks, 2019
Editor: IEEE

Algebraic laws for weak consistency

Autores: Andrea Cerone, Alexey Gotsman, and Hongseok Yang
Publicado en: CONCUR'17: International Conference on Concurrency Theory, 2017, Página(s) 26:1-26:18
Editor: LIPICS

Multi-shot distributed transaction commit

Autores: Gregory Chockler and Alexey Gotsman
Publicado en: DISC'18: International Symposium on Distributed Computing, 2018, Página(s) 14:1-14:18
Editor: LIPICS

Federated Byzantine quorum systems

Autores: Álvaro García-Pérez, Alexey Gotsman
Publicado en: OPODIS'18: International Conference on Principles of Distributed Systems, 2018, Página(s) 17:1-17:16,
Editor: LIPICS

Reconfigurable atomic transaction commit

Autores: Manuel Bravo, Alexey Gotsman
Publicado en: PODC'19: Symposium on Principles of Distributed Computing, 2019
Editor: ACM

Consistency models with global operation sequencing and their composition

Autores: Alexey Gotsman and Sebastian Burckhardt
Publicado en: DISC'17: International Symposium on Distributed Computing, 2017, Página(s) 23:1-23:16
Editor: LIPICS

Paxos consensus, deconstructed and abstracted

Autores: Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, and Ilya Sergey
Publicado en: ESOP'18: European Symposium on Programming, 2018, Página(s) 912-939
Editor: Springer

Privatization-safe transactional memories

Autores: Artem Khyzha, Hagit Attiya and Alexey Gotsman
Publicado en: DISC'19: International Symposium on Distributed Computing, 2019
Editor: LIPICS

Safe privatization in transactional memory

Autores: Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
Publicado en: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '18, Edición Volume 53, Edición 1, 2018, Página(s) 233-245, ISBN 9781-450349826
Editor: ACM Press
DOI: 10.1145/3178487.3178505

Specification and space complexity of collaborative text editing

Autores: Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Publicado en: Theoretical Computer Science, Edición 855, 2021, Página(s) 141-160, ISSN 0304-3975
Editor: Elsevier BV
DOI: 10.1016/j.tcs.2020.11.046

Analysing snapshot isolation

Autores: Andrea Cerone, Alexey Gotsman
Publicado en: Journal of the ACM (JACM), Edición Volume 65, Edición 2, 2018, Página(s) 11:1-11:41, ISSN 0004-5411
Editor: Association for Computing Machinary, Inc.

Multi-shot distributed transaction commit

Autores: Gregory Chockler, Alexey Gotsman
Publicado en: Distributed Computing, Edición 34/4, 2021, Página(s) 301-318, ISSN 0178-2770
Editor: Springer Verlag
DOI: 10.1007/s00446-021-00389-4

Buscando datos de OpenAIRE...

Publicaciones

Compartir esta página

Descargar