Alexey Gotsman Associate Research Professor IMDEA Software Institute Campus Montegancedo s/n 28223-Pozuelo de Alarcón, Madrid, Spain Tel.: +34-91-101-2202 ext 4136 Fax: +34-91-101-1358 @ Email: Alexey.Gotsman imdea.org

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 in methods and tools for developing correct concurrent and distributed software.

Recent publications

• 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.

• 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, Vienna, Austria, 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, Thessaloniki, Greece, 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, Thessaloniki, Greece, 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, Vienna, Austria, 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, Berlin, Germany, 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, Uppsala, Sweden, LNCS 10201, pages 639-667. Springer, 2017.
  Extended version available as arXiv:1701.05463 [PDF]
  

• Artem Khyzha, Alexey Gotsman, and Matthew Parkinson
  A generic logic for proving linearizability [PDF]
  FM'16: International Symposium on Formal Methods, Limassol, Cyprus, LNCS 9995, pages 426-443. Springer, 2016.
  Extended version available as arXiv:1609.01171 [PDF]
  

• Giovanni Bernardi and Alexey Gotsman
  Robustness against consistency models with atomic visibility [PDF]
  CONCUR'16: International Conference on Concurrency Theory, Quebec City, Canada, LIPICS 59, pages 7:1-7:15, 2016.
  Extended version [PDF]
  

• Andrea Cerone and Alexey Gotsman
  Analysing snapshot isolation [PDF]
  PODC'16: Symposium on Principles of Distributed Computing, Chicago, IL, USA, pages 55-64. ACM, 2016.
  Extended version [PDF]
  Best paper award

• 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, Chicago, IL, USA, 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, St. Petersburg, FL, USA, pages 371-384. ACM, 2016.
  Extended version [PDF]
  Tool demo [Video], Tool demo [PDF]

• All publications

Research group

• Álvaro García Pérez, Postdoc

• Joe Izraelevitz, Postdoc

• Yuri Meshman, Postdoc

• Artem Khyzha, PhD student

• Borja de Régil, Intern

• Anatole Lefort, Intern

I have multiple PhD and postdoc positions available, funded by an ERC grant. I am also looking for interns. If you're interested, drop me an email.

Alumni:

• Giovanni Bernardi (postdoc), now faculty at the University of Paris 7

• Andrea Cerone (postdoc), now postdoc at Imperial College London

• Matthieu Perrin (postdoc), now faculty at the University of Nantes

Activities

• Programme committees: 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: 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"

Funding

• ERC Starting Grant "RACCOON: A Rigorous Approach to Consistency in Cloud Databases"

• Ramón y Cajal Fellowship

• I was the coordinator of an EU project ADVENT (2013-2016), funded through the FP7 FET Young Explorers scheme

• Microsoft Research European PhD Scholarship, held by Artem Khyzha

• Microsoft Research Software Engineering Innovation Foundation Award (SEIF)