Alexey Gotsman

According to our database, Alexey Gotsman authored at least 67 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Liveness and latency of Byzantine state-machine replication.

Manuel Bravo, Gregory V. Chockler, Alexey Gotsman

Distributed Comput., June, 2024

Vertical Atomic Broadcast and Passive Replication (Extended Version).

Manuel Bravo, Gregory V. Chockler, Alexey Gotsman, Alejandro Naser-Pastoriza, Christian Roldán

CoRR, 2024

Vertical Atomic Broadcast and Passive Replication.

Manuel Bravo, Gregory V. Chockler, Alexey Gotsman, Alejandro Naser-Pastoriza, Christian Roldán

Proceedings of the 38th International Symposium on Distributed Computing, 2024

SwiftPaxos: Fast Geo-Replicated State Machines.

Fedor Ryabinin, Alexey Gotsman, Pierre Sutra

Proceedings of the 21st USENIX Symposium on Networked Systems Design and Implementation, 2024

2023

Fault-Tolerant Computing with Unreliable Channels.

Alejandro Naser-Pastoriza, Gregory V. Chockler, Alexey Gotsman

Proceedings of the 27th International Conference on Principles of Distributed Systems, 2023

2022

Making Byzantine consensus live.

Manuel Bravo, Gregory V. Chockler, Alexey Gotsman

Distributed Comput., 2022

Acuerdo: Fast Atomic Broadcast over RDMA.

Joseph Izraelevitz, Gaukas Wang, Rhett Hanscom, Kayli Silvers, Tamara Silbergleit Lehman, Gregory V. Chockler, Alexey Gotsman

Proceedings of the 51st International Conference on Parallel Processing, 2022

2021

Specification and space complexity of collaborative text editing.

Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski

Theor. Comput. Sci., 2021

Multi-shot distributed transaction commit.

Gregory V. Chockler, Alexey Gotsman

Distributed Comput., 2021

UniStore: A fault-tolerant marriage of causal and strong consistency (extended version).

Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei

CoRR, 2021

Efficient Replication via Timestamp Stability (Extended Version).

Vitor Enes, Carlos Baquero, Alexey Gotsman, Pierre Sutra

CoRR, 2021

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

Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei

Proceedings of the 2021 USENIX Annual Technical Conference, 2021

Efficient replication via timestamp stability.

Vitor Enes, Carlos Baquero, Alexey Gotsman, Pierre Sutra

Proceedings of the EuroSys '21: Sixteenth European Conference on Computer Systems, 2021

2020

Making Byzantine Consensus Live (Extended Version).

Manuel Bravo, Gregory V. Chockler, Alexey Gotsman

CoRR, 2020

State-Machine Replication for Planet-Scale Systems (Extended Version).

Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, Pierre Sutra

CoRR, 2020

State-machine replication for planet-scale systems.

Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, Pierre Sutra

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

Privatization-Safe Transactional Memories (Extended Version).

Artem Khyzha, Hagit Attiya, Alexey Gotsman

CoRR, 2019

Reconfigurable Atomic Transaction Commit (Extended Version).

Manuel Bravo, Alexey Gotsman

CoRR, 2019

White-Box Atomic Multicast (Extended Version).

Alexey Gotsman, Anatole Lefort, Gregory V. Chockler

CoRR, 2019

Privatization-Safe Transactional Memories.

Artem Khyzha, Hagit Attiya, Alexey Gotsman

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

Reconfigurable Atomic Transaction Commit.

Manuel Bravo, Alexey Gotsman

Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, 2019

White-Box Atomic Multicast.

Alexey Gotsman, Anatole Lefort, Gregory V. Chockler

Proceedings of the 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2019

2018

Analysing Snapshot Isolation.

Andrea Cerone, Alexey Gotsman

J. ACM, 2018

Characterizing Transactional Memory Consistency Conditions Using Observational Refinement.

Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky

J. ACM, 2018

Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091).

Annette Bieniusa, Alexey Gotsman, Bettina Kemme, Marc Shapiro

Dagstuhl Reports, 2018

Federated Byzantine Quorum Systems (Extended Version).

Álvaro García-Pérez, Alexey Gotsman

CoRR, 2018

Multi-Shot Distributed Transaction Commit (Extended Version).

Gregory V. Chockler, Alexey Gotsman

CoRR, 2018

