Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., &; Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. Zenodo.https://doi.org/10.5281/ZENODO.7877757 

Postnikova, A., Koval, N., Nadiradze, G., &; Alistarh, D.-A. (2022). Multi-queues can be state-of-the-art priority schedulers. Zenodo.https://doi.org/10.5281/ZENODO.5733408