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 and verification of concurrent programs.

Scholar   ORCID   GitHub

evgeniy.moiseenko@jetbrains.com

Selected Publications

---

• Relaxed Memory Concurrency Re-executed
  Evgenii Moiseenko, Matteo Meluzzi, Innokentii Meleshchenko, Ivan Kabashnyi, Anton Podkopaev, Soham Chakraborty
  POPL 2025
  Distinguished Paper Award
  [Technical appendix] [Artifact]

• Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA
  Aleksandr Potapov, Maksim Zuev, Evgenii Moiseenko, Nikita Koval
  IISTA/ECOOP Tool Demonstrations Track 2024
  Distinguished Tool Demo Award
  [Demonstration video]

• 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