Concepedia

Alexey Gotsman

AG

Statistics

Publications

32

Citations

1.3K

H-Index

20

Active since

2005

Affiliations

IMDEA Software Institute(Current)

Madrid Institute for Advanced Studies

University of Oxford

University of Cambridge

Microsoft Research (United Kingdom)

Alexey Gotsman is an author at IMDEA Software Institute specializing in formal verification, computer science, and engineering.

Top concepts

EngineeringComputer ScienceFormal VerificationFormal MethodsSoftware AnalysisVerificationProgram AnalysisSystem SoftwareSystems EngineeringParallel Programming

Publications per year

2005–2022

32

Publications

32

Replicated data types

Sebastian Burckhardt, Alexey Gotsman, Hongseok Yang et al. · 2014 · 159 citations · Full text

Different Replicas, Cluster Computing, Engineering +19

'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

Engineering, Verification, Fault Tolerance +20

Library abstraction for C/C++ concurrency

Mark Batty, Mike Dodds, Alexey Gotsman · 2013 · 93 citations

Concurrent Libraries, Engineering, Computer Architecture +18

Thread-modular shape analysis

Alexey Gotsman, Josh Berdine, Byron Cook et al. · 2007 · 89 citations

Engineering, Geometry, Statistical Shape Analysis +26

Proving that programs eventually do something good

Byron Cook, Alexey Gotsman, Andreas Podelski et al. · ACM SIGPLAN Notices · 2007 · 88 citations

Software Maintenance, Program Checking, Engineering +24

Rows per page

1–5 of 32