Gotsman, Alexey
- State-Machine Replication for Planet-Scale Systems (Extended Version)
2020/03/26 by Vitor Enes, Enes, Vitor, Carlos Baquero +9 · 3 voices · 4 citations
Computer Science · #Distributed and Parallel Computing Systems #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #cs.DC
- Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (Extended Version)
2025/11/04 by Fedor Ryabinin, Ryabinin, Fedor, Alexey Gotsman +3 · 11 voices
Computer Science · #Distributed systems and fault tolerance #Parallel Computing and Optimization Techniques #Software System Performance and Reliability
- Compositional Verification of Compiler Optimisations on Relaxed Memory
2018/02/16 by Dodds, Mike, Batty, Mark, Gotsman, Alexey · 2 citations
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- A Generic Logic for Proving Linearizability (Extended Version)
2016/09/05 by Artem Khyzha, Alexey Gotsman, Khyzha, Artem +3 · 1 citation
Computer Science · #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)
- Proving Linearizability Using Partial Orders (Extended Version)
2017/01/19 by Khyzha, Artem, Dodds, Mike, Gotsman, Alexey +1 · 1 citation
#Distributed #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel #Programming Languages (cs.PL) #and Cluster Computing (cs.DC)
- White-Box Atomic Multicast (Extended Version)
2019/04/15 by Alexey Gotsman, Gotsman, Alexey, Anatole Lefort +3 · 1 citation
Computer Science · #Age of Information Optimization #Distributed #Distributed systems and fault tolerance #FOS: Computer and information sciences #Optimization and Search Problems #Parallel #and Cluster Computing (cs.DC)
- Revisiting Lower Bounds for Two-Step Consensus
2025/05/06 by Fedor Ryabinin, Alexey Gotsman, Ryabinin, Fedor +3 · 1 voice
Computer Science · #Distributed #FOS: Computer and information sciences #Parallel #and Cluster Computing (cs.DC) #cs.DC