Replicated data types: specification, verification, optimality S Burckhardt, A Gotsman, H Yang, M Zawirski ACM Sigplan Notices 49 (1), 271-284, 2014 | 269 | 2014 |
'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 | 193 | 2016 |
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 | 169 | 2007 |
Interprocedural shape analysis with separated heap abstractions A Gotsman, J Berdine, B Cook Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea …, 2006 | 149 | 2006 |
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 | 140 | 2007 |
Thread-modular shape analysis A Gotsman, J Berdine, B Cook, M Sagiv ACM SIGPLAN Notices 42 (6), 266-277, 2007 | 126 | 2007 |
Library abstraction for C/C++ concurrency M Batty, M Dodds, A Gotsman ACM SIGPLAN Notices 48 (1), 235-248, 2013 | 123 | 2013 |
A framework for transactional consistency models with atomic visibility A Cerone, G Bernardi, A Gotsman 26th International Conference on Concurrency Theory (CONCUR 2015), 2015 | 119 | 2015 |
Proving that non-blocking algorithms don't block A Gotsman, B Cook, M Parkinson, V Vafeiadis ACM SIGPLAN Notices 44 (1), 16-28, 2009 | 113 | 2009 |
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 | 82 | 2016 |
Making byzantine consensus live M Bravo, G Chockler, A Gotsman Distributed Computing 35 (6), 503-532, 2022 | 66 | 2022 |
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 | 66 | 2012 |
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 | 65 | 2020 |
Analysing snapshot isolation A Cerone, A Gotsman Journal of the ACM (JACM) 65 (2), 1-41, 2018 | 63 | 2018 |
Liveness-preserving atomicity abstraction A Gotsman, H Yang International Colloquium on Automata, Languages, and Programming, 453-465, 2011 | 59 | 2011 |
Understanding eventual consistency S Burckhardt, A Gotsman, H Yang Microsoft Research, Redmond, WA, USA, Tech. Rep. MSR-TR-2013–39, 2013 | 58 | 2013 |
Verifying concurrent memory reclamation algorithms with grace A Gotsman, N Rinetzky, H Yang Programming Languages and Systems: 22nd European Symposium on Programming …, 2013 | 58 | 2013 |
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 | 57 | 2016 |
Robustness against consistency models with atomic visibility G Bernardi, A Gotsman 27th International Conference on Concurrency Theory (CONCUR 2016), 2016 | 56 | 2016 |
Linearizability with ownership transfer A Gotsman, H Yang Logical Methods in Computer Science 9, 2013 | 47 | 2013 |