Alexey Gotsman

According to our database1, Alexey Gotsman authored at least 49 papers between 2005 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
Analysing Snapshot Isolation.
J. ACM, 2018

Characterizing Transactional Memory Consistency Conditions Using Observational Refinement.
J. ACM, 2018

Data Consistency in Distributed Systems: Algorithms, Programs, and Databases (Dagstuhl Seminar 18091).
Dagstuhl Reports, 2018

Multi-Shot Distributed Transaction Commit (Extended Version).
CoRR, 2018

Paxos Consensus, Deconstructed and Abstracted (Extended Version).
CoRR, 2018

Compositional Verification of Compiler Optimisations on Relaxed Memory.
CoRR, 2018

Safe Privatization in Transactional Memory.
CoRR, 2018

Multi-Shot Distributed Transaction Commit.
Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Safe privatization in transactional memory.
Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2018

Tutorial: Consistency Choices in Modern Distributed Systems.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

Paxos Consensus, Deconstructed and Abstracted.
Proceedings of the Programming Languages and Systems, 2018

Compositional Verification of Compiler Optimisations on Relaxed Memory.
Proceedings of the Programming Languages and Systems, 2018

2017
Proving Linearizability Using Partial Orders (Extended Version).
CoRR, 2017

Consistency models with global operation sequencing and their composition (extended version).
CoRR, 2017

Algebraic Laws for Weak Consistency.
CoRR, 2017

Consistency Models with Global Operation Sequencing and their Composition.
Proceedings of the 31st International Symposium on Distributed Computing, 2017

Proving Linearizability Using Partial Orders.
Proceedings of the Programming Languages and Systems, 2017

Algebraic Laws for Weak Consistency.
Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016
A Generic Logic for Proving Linearizability (Extended Version).
CoRR, 2016

'Cause I'm strong enough: reasoning about consistency choices in distributed systems.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Analysing Snapshot Isolation.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

Specification and Complexity of Collaborative Text Editing.
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing, 2016

A Generic Logic for Proving Linearizability.
Proceedings of the FM 2016: Formal Methods, 2016

The CISE tool: proving weakly-consistent applications correct.
Proceedings of the 2nd Workshop on the Principles and Practice of Consistency for Distributed Data, 2016

Robustness against Consistency Models with Atomic Visibility.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015
Transaction Chopping for Parallel Snapshot Isolation.
Proceedings of the Distributed Computing - 29th International Symposium, 2015

Composite Replicated Data Types.
Proceedings of the Programming Languages and Systems, 2015

A Framework for Transactional Consistency Models with Atomic Visibility.
Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014
Safety of Live Transactions in Transactional Memory: TMS is Necessary and Sufficient.
Proceedings of the Distributed Computing - 28th International Symposium, 2014

Replicated data types: specification, verification, optimality.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Parameterised Linearisability.
Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2013
C/C++ Causal Cycles Confound Compositionality.
TinyToCS, 2013

Modular verification of preemptive OS kernels.
J. Funct. Program., 2013

Linearizability with Ownership Transfer.
Logical Methods in Computer Science, 2013

Library abstraction for C/C++ concurrency.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

A programming language perspective on transactional memory consistency.
Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

Verifying Concurrent Memory Reclamation Algorithms with Grace.
Proceedings of the Programming Languages and Systems, 2013

2012
Show No Weakness: Sequentially Consistent Specifications of TSO Libraries.
Proceedings of the Distributed Computing - 26th International Symposium, 2012

Concurrent Library Correctness on the TSO Memory Model.
Proceedings of the Programming Languages and Systems, 2012

Linearizability with Ownership Transfer.
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011
Precision and the Conjunction Rule in Concurrent Separation Logic.
Electr. Notes Theor. Comput. Sci., 2011

Modular verification of preemptive OS kernels.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

Liveness-Preserving Atomicity Abstraction.
Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

2009
Proving that non-blocking algorithms don't block.
Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

2007
Proving that programs eventually do something good.
Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2007

Thread-modular shape analysis.
Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

Local Reasoning for Storable Locks and Threads.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006
Interprocedural Shape Analysis with Separated Heap Abstractions.
Proceedings of the Static Analysis, 13th International Symposium, 2006

2005
Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language.
Electr. Notes Theor. Comput. Sci., 2005


  Loading...