Alexey Gotsman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
41
Venues
18
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
41 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIGMOD | Aurora PostgreSQL Limitless Database: Building a Highly Scalable OLTP Database. | Dmitry Arkhangelskiy, Saikiran Avula, Sachit Batra, Jin Chen, Radwan Deeb, Alexey Gotsman, Upendra Gowda, Haritabh Gupta, Benoit Hudzia, Rishabh Jain, Kaumudi Kaushik, Aravind Kumar Kumar, Sergey Melnik, Saleem Mohideen, Sharique Muhammed, Davor Prugovecki, Sanjay Shanthakumar, Sagar Shedge, Anand Kumar Thakur, David Wein |
| 2025 | OPODIS | Making Democracy Work: Fixing and Simplifying Egalitarian Paxos. | Fedor Ryabinin, Alexey Gotsman, Pierre Sutra |
| 2025 | PODC | Tight Bounds on Channel Reliability via Generalized Quorum Systems. | Alejandro Naser-Pastoriza, Gregory V. Chockler, Alexey Gotsman, Fedor Ryabinin |
| 2025 | PODC | Brief Announcement: Revisiting Lower Bounds for Two-Step Consensus. | Fedor Ryabinin, Alexey Gotsman, Pierre Sutra |
| 2024 | NSDI | SwiftPaxos: Fast Geo-Replicated State Machines. | Fedor Ryabinin, Alexey Gotsman, Pierre Sutra |
| 2023 | OPODIS | Fault-Tolerant Computing with Unreliable Channels. | Alejandro Naser-Pastoriza, Gregory V. Chockler, Alexey Gotsman |
| 2022 | ICPP | Acuerdo: Fast Atomic Broadcast over RDMA. | Joseph Izraelevitz, Gaukas Wang, Rhett Hanscom, Kayli Silvers, Tamara Silbergleit Lehman, Gregory V. Chockler, Alexey Gotsman |
| 2021 | EuroSys | Efficient replication via timestamp stability. | Vitor Enes, Carlos Baquero, Alexey Gotsman, Pierre Sutra |
| 2021 | USENIX | UniStore: A fault-tolerant marriage of causal and strong consistency. | Manuel Bravo, Alexey Gotsman, Borja de Rgil, Hengfeng Wei |
| 2020 | EuroSys | State-machine replication for planet-scale systems. | Vitor Enes, Carlos Baquero, Tuanir Frana Rezende, Alexey Gotsman, Matthieu Perrin, Pierre Sutra |
| 2019 | DSN | White-Box Atomic Multicast. | Alexey Gotsman, Anatole Lefort, Gregory V. Chockler |
| 2019 | PODC | Reconfigurable Atomic Transaction Commit. | Manuel Bravo, Alexey Gotsman |
| 2018 | ESOP | Compositional Verification of Compiler Optimisations on Relaxed Memory. | Mike Dodds, Mark Batty, Alexey Gotsman |
| 2018 | ESOP | Paxos Consensus, Deconstructed and Abstracted. | lvaro Garca-Prez, Alexey Gotsman, Yuri Meshman, Ilya Sergey |
| 2018 | OPODIS | Federated Byzantine Quorum Systems. | lvaro Garca-Prez, Alexey Gotsman |
| 2018 | PODC | Tutorial: Consistency Choices in Modern Distributed Systems. | Alexey Gotsman |
| 2018 | PPoPP | Safe privatization in transactional memory. | Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky |
| 2017 | CONCUR | Algebraic Laws for Weak Consistency. | Andrea Cerone, Alexey Gotsman, Hongseok Yang |
| 2017 | ESOP | Proving Linearizability Using Partial Orders. | Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson |
| 2016 | CONCUR | Robustness against Consistency Models with Atomic Visibility. | Giovanni Bernardi, Alexey Gotsman |
| 2016 | EuroSys | The CISE tool: proving weakly-consistent applications correct. | Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira, Marc Shapiro |
| 2016 | FM | A Generic Logic for Proving Linearizability. | Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson |
| 2016 | PODC | Specification and Complexity of Collaborative Text Editing. | Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski |
| 2016 | PODC | Analysing Snapshot Isolation. | Andrea Cerone, Alexey Gotsman |
| 2016 | POPL | 'Cause I'm strong enough: reasoning about consistency choices in distributed systems. | Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, Marc Shapiro |
| 2015 | CONCUR | A Framework for Transactional Consistency Models with Atomic Visibility. | Andrea Cerone, Giovanni Bernardi, Alexey Gotsman |
| 2015 | ESOP | Composite Replicated Data Types. | Alexey Gotsman, Hongseok Yang |
| 2014 | ICALP | Parameterised Linearisability. | Andrea Cerone, Alexey Gotsman, Hongseok Yang |
| 2014 | POPL | Replicated data types: specification, verification, optimality. | Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski |
| 2013 | ESOP | Verifying Concurrent Memory Reclamation Algorithms with Grace. | Alexey Gotsman, Noam Rinetzky, Hongseok Yang |
| 2013 | PODC | A programming language perspective on transactional memory consistency. | Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky |
| 2013 | POPL | Library abstraction for C/C++ concurrency. | Mark Batty, Mike Dodds, Alexey Gotsman |
| 2012 | CONCUR | Linearizability with Ownership Transfer. | Alexey Gotsman, Hongseok Yang |
| 2012 | ESOP | Concurrent Library Correctness on the TSO Memory Model. | Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang |
| 2011 | ICALP | Liveness-Preserving Atomicity Abstraction. | Alexey Gotsman, Hongseok Yang |
| 2011 | ICFP | Modular verification of preemptive OS kernels. | Alexey Gotsman, Hongseok Yang |
| 2009 | POPL | Proving that non-blocking algorithms don't block. | Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis |
| 2007 | APLAS | Local Reasoning for Storable Locks and Threads. | Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv |
| 2007 | PLDI | Thread-modular shape analysis. | Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv |
| 2007 | POPL | Proving that programs eventually do something good. | Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi |
| 2006 | SAS | Interprocedural Shape Analysis with Separated Heap Abstractions. | Alexey Gotsman, Josh Berdine, Byron Cook |