default search action
Alexey Gotsman
Person information
- affiliation: IMDEA Software Institute, Madrid, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2009
- [b1]Olexiy Gotsman:
Logics and analyses for concurrent heap-manipulating programs. University of Cambridge, UK, 2009
Journal Articles
- 2024
- [j8]Manuel Bravo, Gregory V. Chockler, Alexey Gotsman:
Liveness and latency of Byzantine state-machine replication. Distributed Comput. 37(2): 177-205 (2024) - 2022
- [j7]Manuel Bravo, Gregory V. Chockler, Alexey Gotsman:
Making Byzantine consensus live. Distributed Comput. 35(6): 503-532 (2022) - 2021
- [j6]Gregory V. Chockler, Alexey Gotsman:
Multi-shot distributed transaction commit. Distributed Comput. 34(4): 301-318 (2021) - [j5]Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, Marek Zawirski:
Specification and space complexity of collaborative text editing. Theor. Comput. Sci. 855: 141-160 (2021) - 2018
- [j4]Hagit Attiya
, Alexey Gotsman, Sandeep Hans, Noam Rinetzky:
Characterizing Transactional Memory Consistency Conditions Using Observational Refinement. J. ACM 65(1): 2:1-2:44 (2018) - [j3]Andrea Cerone
Analysing Snapshot Isolation. J. ACM 65(2): 11:1-11:41 (2018) - 2013
- [j2]Alexey Gotsman, Hongseok Yang:
Linearizability with Ownership Transfer. Log. Methods Comput. Sci. 9(3) (2013) - [j1]Alexey Gotsman, Hongseok Yang:
Modular verification of preemptive OS kernels. J. Funct. Program. 23(4): 452-514 (2013)
Conference and Workshop Papers
- 2024
- [c48]Fedor Ryabinin, Alexey Gotsman, Pierre Sutra:
SwiftPaxos: Fast Geo-Replicated State Machines. NSDI 2024: 345-369 - [c47]Manuel Bravo, Gregory V. Chockler, Alexey Gotsman, Alejandro Naser-Pastoriza, Christian Roldán:
Vertical Atomic Broadcast and Passive Replication. DISC 2024: 10:1-10:19 - 2023
- [c46]Alejandro Naser-Pastoriza, Gregory V. Chockler, Alexey Gotsman:
Fault-Tolerant Computing with Unreliable Channels. OPODIS 2023: 21:1-21:21 - 2022
- [c45]Joseph Izraelevitz, Gaukas Wang
Acuerdo: Fast Atomic Broadcast over RDMA. ICPP 2022: 59:1-59:11 - [c44]Manuel Bravo, Gregory V. Chockler, Alexey Gotsman:
Liveness and Latency of Byzantine State-Machine Replication. DISC 2022: 12:1-12:19 - 2021
- [c43]Vitor Enes
Efficient replication via timestamp stability. EuroSys 2021: 178-193 - [c42]Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei:
UniStore: A fault-tolerant marriage of causal and strong consistency. USENIX ATC 2021: 923-937 - 2020
- [c41]Vitor Enes
State-machine replication for planet-scale systems. EuroSys 2020: 24:1-24:15 - [c40]Manuel Bravo, Gregory V. Chockler, Alexey Gotsman:
Making Byzantine Consensus Live. DISC 2020: 23:1-23:17 - 2019
- [c39]Alexey Gotsman, Anatole Lefort
White-Box Atomic Multicast. DSN 2019: 176-187 - [c38]Manuel Bravo, Alexey Gotsman:
Reconfigurable Atomic Transaction Commit. PODC 2019: 399-408 - [c37]Artem Khyzha
Privatization-Safe Transactional Memories. DISC 2019: 24:1-24:17 - 2018
- [c36]Álvaro García-Pérez
Paxos Consensus, Deconstructed and Abstracted. ESOP 2018: 912-939 - [c35]Mike Dodds
Compositional Verification of Compiler Optimisations on Relaxed Memory. ESOP 2018: 1027-1055 - [c34]Álvaro García-Pérez
Federated Byzantine Quorum Systems. OPODIS 2018: 17:1-17:16 - [c33]Alexey Gotsman:
Tutorial: Consistency Choices in Modern Distributed Systems. PODC 2018: 491 - [c32]Artem Khyzha
Safe privatization in transactional memory. PPoPP 2018: 233-245 - [c31]Gregory V. Chockler, Alexey Gotsman:
Multi-Shot Distributed Transaction Commit. DISC 2018: 14:1-14:18 - 2017
- [c30]Andrea Cerone
Algebraic Laws for Weak Consistency. CONCUR 2017: 26:1-26:18 - [c29]Artem Khyzha
Proving Linearizability Using Partial Orders. ESOP 2017: 639-667 - [c28]Alexey Gotsman, Sebastian Burckhardt:
Consistency Models with Global Operation Sequencing and their Composition. DISC 2017: 23:1-23:16 - 2016
- [c27]Giovanni Bernardi, Alexey Gotsman:
Robustness against Consistency Models with Atomic Visibility. CONCUR 2016: 7:1-7:15 - [c26]Mahsa Najafzadeh, Alexey Gotsman, Hongseok Yang, Carla Ferreira
The CISE tool: proving weakly-consistent applications correct. PaPoC@EuroSys 2016: 2:1-2:3 - [c25]Artem Khyzha
A Generic Logic for Proving Linearizability. FM 2016: 426-443 - [c24]Andrea Cerone
Analysing Snapshot Isolation. PODC 2016: 55-64 - [c23]Hagit Attiya
Specification and Complexity of Collaborative Text Editing. PODC 2016: 259-268 - [c22]Alexey Gotsman, Hongseok Yang, Carla Ferreira
'Cause I'm strong enough: reasoning about consistency choices in distributed systems. POPL 2016: 371-384 - 2015
- [c21]Andrea Cerone
A Framework for Transactional Consistency Models with Atomic Visibility. CONCUR 2015: 58-71 - [c20]Alexey Gotsman, Hongseok Yang:
Composite Replicated Data Types. ESOP 2015: 585-609 - [c19]Andrea Cerone
Transaction Chopping for Parallel Snapshot Isolation. DISC 2015: 388-404 - 2014
- [c18]Andrea Cerone
Parameterised Linearisability. ICALP (2) 2014: 98-109 - [c17]Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang, Marek Zawirski:
Replicated data types: specification, verification, optimality. POPL 2014: 271-284 - [c16]Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky:
Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient. DISC 2014: 376-390 - 2013
- [c15]Alexey Gotsman, Noam Rinetzky, Hongseok Yang:
Verifying Concurrent Memory Reclamation Algorithms with Grace. ESOP 2013: 249-269 - [c14]Hagit Attiya
A programming language perspective on transactional memory consistency. PODC 2013: 309-318 - [c13]Mark Batty, Mike Dodds, Alexey Gotsman:
Library abstraction for C/C++ concurrency. POPL 2013: 235-248 - 2012
- [c12]Alexey Gotsman, Hongseok Yang:
Linearizability with Ownership Transfer. CONCUR 2012: 256-271 - [c11]Sebastian Burckhardt, Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang:
Concurrent Library Correctness on the TSO Memory Model. ESOP 2012: 87-107 - [c10]Alexey Gotsman, Madanlal Musuvathi, Hongseok Yang:
Show No Weakness: Sequentially Consistent Specifications of TSO Libraries. DISC 2012: 31-45 - 2011
- [c9]Alexey Gotsman, Hongseok Yang:
Liveness-Preserving Atomicity Abstraction. ICALP (2) 2011: 453-465 - [c8]Alexey Gotsman, Hongseok Yang:
Modular verification of preemptive OS kernels. ICFP 2011: 404-417 - [c7]Alexey Gotsman, Josh Berdine, Byron Cook:
Precision and the Conjunction Rule in Concurrent Separation Logic. MFPS 2011: 171-190 - 2009
- [c6]Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis
Proving that non-blocking algorithms don't block. POPL 2009: 16-28 - 2007
- [c5]Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv:
Local Reasoning for Storable Locks and Threads. APLAS 2007: 19-37 - [c4]Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv:
Thread-modular shape analysis. PLDI 2007: 266-277 - [c3]Byron Cook, Alexey Gotsman, Andreas Podelski, Andrey Rybalchenko, Moshe Y. Vardi:
Proving that programs eventually do something good. POPL 2007: 265-276 - 2006
- [c2]Alexey Gotsman, Josh Berdine, Byron Cook:
Interprocedural Shape Analysis with Separated Heap Abstractions. SAS 2006: 240-260 - 2005
- [c1]Alexey Gotsman, Fabio Massacci
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language. ARSPA@ICALP 2005: 59-77
Editorship
- 2020
- [e2]Alexey Gotsman, Ana Sokolova:
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. Lecture Notes in Computer Science 12136, Springer 2020, ISBN 978-3-030-50085-6 [contents] - 2017
- [e1]Annette Bieniusa, Alexey Gotsman:
Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2017, Belgrade, Serbia, April 23 - 26, 2017. ACM 2017, ISBN 978-1-4503-4933-8 [contents]
Informal and Other Publications
- 2024
- [i21]Manuel Bravo, Gregory V. Chockler, Alexey Gotsman, Alejandro Naser-Pastoriza, Christian Roldán:
Vertical Atomic Broadcast and Passive Replication (Extended Version). CoRR abs/2408.08702 (2024) - 2023
- [i20]Alejandro Naser-Pastoriza, Gregory V. Chockler, Alexey Gotsman:
Fault-tolerant computing with unreliable channels. CoRR abs/2305.15150 (2023) - 2022
- [i19]Manuel Bravo, Gregory V. Chockler, Alexey Gotsman:
Liveness and Latency of Byzantine State-Machine Replication. CoRR abs/2202.06679 (2022) - 2021
- [i18]Vitor Enes, Carlos Baquero, Alexey Gotsman, Pierre Sutra:
Efficient Replication via Timestamp Stability (Extended Version). CoRR abs/2104.01142 (2021) - [i17]Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei:
UniStore: A fault-tolerant marriage of causal and strong consistency (extended version). CoRR abs/2106.00344 (2021) - 2020
- [i16]Vitor Enes, Carlos Baquero
State-Machine Replication for Planet-Scale Systems (Extended Version). CoRR abs/2003.11789 (2020) - [i15]Manuel Bravo, Gregory V. Chockler, Alexey Gotsman:
Making Byzantine Consensus Live (Extended Version). CoRR abs/2008.04167 (2020) - 2019
- [i14]Alexey Gotsman, Anatole Lefort, Gregory V. Chockler:
White-Box Atomic Multicast (Extended Version). CoRR abs/1904.07171 (2019) - [i13]Manuel Bravo, Alexey Gotsman:
Reconfigurable Atomic Transaction Commit (Extended Version). CoRR abs/1906.01365 (2019) - [i12]Artem Khyzha, Hagit Attiya, Alexey Gotsman:
Privatization-Safe Transactional Memories (Extended Version). CoRR abs/1908.03179 (2019) - 2018
- [i11]Artem Khyzha, Hagit Attiya, Alexey Gotsman, Noam Rinetzky:
Safe Privatization in Transactional Memory. CoRR abs/1801.04249 (2018) - [i10]Mike Dodds, Mark Batty, Alexey Gotsman:
Compositional Verification of Compiler Optimisations on Relaxed Memory. CoRR abs/1802.05918 (2018) - [i9]Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, Ilya Sergey:
Paxos Consensus, Deconstructed and Abstracted (Extended Version). CoRR abs/1802.05969 (2018) - [i8]Gregory V. Chockler, Alexey Gotsman:
Multi-Shot Distributed Transaction Commit (Extended Version). CoRR abs/1808.00688 (2018) - [i7]Álvaro García-Pérez, Alexey Gotsman:
Federated Byzantine Quorum Systems (Extended Version). CoRR abs/1811.03642 (2018) - [i6]Annette Bieniusa, Alexey Gotsman, Bettina Kemme, Marc Shapiro:
Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091). Dagstuhl Reports 8(2): 101-121 (2018) - 2017
- [i5]Artem Khyzha, Mike Dodds, Alexey Gotsman, Matthew J. Parkinson:
Proving Linearizability Using Partial Orders (Extended Version). CoRR abs/1701.05463 (2017) - [i4]Andrea Cerone, Alexey Gotsman, Hongseok Yang:
Algebraic Laws for Weak Consistency. CoRR abs/1702.06028 (2017) - [i3]Alexey Gotsman, Sebastian Burckhardt:
Consistency models with global operation sequencing and their composition (extended version). CoRR abs/1707.09242 (2017) - 2016
- [i2]Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson:
A Generic Logic for Proving Linearizability (Extended Version). CoRR abs/1609.01171 (2016) - 2013
- [i1]Mike Dodds, Mark Batty, Alexey Gotsman:
C/C++ Causal Cycles Confound Compositionality. Adv. Math. Commun. 2 (2013)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 21:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: