Reconciling Event Structures with Modern Multiprocessors. - Evgenii Moiseenko; Anton Podkopaev; Ori Lahav 001; Orestis Melkonian; Viktor Vafeiadis (ECOOP, 2020)

Reconciling Event Structures with Modern Multiprocessors (Artifact). - Evgenii Moiseenko; Anton Podkopaev; Ori Lahav 001; Orestis Melkonian; Viktor Vafeiadis (Dagstuhl Artifacts Ser., 2020)

A Survey of Programming Language Memory Models. - Evgenii Moiseenko; Anton Podkopaev; Dmitrij V. Koznov (Program. Comput. Softw., 2021)

Model checking for a multi-execution memory model. - Evgenii Moiseenko; Michalis Kokologiannakis; Viktor Vafeiadis (Proc. ACM Program. Lang., 2022)

Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA. - Aleksandr Potapov; Maksim Zuev; Evgenii Moiseenko; Nikita Koval (ISSTA, 2024)

LitmusKt: Concurrency Stress Testing for Kotlin. - Denis Lochmelis; Evgenii Moiseenko; Yaroslav Golubev; Anton Podkopaev (SIGSOFT FSE Companion, 2025)

Relaxed Memory Concurrency Re-executed. - Evgenii Moiseenko; Matteo Meluzzi; Innokentii Meleshchenko; Ivan Kabashnyi; Anton Podkopaev; Soham Chakraborty 001 (Proc. ACM Program. Lang., 2025)