Paxos Consensus, Deconstructed and Abstracted (Extended Version).

Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey

CoRR, 2018

Safe privatization in transactional memory.

Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky

Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Tutorial: Consistency Choices in Modern Distributed Systems.

Alexey Gotsman

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Federated Byzantine Quorum Systems.

Álvaro García-Pérez, Alexey Gotsman

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

Paxos Consensus, Deconstructed and Abstracted.

Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey

Proceedings of the Programming Languages and Systems, 2018

Compositional Verification of Compiler Optimisations on Relaxed Memory.

Mike Dodds, Mark Batty, Alexey Gotsman

Proceedings of the Programming Languages and Systems, 2018

2017

Proving Linearizability Using Partial Orders (Extended Version).

Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson

CoRR, 2017

Consistency models with global operation sequencing and their composition (extended version).

Alexey Gotsman, Sebastian Burckhardt

CoRR, 2017

Consistency Models with Global Operation Sequencing and their Composition.

Alexey Gotsman, Sebastian Burckhardt

Proceedings of the 31st International Symposium on Distributed Computing, 2017

Proving Linearizability Using Partial Orders.

Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson

Proceedings of the Programming Languages and Systems, 2017

Algebraic Laws for Weak Consistency.

Andrea Cerone, Alexey Gotsman, Hongseok Yang

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

A Generic Logic for Proving Linearizability (Extended Version).

Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson

CoRR, 2016

'Cause I'm strong enough: reasoning about consistency choices in distributed systems.

Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Specification and Complexity of Collaborative Text Editing.

Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski

Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

A Generic Logic for Proving Linearizability.

Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson

Proceedings of the FM 2016: Formal Methods, 2016

The CISE tool: proving weakly-consistent applications correct.

Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro

Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Robustness against Consistency Models with Atomic Visibility.

Giovanni Bernardi, Alexey Gotsman

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Transaction Chopping for Parallel Snapshot Isolation.

Andrea Cerone, Alexey Gotsman, Hongseok Yang

Proceedings of the Distributed Computing - 29th International Symposium, 2015

Composite Replicated Data Types.

Alexey Gotsman, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2015

A Framework for Transactional Consistency Models with Atomic Visibility.

Andrea Cerone, Giovanni Bernardi, Alexey Gotsman

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient.

Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky

Proceedings of the Distributed Computing - 28th International Symposium, 2014

Replicated data types: specification, verification, optimality.

Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Parameterised Linearisability.

Andrea Cerone, Alexey Gotsman, Hongseok Yang

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013

C/C++ Causal Cycles Confound Compositionality.

Mike Dodds, Mark Batty, Alexey Gotsman

Adv. Math. Commun., 2013

Modular verification of preemptive OS kernels.

Alexey Gotsman, Hongseok Yang

J. Funct. Program., 2013

Linearizability with Ownership Transfer.

Alexey Gotsman, Hongseok Yang

Log. Methods Comput. Sci., 2013

Library abstraction for C/C++ concurrency.

Mark Batty, Mike Dodds, Alexey Gotsman

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

A programming language perspective on transactional memory consistency.

Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

Verifying Concurrent Memory Reclamation Algorithms with Grace.

Alexey Gotsman, Noam Rinetzky, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2013

2012

Show No Weakness: Sequentially Consistent Specifications of TSO Libraries.

Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang

Proceedings of the Distributed Computing - 26th International Symposium, 2012

Concurrent Library Correctness on the TSO Memory Model.

Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang

Proceedings of the Programming Languages and Systems, 2012

2011

Precision and the Conjunction Rule in Concurrent Separation Logic.

Alexey Gotsman, Josh Berdine, Byron Cook

Proceedings of the Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, 2011

Liveness-Preserving Atomicity Abstraction.

Alexey Gotsman, Hongseok Yang

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2009

Logics and analyses for concurrent heap-manipulating programs.

Olexiy Gotsman

PhD thesis, 2009

Proving that non-blocking algorithms don't block.

Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2007

Proving that programs eventually do something good.

Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi

Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Thread-modular shape analysis.

Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Local Reasoning for Storable Locks and Threads.

Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Interprocedural Shape Analysis with Separated Heap Abstractions.

Alexey Gotsman, Josh Berdine, Byron Cook

Proceedings of the Static Analysis, 13th International Symposium, 2006

2005

Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.

Alexey Gotsman, Fabio Massacci, Marco Pistore

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005