![]() |
Alexey GotsmanResearch ProfessorIMDEA Software Institute Campus Montegancedo s/n 28223-Pozuelo de Alarcón, Madrid, Spain Tel.: +34-91-101-2202 ext 4136
|
I am a tenured Research Professor at the IMDEA Software Institute. Before joining IMDEA I was a postdoctoral fellow at the University of Cambridge, where I also got my Ph.D. My research interests are at the intersection of software verification and distributed computing.
Alejandro Naser Pastoriza, Gregory Chockler, and Alexey Gotsman
Fault-tolerant computing with unreliable channels
Arxiv preprint [PDF]
Manuel Bravo, Gregory Chockler, and Alexey Gotsman
Liveness and latency of Byzantine state-machine replication
[PDF]
DISC'22: International Symposium on Distributed Computing.
Extended version available as arXiv:2202.06679
[PDF]
Manuel Bravo, Gregory Chockler, and Alexey Gotsman
Making Byzantine consensus live
[PDF]
Distributed Computing, 35(6). Springer, 2022.
Journal version of our DISC'20 paper.
Joseph Izraelevitz, Gaukas Wang, Rhett Hanscom, Kayli Silvers, Tamara Silbergleit Lehman, Gregory Chockler and Alexey Gotsman
Acuerdo: Fast atomic broadcast over RDMA
[PDF]
ICPP'22: International Conference on Parallel Processing. ACM, 2022.
Manuel Bravo, Alexey Gotsman, Borja de Régil, and Hengfeng Wei
UniStore: A fault-tolerant marriage of causal and strong consistency
[PDF]
USENIX ATC'21: USENIX Annual Technical Conference, 2021.
Extended version available as arXiv:2106.00344
[PDF]
Vitor Enes, Carlos Baquero, Alexey Gotsman, and Pierre Sutra
Efficient replication via timestamp stability
[PDF]
[Code]
EuroSys'21: European Conference on Computer Systems. ACM, 2021.
Extended version available as arXiv:2104.01142
[PDF]
Gregory Chockler and Alexey Gotsman
Multi-shot distributed transaction commit
[PDF]
Distributed Computing, 34(4). Springer, 2021.
Journal version of our DISC'18 paper.
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, and Marek Zawirski
Specification and space complexity of collaborative text editing
[PDF]
Theoretical Computer Science, 855. Elsevier, 2021.
Journal version of our PODC'16 paper.
Manuel Bravo, Gregory Chockler, and Alexey Gotsman
Making Byzantine consensus live
[PDF]
DISC'20: International Symposium on Distributed Computing, LIPICS 179. Dagstuhl, 2020.
Extended version available as arXiv:2008.04167
[PDF]
Vitor Enes, Carlos Baquero, Tuanir França Rezende, Alexey Gotsman, Matthieu Perrin, and Pierre Sutra
State-machine replication for planet-scale systems
[PDF]
EuroSys'20: European Conference on Computer Systems. ACM, 2020.
Extended version available as arXiv:2003.11789
[PDF]
Artem Khyzha, Hagit Attiya and Alexey Gotsman
Privatization-safe transactional memories
[PDF]
DISC'19: International Symposium on Distributed Computing, LIPICS 146. Dagstuhl, 2019.
Extended version available as arXiv:1908.03179
[PDF]
Manuel Bravo and Alexey Gotsman
Reconfigurable atomic transaction commit
[PDF]
PODC'19: Symposium on Principles of Distributed Computing. ACM, 2019.
Extended version available as arXiv:1906.01365
[PDF]
Alexey Gotsman, Anatole Lefort and Gregory Chockler
White-box atomic multicast
[PDF]
[Code]
DSN'19: International Conference on Dependable Systems and Networks. IEEE, 2019.
Extended version available as arXiv:1904.07171
[PDF]
I have postdoc, PhD student and intern positions available. Apply here under "Open Call" and mention my name in the application documents.
Alumni:
Recent programme committees: OSDI'24, POPL'24, ESOP'24, PODC'23, OPODIS'22, SSS'22, Middleware'22, PaPoC'22, PODC'21, CONCUR'21, OPODIS'21, PODC'20, POPL'20, DSN'19, CONCUR'19, ESOP'19, ECOOP'19
Co-chair: Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) 2017, affiliated with EuroSys
Co-organiser: Dagstuhl Seminar "Data Consistency in Distributed Systems: Algorithms, Programs, and Databases", 2018
ERC Starting Grant "RACCOON: A Rigorous Approach to Consistency in Cloud Databases", 2017-2022
Ramón y Cajal Fellowship, 2017-2021
I was the coordinator of an EU project ADVENT (2013-2016), funded through the FP7 FET Young Explorers scheme
Summer School on Practice and Theory of Distributed Computing, 2020
Summer School on Verification Technology, Systems & Applications, University of Luxembourg, 2019
Winter School on Separation Logics and Applications, ENS Lyon, 2011