Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Evgenii Moiseenko
conf.researchr.org general profile
ICFP 2019 profile
ISSTA/ECOOP 2024 profile
POPL 2025 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
2025
POPL
Author of Relaxed Memory Concurrency Re-executed within the POPL-track
2024
ECOOP/ISSTA
Author of Testing concurrent algorithms on JVM with Lincheck and IntelliJ IDEA within the Tool Demonstrations-track
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
Thu 24 Apr 12:28
