Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Evgenii Moiseenko
conf.researchr.org general profile
ICFP 2019 profile
SPLASH 2020 profile
SPLASH 2022 profile
Registered user since Fri 22 May 2020
Name:
Evgenii Moiseenko
Affiliation:
JetBrains Research
Personal website:
https://eupp.github.io/
Contributions
2022
SPLASH
Author of Model Checking for a Multi-Execution Memory Model within the V-OOPSLA-track
2020
ECOOP
Author of Reconciling Event Structures with Modern Multiprocessors within the Research Papers-track
Author of Reconciling Event Structures with Modern Multiprocessors within the Artifacts-track
2019
miniKanren
Author of Constructive Negation for miniKanren within the miniKanren 2019-track
Share
x
Tue 28 Nov 17:54