Follow
Alexey Gotsman
Alexey Gotsman
Verified email at imdea.org - Homepage
Title
Cited by
Cited by
Year
Replicated data types: specification, verification, optimality
S Burckhardt, A Gotsman, H Yang, M Zawirski
ACM Sigplan Notices 49 (1), 271-284, 2014
2602014
'Cause I'm strong enough: Reasoning about consistency choices in distributed systems
A Gotsman, H Yang, C Ferreira, M Najafzadeh, M Shapiro
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
1872016
Local reasoning for storable locks and threads
A Gotsman, J Berdine, B Cook, N Rinetzky, M Sagiv
Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007
1672007
Interprocedural shape analysis with separated heap abstractions
A Gotsman, J Berdine, B Cook
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006
1482006
Proving that programs eventually do something good
B Cook, A Gotsman, A Podelski, A Rybalchenko, MY Vardi
ACM SIGPLAN Notices 42 (1), 265-276, 2007
1342007
Thread-modular shape analysis
A Gotsman, J Berdine, B Cook, M Sagiv
ACM SIGPLAN Notices 42 (6), 266-277, 2007
1242007
Library abstraction for C/C++ concurrency
M Batty, M Dodds, A Gotsman
ACM SIGPLAN Notices 48 (1), 235-248, 2013
1192013
A framework for transactional consistency models with atomic visibility
A Cerone, G Bernardi, A Gotsman
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
1142015
Proving that non-blocking algorithms don't block
A Gotsman, B Cook, M Parkinson, V Vafeiadis
ACM SIGPLAN Notices 44 (1), 16-28, 2009
1082009
Specification and complexity of collaborative text editing
H Attiya, S Burckhardt, A Gotsman, A Morrison, H Yang, M Zawirski
Proceedings of the 2016 ACM Symposium on Principles of Distributed Computing …, 2016
802016
Concurrent library correctness on the TSO memory model
S Burckhardt, A Gotsman, M Musuvathi, H Yang
Programming Languages and Systems: 21st European Symposium on Programming …, 2012
652012
Making byzantine consensus live
M Bravo, G Chockler, A Gotsman
Distributed Computing 35 (6), 503-532, 2022
592022
State-machine replication for planet-scale systems
V Enes, C Baquero, TF Rezende, A Gotsman, M Perrin, P Sutra
Proceedings of the Fifteenth European Conference on Computer Systems, 1-15, 2020
592020
Liveness-preserving atomicity abstraction
A Gotsman, H Yang
International Colloquium on Automata, Languages, and Programming, 453-465, 2011
582011
Robustness against consistency models with atomic visibility
G Bernardi, A Gotsman
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
572016
Understanding eventual consistency
S Burckhardt, A Gotsman, H Yang
Microsoft Research, Redmond, WA, USA, Tech. Rep. MSR-TR-2013–39, 2013
572013
Analysing snapshot isolation
A Cerone, A Gotsman
Journal of the ACM (JACM) 65 (2), 1-41, 2018
562018
The CISE tool: proving weakly-consistent applications correct
M Najafzadeh, A Gotsman, H Yang, C Ferreira, M Shapiro
Proceedings of the 2Nd Workshop on the Principles and Practice of …, 2016
542016
Verifying concurrent memory reclamation algorithms with grace
A Gotsman, N Rinetzky, H Yang
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
532013
Linearizability with ownership transfer
A Gotsman, H Yang
Logical Methods in Computer Science 9, 2013
472013
The system can't perform the operation now. Try again later.
Articles 1–20