Evgenii Moiseenko

---

Project maintained by eupp Hosted on GitHub Pages — Theme by mattgraham

I am a researcher at JetBrains Research in the field of programming language theory and formal methods with the main focus on the semantics of concurrent programs and weak memory models.

Scholar   ORCID   GitHub

evgeniy.moiseenko@jetbrains.com

Selected Publications

---

• Model Checking for a Multi-Execution Memory Model
  Evgenii Moiseenko, Michalis Kokologiannakis, Viktor Vafeiadis
  OOPSLA 2022

• Reconciling Event Structures with Modern Multiprocessors
  Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
  ECOOP 2020