@ARTICLE{
author={Artiukhov Dmitrii,Brockbernd Bob,Fedotova Evgeniia,Koval Nikita,Kylchik Ivan,Moiseenko Evgenii,Serebryakov Lev,Zhelenskiy Evgeniy,Zuev Maksim},
year={2026},
title={Trace Debugger: Interactive Execution Trace Debugging for Java and Kotlin},
journal={JOURNAL OF OBJECT TECHNOLOGY},
volume={25},
number={1},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Lochmelis Denis,Golubev Yaroslav,Moiseenko Evgenii,Podkopaev Anton},
year={2025},
title={LitmusKt: Concurrency Stress Testing for Kotlin},
journal={COMPANION PROCEEDINGS OF THE 33RD ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2025},
volume={},
number={},
pages={1074-1078},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Moiseenko Evgenii,Meluzzi Matteo,Meleshchenko Innokentii,Kabashnyi Ivan,Podkopaev Anton,Chakraborty Soham},
year={2025},
title={Relaxed Memory Concurrency Re-executed},
journal={PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL},
volume={9},
number={POPI},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Potapov Aleksandr,Zuev Maksim,Moiseenko Evgenii,Koval Nikita},
year={2024},
title={Testing Concurrent Algorithms on JVM with Lincheck and IntelliJ IDEA},
journal={PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024},
volume={},
number={},
pages={1821-1825},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Moiseenko Evgenii,Kokologiannakis Michalis,Vafeiadis Viktor},
year={2022},
title={Model Checking for a Multi-Execution Memory Model},
journal={PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL},
volume={6},
number={OOPSLA},
pages={-},
document_type={Article},
}