Alexey Gotsman

Identifiers

No identifiers captured yet.

Papers (13)

1. Making Democracy Work: Fixing and Simplifying Egalitarian Paxos (Extended Version) cs.DC · 2025 · author #2
2. TEE is not a Healer: Rollback-Resistant Reliable Storage (Extended Version) cs.DC · 2025 · author #3
3. Reconfigurable Atomic Transaction Commit (Extended Version) cs.DC · 2019 · author #2
4. White-Box Atomic Multicast (Extended Version) cs.DC · 2019 · author #1
5. Federated Byzantine Quorum Systems (Extended Version) cs.DC · 2018 · author #2
6. Multi-Shot Distributed Transaction Commit (Extended Version) cs.DC · 2018 · author #2
7. Paxos Consensus, Deconstructed and Abstracted (Extended Version) cs.DC · 2018 · author #2
8. Compositional Verification of Compiler Optimisations on Relaxed Memory cs.PL · 2018 · author #3
9. Safe Privatization in Transactional Memory cs.DC · 2018 · author #3
10. Consistency models with global operation sequencing and their composition (extended version) cs.DC · 2017 · author #1
11. Algebraic Laws for Weak Consistency (Extended Version) cs.LO · 2017 · author #2
12. Proving Linearizability Using Partial Orders (Extended Version) cs.PL · 2017 · author #3
13. A Generic Logic for Proving Linearizability (Extended Version) cs.PL · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Artem Khyzha 3 shared papers
• Gregory Chockler 3 shared papers
• \'Alvaro Garc\'ia-P\'erez 2 shared papers
• Matthew Parkinson 2 shared papers
• Mike Dodds 2 shared papers
• Anatole Lefort 1 shared papers
• Andrea Cerone 1 shared papers
• Fedor Ryabinin 1 shared papers
• Hagit Attiya 1 shared papers
• Hongseok Yang 1 shared papers
• Ilya Sergey 1 shared papers
• Manuel Bravo 1 shared papers
• Mark Batty 1 shared papers
• Noam Rinetzky 1 shared papers
• Pierre Sutra 1 shared papers
• Sadegh Keshavarzi 1 shared papers
• Sebastian Burckhardt 1 shared papers
• Yuri Meshman 1 shared papers