Alexey Gotsman

Available identifiers

zbMath Open gotsman.alexeyMaRDI QIDQ1664152

List of research outcomes

Publication	Date of Publication	Type
Making Byzantine consensus live	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5090904	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q5091091	2022-07-21	Paper
Multi-shot distributed transaction commit	2021-09-06	Paper
Specification and space complexity of collaborative text editing	2021-01-25	Paper
Reconfigurable Atomic Transaction Commit	2021-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q5111640	2020-05-27	Paper
A generic logic for proving linearizability	2020-01-03	Paper
Paxos consensus, deconstructed and abstracted	2019-09-13	Paper
Compositional verification of compiler optimisations on relaxed memory	2019-09-13	Paper
Analysing Snapshot Isolation	2018-12-06	Paper
Transaction chopping for parallel snapshot isolation	2018-08-24	Paper
Characterizing Transactional Memory Consistency Conditions Using Observational Refinement	2018-08-02	Paper
Robustness against Consistency Models with Atomic Visibility	2018-03-21	Paper
Analysing Snapshot Isolation	2017-09-29	Paper
Specification and Complexity of Collaborative Text Editing	2017-09-29	Paper
A Framework for Transactional Consistency Models with Atomic Visibility	2017-09-12	Paper
Proving Linearizability Using Partial Orders	2017-05-19	Paper
'Cause I'm strong enough: Reasoning about consistency choices in distributed systems	2016-10-24	Paper
Precision and the Conjunction Rule in Concurrent Separation Logic	2016-07-15	Paper
Composite Replicated Data Types	2016-04-26	Paper
Proving that non-blocking algorithms don't block	2015-07-03	Paper
Modular verification of preemptive OS kernels	2015-03-05	Paper
A programming language perspective on transactional memory consistency	2015-03-02	Paper
Library abstraction for C/C++ concurrency	2014-11-27	Paper
Proving that programs eventually do something good	2014-09-12	Paper
Parameterised Linearisability	2014-07-01	Paper
Replicated data types	2014-04-10	Paper
Modular verification of preemptive OS kernels	2014-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q2848480	2013-09-26	Paper
Linearizability with Ownership Transfer	2013-09-26	Paper
Verifying Concurrent Memory Reclamation Algorithms with Grace	2013-08-05	Paper
Show No Weakness: Sequentially Consistent Specifications of TSO Libraries	2013-03-13	Paper
Linearizability with Ownership Transfer	2012-09-25	Paper
Concurrent Library Correctness on the TSO Memory Model	2012-06-22	Paper
Liveness-Preserving Atomicity Abstraction	2011-07-07	Paper
Interprocedural Shape Analysis with Separated Heap Abstractions	2009-03-12	Paper
Local Reasoning for Storable Locks and Threads	2008-05-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexey Gotsman