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
13*2019
Constructive negation for minikanren
E Moiseenko
1 Towards a miniKanren with fair search strategies by Lu, Ma & Friedman 1 2 …, 2019
82019
A survey of programming language memory models
E Moiseenko, A Podkopaev, D Koznov
Programming and Computer Software 47, 439-456, 2021
62021
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
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
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–6