Folgen
Alexey Gotsman
Alexey Gotsman
Bestätigte E-Mail-Adresse bei imdea.org - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Replicated data types: specification, verification, optimality
S Burckhardt, A Gotsman, H Yang, M Zawirski
ACM Sigplan Notices 49 (1), 271-284, 2014
2692014
'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
1932016
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
1492006
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
1402007
Thread-modular shape analysis
A Gotsman, J Berdine, B Cook, M Sagiv
ACM SIGPLAN Notices 42 (6), 266-277, 2007
1262007
Library abstraction for C/C++ concurrency
M Batty, M Dodds, A Gotsman
ACM SIGPLAN Notices 48 (1), 235-248, 2013
1232013
A framework for transactional consistency models with atomic visibility
A Cerone, G Bernardi, A Gotsman
26th International Conference on Concurrency Theory (CONCUR 2015), 2015
1192015
Proving that non-blocking algorithms don't block
A Gotsman, B Cook, M Parkinson, V Vafeiadis
ACM SIGPLAN Notices 44 (1), 16-28, 2009
1132009
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
822016
Making byzantine consensus live
M Bravo, G Chockler, A Gotsman
Distributed Computing 35 (6), 503-532, 2022
662022
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
662012
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
652020
Analysing snapshot isolation
A Cerone, A Gotsman
Journal of the ACM (JACM) 65 (2), 1-41, 2018
632018
Liveness-preserving atomicity abstraction
A Gotsman, H Yang
International Colloquium on Automata, Languages, and Programming, 453-465, 2011
592011
Understanding eventual consistency
S Burckhardt, A Gotsman, H Yang
Microsoft Research, Redmond, WA, USA, Tech. Rep. MSR-TR-2013–39, 2013
582013
Verifying concurrent memory reclamation algorithms with grace
A Gotsman, N Rinetzky, H Yang
Programming Languages and Systems: 22nd European Symposium on Programming …, 2013
582013
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
572016
Robustness against consistency models with atomic visibility
G Bernardi, A Gotsman
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
562016
Linearizability with ownership transfer
A Gotsman, H Yang
Logical Methods in Computer Science 9, 2013
472013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20