Alexey Gotsman

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 51

Top Topics

Distributed Systems

Top Venues

Publications

Fedor Ryabinin, Alexey Gotsman, Pierre Sutra
SwiftPaxos: Fast Geo-Replicated State Machines. NSDI (2024)
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
Liveness and latency of Byzantine state-machine replication. Distributed Comput. 37 (2) (2024)
Alejandro Naser-Pastoriza, Gregory V. Chockler, Alexey Gotsman
Fault-Tolerant Computing with Unreliable Channels. OPODIS (2023)
Alejandro Naser Pastoriza, Gregory V. Chockler, Alexey Gotsman
Fault-tolerant computing with unreliable channels. CoRR (2023)
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
Liveness and Latency of Byzantine State-Machine Replication. DISC (2022)
Joseph Izraelevitz, Gaukas Wang, Rhett Hanscom, Kayli Silvers, Tamara Silbergleit Lehman, Gregory V. Chockler, Alexey Gotsman
Acuerdo: Fast Atomic Broadcast over RDMA. ICPP (2022)
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
Making Byzantine consensus live. Distributed Comput. 35 (6) (2022)
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
Liveness and Latency of Byzantine State-Machine Replication. CoRR (2022)
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Specification and space complexity of collaborative text editing. Theor. Comput. Sci. 855 (2021)
Vitor Enes, Carlos Baquero, Alexey Gotsman, Pierre Sutra
Efficient Replication via Timestamp Stability (Extended Version). CoRR (2021)
Vitor Enes, Carlos Baquero, Alexey Gotsman, Pierre Sutra
Efficient replication via timestamp stability. EuroSys (2021)
Gregory V. Chockler, Alexey Gotsman
Multi-shot distributed transaction commit. Distributed Comput. 34 (4) (2021)
Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei
UniStore: A fault-tolerant marriage of causal and strong consistency. USENIX Annual Technical Conference (2021)
Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei
UniStore: A fault-tolerant marriage of causal and strong consistency (extended version). CoRR (2021)
Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, Pierre Sutra
State-machine replication for planet-scale systems. EuroSys (2020)
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
Making Byzantine Consensus Live (Extended Version). CoRR (2020)
Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, Pierre Sutra
State-Machine Replication for Planet-Scale Systems (Extended Version). CoRR (2020)
Manuel Bravo, Gregory V. Chockler, Alexey Gotsman
Making Byzantine Consensus Live. DISC (2020)
Artem Khyzha, Hagit Attiya, Alexey Gotsman
Privatization-Safe Transactional Memories. DISC (2019)
Alexey Gotsman, Anatole Lefort, Gregory V. Chockler
White-Box Atomic Multicast. DSN (2019)
Artem Khyzha, Hagit Attiya, Alexey Gotsman
Privatization-Safe Transactional Memories (Extended Version). CoRR (2019)
Manuel Bravo, Alexey Gotsman
Reconfigurable Atomic Transaction Commit (Extended Version). CoRR (2019)
Manuel Bravo, Alexey Gotsman
Reconfigurable Atomic Transaction Commit. PODC (2019)
Alexey Gotsman, Anatole Lefort, Gregory V. Chockler
White-Box Atomic Multicast (Extended Version). CoRR (2019)
Annette Bieniusa, Alexey Gotsman, Bettina Kemme, Marc Shapiro
Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091). Dagstuhl Reports 8 (2) (2018)
Andrea Cerone, Alexey Gotsman
Analysing Snapshot Isolation. J. ACM 65 (2) (2018)
Mike Dodds, Mark Batty, Alexey Gotsman
Compositional Verification of Compiler Optimisations on Relaxed Memory. ESOP (2018)
Mike Dodds, Mark Batty, Alexey Gotsman
Compositional Verification of Compiler Optimisations on Relaxed Memory. CoRR (2018)
Alexey Gotsman
Tutorial: Consistency Choices in Modern Distributed Systems. PODC (2018)
Gregory V. Chockler, Alexey Gotsman
Multi-Shot Distributed Transaction Commit (Extended Version). CoRR (2018)
Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
Safe Privatization in Transactional Memory. CoRR (2018)
Gregory V. Chockler, Alexey Gotsman
Multi-Shot Distributed Transaction Commit. DISC (2018)
Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky
Characterizing Transactional Memory Consistency Conditions Using Observational Refinement. J. ACM 65 (1) (2018)
Álvaro García-Pérez, Alexey Gotsman
Federated Byzantine Quorum Systems (Extended Version). CoRR (2018)
Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky
Safe privatization in transactional memory. PPOPP (2018)
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey
Paxos Consensus, Deconstructed and Abstracted (Extended Version). CoRR (2018)
Álvaro García-Pérez, Alexey Gotsman
Federated Byzantine Quorum Systems. OPODIS (2018)
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey
Paxos Consensus, Deconstructed and Abstracted. ESOP (2018)
Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson
Proving Linearizability Using Partial Orders. ESOP (2017)
Andrea Cerone, Alexey Gotsman, Hongseok Yang
Algebraic Laws for Weak Consistency. CoRR (2017)
Alexey Gotsman, Sebastian Burckhardt
Consistency Models with Global Operation Sequencing and their Composition. DISC (2017)
Alexey Gotsman, Sebastian Burckhardt
Consistency models with global operation sequencing and their composition (extended version). CoRR (2017)
Andrea Cerone, Alexey Gotsman, Hongseok Yang
Algebraic Laws for Weak Consistency. CONCUR (2017)
Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson
Proving Linearizability Using Partial Orders (Extended Version). CoRR (2017)
Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson
A Generic Logic for Proving Linearizability (Extended Version). CoRR (2016)
Andrea Cerone, Alexey Gotsman
Analysing Snapshot Isolation. PODC (2016)
Giovanni Bernardi, Alexey Gotsman
Robustness against Consistency Models with Atomic Visibility. CONCUR (2016)
Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro
The CISE tool: proving weakly-consistent applications correct. PaPoC@EuroSys (2016)
Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson
A Generic Logic for Proving Linearizability. FM (2016)
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski
Specification and Complexity of Collaborative Text Editing. PODC (2016)
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro
'Cause I'm strong enough: reasoning about consistency choices in distributed systems. POPL (2016)
Andrea Cerone, Alexey Gotsman, Hongseok Yang
Transaction Chopping for Parallel Snapshot Isolation. DISC (2015)
Alexey Gotsman, Hongseok Yang
Composite Replicated Data Types. ESOP (2015)
Andrea Cerone, Giovanni Bernardi, Alexey Gotsman
A Framework for Transactional Consistency Models with Atomic Visibility. CONCUR (2015)
Andrea Cerone, Alexey Gotsman, Hongseok Yang
Parameterised Linearisability. ICALP (2) (2014)
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski
Replicated data types: specification, verification, optimality. POPL (2014)
Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky
Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient. DISC (2014)
Mike Dodds, Mark Batty, Alexey Gotsman
C/C++ Causal Cycles Confound Compositionality. Tiny Trans. Comput. Sci. 2 (2013)
Alexey Gotsman, Noam Rinetzky, Hongseok Yang
Verifying Concurrent Memory Reclamation Algorithms with Grace. ESOP (2013)
Alexey Gotsman, Hongseok Yang
Modular verification of preemptive OS kernels. J. Funct. Program. 23 (4) (2013)
Mark Batty, Mike Dodds, Alexey Gotsman
Library abstraction for C/C++ concurrency. POPL (2013)
Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky
A programming language perspective on transactional memory consistency. PODC (2013)
Alexey Gotsman, Hongseok Yang
Linearizability with Ownership Transfer. Log. Methods Comput. Sci. 9 (3) (2013)
Alexey Gotsman, Hongseok Yang
Linearizability with Ownership Transfer. CONCUR (2012)
Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
Show No Weakness: Sequentially Consistent Specifications of TSO Libraries. DISC (2012)
Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang
Concurrent Library Correctness on the TSO Memory Model. ESOP (2012)
Alexey Gotsman, Hongseok Yang
Liveness-Preserving Atomicity Abstraction. ICALP (2) (2011)
Alexey Gotsman, Hongseok Yang
Modular verification of preemptive OS kernels. ICFP (2011)
Alexey Gotsman, Josh Berdine, Byron Cook
Precision and the Conjunction Rule in Concurrent Separation Logic. MFPS (2011)
Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis
Proving that non-blocking algorithms don't block. POPL (2009)
Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv
Local Reasoning for Storable Locks and Threads. APLAS (2007)
Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi
Proving that programs eventually do something good. POPL (2007)
Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv
Thread-modular shape analysis. PLDI (2007)
Alexey Gotsman, Josh Berdine, Byron Cook
Interprocedural Shape Analysis with Separated Heap Abstractions. SAS (2006)
Alexey Gotsman, Fabio Massacci, Marco Pistore
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. Electron. Notes Theor. Comput. Sci. 135 (1) (2005)