![]() |
Alexey GotsmanAssociate Research ProfessorIMDEA 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
|
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.
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]
Á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
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"
ERC Starting Grant "RACCOON: A Rigorous Approach to Consistency in Cloud Databases"
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)