Seguir
Alexey Gotsman
Alexey Gotsman
Dirección de correo verificada de imdea.org - Página principal
Título
Citado por
Citado por
Año
Replicated data types: specification, verification, optimality
S Burckhardt, A Gotsman, H Yang, M Zawirski
ACM Sigplan Notices 49 (1), 271-284, 2014
2572014
'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
1812016
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
1692007
Interprocedural shape analysis with separated heap abstractions
A Gotsman, J Berdine, B Cook
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006
1502006
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
1332007
Thread-modular shape analysis
A Gotsman, J Berdine, B Cook, M Sagiv
ACM SIGPLAN Notices 42 (6), 266-277, 2007
1232007
Library abstraction for C/C++ concurrency
M Batty, M Dodds, A Gotsman
ACM SIGPLAN Notices 48 (1), 235-248, 2013
1152013
Proving that non-blocking algorithms don't block
A Gotsman, B Cook, M Parkinson, V Vafeiadis
ACM SIGPLAN Notices 44 (1), 16-28, 2009
1062009
A framework for transactional consistency models with atomic visibility
A Cerone, G Bernardi, A Gotsman
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
1052015
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
792016
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
Liveness-preserving atomicity abstraction
A Gotsman, H Yang
International Colloquium on Automata, Languages, and Programming, 453-465, 2011
582011
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
572020
Understanding eventual consistency
S Burckhardt, A Gotsman, H Yang
Microsoft Research, Redmond, WA, USA, Tech. Rep. MSR-TR-2013–39, 2013
572013
Robustness against consistency models with atomic visibility
G Bernardi, A Gotsman
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
552016
Analysing snapshot isolation
A Cerone, A Gotsman
Journal of the ACM (JACM) 65 (2), 1-41, 2018
532018
Verifying concurrent memory reclamation algorithms with grace
A Gotsman, N Rinetzky, H Yang
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
522013
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
502016
Linearizability with ownership transfer
A Gotsman, H Yang
Logical Methods in Computer Science 9, 2013
482013
Show no weakness: sequentially consistent specifications of TSO libraries
A Gotsman, M Musuvathi, H Yang
Distributed Computing: 26th International Symposium, DISC 2012, Salvador …, 2012
462012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20