Alexey Gotsman

87 papers A* 13A 20B 13C 1Misc 1Journal 33Unranked 5

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