Reconciling event structures with modern multiprocessors E Moiseenko, A Podkopaev, O Lahav, O Melkonian, V Vafeiadis arXiv preprint arXiv:1911.06567, 2019 | 14* | 2019 |
Constructive negation for minikanren E Moiseenko 1 Towards a miniKanren with fair search strategies by Lu, Ma & Friedman 1 2 …, 2019 | 8 | 2019 |
A survey of programming language memory models E Moiseenko, A Podkopaev, D Koznov Programming and Computer Software 47, 439-456, 2021 | 7 | 2021 |
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 | 2 | 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 | 1 | 2021 |
Relational programming with memoization and negation/Реляционное программирование с мемоизацией и отрицанием EA Moiseenko, AV Podkopaev St. Petersburg State Polytechnical University Journal. Computer Science …, 2018 | | 2018 |