Alexey GotsmanAssociate Research Professor
IMDEA Software Institute
Campus Montegancedo s/n
28223-Pozuelo de Alarcón, Madrid, Spain
Tel.: +34-91-101-2202 ext 4136
I am a tenured Associate 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.
Artem Khyzha, Hagit Attiya and Alexey Gotsman
Privatization-safe transactional memories [PDF]
DISC'19: International Symposium on Distributed Computing, LIPICS 146, pages 24:1-24:17, 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, pages 399-408. 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, pages 176-187. IEEE, 2019.
Extended version available as arXiv:1904.07171 [PDF]
Andrea Cerone and Alexey Gotsman
Analysing snapshot isolation [PDF]
Journal of the ACM, 65(2), 11:1-11:41. ACM, 2018.
Journal version of our PODC'16 paper.
Hagit Attiya, Alexey Gotsman, Sandeep Hans, and Noam Rinetzky
Characterizing transactional memory consistency conditions using observational refinement [PDF]
Journal of the ACM, 65(1), 2:1-2:44. ACM, 2018.
Journal version of our PODC'13 and DISC'14 papers.
Álvaro García-Pérez and Alexey Gotsman
Federated Byzantine quorum systems [PDF]
OPODIS'18: International Conference on Principles of Distributed Systems, LIPICS 125, pages 17:1-17:16, 2018.
Extended version available as arXiv:1811.03642 [PDF]
Gregory Chockler and Alexey Gotsman
Multi-shot distributed transaction commit [PDF]
DISC'18: International Symposium on Distributed Computing, LIPICS 121, pages 14:1-14:18, 2018.
Extended version available as arXiv:1808.00688 [PDF]
Best paper award
Artem Khyzha, Hagit Attiya, Alexey Gotsman, and Noam Rinetzky
Safe privatization in transactional memory [PDF]
PPoPP'18: Symposium on Principles and Practice of Parallel Programming, pages 233-245. ACM, 2018.
Extended version available as arXiv:1801.04249 [PDF]
Álvaro García-Pérez, Alexey Gotsman, Yuri Meshman, and Ilya Sergey
Paxos consensus, deconstructed and abstracted [PDF]
ESOP'18: European Symposium on Programming, LNCS 10801, pages 912-939. Springer, 2018.
Extended version available as arXiv:1802.05969 [PDF]
Mike Dodds, Mark Batty, and Alexey Gotsman
Compositional verification of compiler optimisations on relaxed memory [PDF]
ESOP'18: European Symposium on Programming, LNCS 10801, pages 1027-1055. Springer, 2018.
Extended version available as arXiv:1802.05918 [PDF]
Alexey Gotsman and Sebastian Burckhardt
Consistency models with global operation sequencing and their composition [PDF]
DISC'17: International Symposium on Distributed Computing, LIPICS 91, pages 23:1-23:16, 2017.
Extended version available as arXiv:1707.09242 [PDF]
Andrea Cerone, Alexey Gotsman, and Hongseok Yang
Algebraic laws for weak consistency [PDF]
CONCUR'17: International Conference on Concurrency Theory, LIPICS 85, pages 26:1-26:18, 2017.
Extended version available as arXiv:1702.06028 [PDF]
Artem Khyzha, Mike Dodds, Alexey Gotsman, and Matthew Parkinson
Proving linearizability using partial orders [PDF]
ESOP'17: European Symposium on Programming, LNCS 10201, pages 639-667. Springer, 2017.
Extended version available as arXiv:1701.05463 [PDF]
Hagit Attiya, Sebastian Burckhardt, Alexey Gotsman, Adam Morrison, Hongseok Yang, and Marek Zawirski
Specification and complexity of collaborative text editing [PDF]
PODC'16: Symposium on Principles of Distributed Computing, pages 259-268. ACM, 2016.
Extended version [PDF]
Alexey Gotsman, Hongseok Yang, Carla Ferreira, Mahsa Najafzadeh, and Marc Shapiro
'Cause I'm strong enough: reasoning about consistency choices in distributed systems [PDF]
POPL'16: Symposium on Principles of Programming Languages, pages 371-384. ACM, 2016.
Extended version [PDF]
Tool paper [PDF]
Manuel Bravo, Postdoc
Álvaro García Pérez, Postdoc
Yuri Meshman, Postdoc
Alejandro Naser, PhD student
Fedor Ryabinin, PhD student
Borja de Régil, Intern
I have multiple Postdoc, PhD student and intern positions available, funded by an ERC grant. Details and instructions on how to apply are here.
Giovanni Bernardi (postdoc), now faculty at the University of Paris 7
Andrea Cerone (postdoc), now postdoc at Imperial College London
Joe Izraelevitz (postdoc), now faculty at University of Colorado Boulder
Matthieu Perrin (postdoc), now faculty at the University of Nantes
Programme committees: CONCUR'20, POPL'20, DSN'19, CONCUR'19, ESOP'19, ECOOP'19, PODC'18, ICDCS'18, ICALP'18, PLDI'17 (ERC), ESOP'17, PMLDC'17, TRANSACT'17, CONCUR'16, POPL'16, PMLDC'16, ESOP'15, APLAS'15, ACSD'15, PLACES'15, OPODIS'14, ESOP'14, VMCAI'14, PaPEC'14, ICALP'13, MFPS'12, SSV'11, FMICS'09
Co-chair: International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), 2020.
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"
Summer School on Verification Technology, Systems & Applications, University of Luxembourg, 2019
Winter School on Separation Logics and Applications, ENS Lyon, 2011