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 
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 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 
LibreCat: https://research-explorer.ista.ac.at/record/13076
DOI: 10.5281/ZENODO.5733408