A Rigorous Approach to Consistency in Cloud Databases

Pubblicazioni

Making Byzantine consensus live

Autori: Manuel Bravo, Gregory Chockler, and Alexey Gotsman
Pubblicato in: Proceedings of DISC'20: International Symposium on Distributed Computing, Numero 179, 2020, ISBN 978-3-95977-168-9
Editore: LIPIcs - Schloss Dagstuhl

Liveness and latency of Byzantine state-machine replication

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

State-machine replication for planet-scale systems

Autori: Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, and Pierre Sutra
Pubblicato in: EuroSys'20: European Conference on Computer Systems, 2020
Editore: ACM

Acuerdo: Fast atomic broadcast over RDMA

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

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

Autori: Manuel Bravo, Alexey Gotsman, Borja de Régil, and Hengfeng Wei
Pubblicato in: USENIX ATC'21: USENIX Annual Technical Conference, 2021
Editore: ACSA

Efficient replication via timestamp stability

Autori: Vitor Enes, Carlos Baquero, Alexey Gotsman, and Pierre Sutra
Pubblicato in: EuroSys'21: European Conference on Computer Systems, 2021
Editore: ACM

White-box atomic multicast

Autori: Alexey Gotsman, Anatole Lefort and Gregory Chockler
Pubblicato in: DSN'19: International Conference on Dependable Systems and Networks, 2019
Editore: IEEE

Algebraic laws for weak consistency

Autori: Andrea Cerone, Alexey Gotsman, and Hongseok Yang
Pubblicato in: CONCUR'17: International Conference on Concurrency Theory, 2017, Pagina/e 26:1-26:18
Editore: LIPICS

Multi-shot distributed transaction commit

Autori: Gregory Chockler and Alexey Gotsman
Pubblicato in: DISC'18: International Symposium on Distributed Computing, 2018, Pagina/e 14:1-14:18
Editore: LIPICS

Federated Byzantine quorum systems

Autori: Álvaro García-Pérez, Alexey Gotsman
Pubblicato in: OPODIS'18: International Conference on Principles of Distributed Systems, 2018, Pagina/e 17:1-17:16,
Editore: LIPICS

Reconfigurable atomic transaction commit

Autori: Manuel Bravo, Alexey Gotsman
Pubblicato in: PODC'19: Symposium on Principles of Distributed Computing, 2019
Editore: ACM

Consistency models with global operation sequencing and their composition

Autori: Alexey Gotsman and Sebastian Burckhardt
Pubblicato in: DISC'17: International Symposium on Distributed Computing, 2017, Pagina/e 23:1-23:16
Editore: LIPICS

Paxos consensus, deconstructed and abstracted

Autori: Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, and Ilya Sergey
Pubblicato in: ESOP'18: European Symposium on Programming, 2018, Pagina/e 912-939
Editore: Springer

Privatization-safe transactional memories

Autori: Artem Khyzha, Hagit Attiya and Alexey Gotsman
Pubblicato in: DISC'19: International Symposium on Distributed Computing, 2019
Editore: LIPICS

Safe privatization in transactional memory

Autori: Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
Pubblicato in: Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '18, Numero Volume 53, Numero 1, 2018, Pagina/e 233-245, ISBN 9781-450349826
Editore: ACM Press
DOI: 10.1145/3178487.3178505

Specification and space complexity of collaborative text editing

Autori: Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Pubblicato in: Theoretical Computer Science, Numero 855, 2021, Pagina/e 141-160, ISSN 0304-3975
Editore: Elsevier BV
DOI: 10.1016/j.tcs.2020.11.046

Analysing snapshot isolation

Autori: Andrea Cerone, Alexey Gotsman
Pubblicato in: Journal of the ACM (JACM), Numero Volume 65, Numero 2, 2018, Pagina/e 11:1-11:41, ISSN 0004-5411
Editore: Association for Computing Machinary, Inc.

Multi-shot distributed transaction commit

Autori: Gregory Chockler, Alexey Gotsman
Pubblicato in: Distributed Computing, Numero 34/4, 2021, Pagina/e 301-318, ISSN 0178-2770
Editore: Springer Verlag
DOI: 10.1007/s00446-021-00389-4

È in corso la ricerca di dati su OpenAIRE...

Pubblicazioni

Condividi questa pagina

Scarica