@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},
}