Follow
Evgenii Moiseenko
Evgenii Moiseenko
JetBrains Research
Verified email at jetbrains.com - Homepage
Title
Cited by
Cited by
Year
Reconciling event structures with modern multiprocessors
E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
arXiv preprint arXiv:1911.06567, 2019
16*2019
A survey of programming language memory models
E Moiseenko, A Podkopaev, D Koznov
Programming and Computer Software 47, 439-456, 2021
92021
Constructive negation for minikanren
E Moiseenko
1 Towards a miniKanren with fair search strategies by Lu, Ma & Friedman 1 2 …, 2019
82019
Model checking for a multi-execution memory model
E Moiseenko, M Kokologiannakis, V Vafeiadis
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 758-785, 2022
42022
Mechanization of pomset languages in the Coq proof assistant for the specification of weak memory models
EA Moiseenko, VP Gladstein, AV Podkopaev, DV Koznov
Journal Scientific and Technical Of Information Technologies, Mechanics and …, 2022
12022
Mechanized theory of event structures: a case of parallel register machine
VP Gladstein, DV Mikhailovskii, EA Moiseenko, AA Trunov
Труды Института системного программирования РАН 33 (3), 143-154, 2021
12021
Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA
A Potapov, M Zuev, E Moiseenko, N Koval
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024
2024
Relational programming with memoization and negation/Реляционное программирование с мемоизацией и отрицанием
EA Moiseenko, AV Podkopaev
St. Petersburg State Polytechnical University Journal. Computer Science …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–8