Evgenii Moiseenko

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Temporal Sequences

Event Detection

Denotational Semantics

Programming Language

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Evgenii Moiseenko, Michalis Kokologiannakis, Viktor Vafeiadis
Model checking for a multi-execution memory model. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Evgenii Moiseenko, Anton Podkopaev, Dmitrij V. Koznov
A Survey of Programming Language Memory Models. Program. Comput. Softw. 47 (6) (2021)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Reconciling Event Structures with Modern Multiprocessors. ECOOP (2020)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Reconciling Event Structures with Modern Multiprocessors (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Evgenii Moiseenko, Anton Podkopaev, Ori Lahav, Orestis Melkonian, Viktor Vafeiadis
Reconciling Event Structures with Modern Multiprocessors. CoRR (2019)