Statistics
Publications
32
Citations
1.3K
H-Index
20
Active since
2005
Alexey Gotsman is an author at IMDEA Software Institute specializing in computing, computer science, and computer systems.
Publications per year
2005–2022
32
32
Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang et al. · 2014 · 159 citations · Full text
'Cause I'm strong enough: Reasoning about consistency choices in distributed systems
Alexey Gotsman, Hongseok Yang, Carla Ferreira et al. · 2016 · 117 citations · Full text
Library abstraction for C/C++ concurrency
Mark Batty, Mike Dodds, Alexey Gotsman · 2013 · 93 citations
Alexey Gotsman, Josh Berdine, Byron Cook et al. · 2007 · 91 citations
Proving that programs eventually do something good
Byron Cook, Alexey Gotsman, Andreas Podelski et al. · ACM SIGPLAN Notices · 2007 · 88 citations
1–5 of 32