Evgenii Moiseenko
Evgenii Moiseenko
JetBrains Research
Verified email at - Homepage
Cited by
Cited by
Reconciling event structures with modern multiprocessors
E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis
arXiv preprint arXiv:1911.06567, 2019
A survey of programming language memory models
E Moiseenko, A Podkopaev, D Koznov
Programming and Computer Software 47, 439-456, 2021
Constructive negation for minikanren
E Moiseenko
1 Towards a miniKanren with fair search strategies by Lu, Ma & Friedman 1 2 …, 2019
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
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
Mechanized theory of event structures: a case of parallel register machine
VP Gladstein, DV Mikhailovskii, EA Moiseenko, AA Trunov
Труды Института системного программирования РАН 33 (3), 143-154, 2021
Relational programming with memoization and negation/Реляционное программирование с мемоизацией и отрицанием
EA Moiseenko, AV Podkopaev
St. Petersburg State Polytechnical University Journal. Computer Science …, 2018
The system can't perform the operation now. Try again later.
Articles 1–7