conf.researchr.org / Alexey Gotsman
Registered user since Mon 24 Apr 2023
Name:Alexey Gotsman
Country:Spain
Affiliation:IMDEA Software Institute
Personal website: http://software.imdea.org/~gotsman/
Contributions
2019
2017
2016
POPL
- Committee Member in Program Committee within the Research Papers-track
- Author of 'Cause I'm Strong Enough: Reasoning about Consistency Choices in Distributed Systems within the Research Papers-track
- Committee Member in Program Committee
- Session Chair of Track 2: Semantics and memory models (part of Research Papers)