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.
Relaxed Memory Concurrency Re-executed
Evgenii Moiseenko, Matteo Meluzzi, Innokentii Meleshchenko, Ivan Kabashnyi,
Anton Podkopaev, Soham Chakraborty
POPL 2025
[Technical appendix] [Artifact]
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