Evgenii Moiseenko

Orcid: 0000-0003-2715-1143

According to our database1, Evgenii Moiseenko authored at least 8 papers between 2020 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin.
J. Object Technol., 2026

2025
Relaxed Memory Concurrency Re-executed.
Proc. ACM Program. Lang., 2025

LitmusKt: Concurrency Stress Testing for Kotlin.
Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering, 2025

2024
Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA.
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2022
Model checking for a multi-execution memory model.
Proc. ACM Program. Lang., 2022

2021
A Survey of Programming Language Memory Models.
Program. Comput. Softw., 2021

2020
Reconciling Event Structures with Modern Multiprocessors (Artifact).
Dagstuhl Artifacts Ser., 2020

Reconciling Event Structures with Modern Multiprocessors.
Proceedings of the 34th European Conference on Object-Oriented Programming, 2020


  Loading...