Evgenii Moiseenko

Orcid: 0000-0003-2715-1143

According to our database1, Evgenii Moiseenko authored at least 5 papers between 2020 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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...