_id,doi,title
14485,10.4230/LIPIcs.DISC.2023.35,Brief announcement: BatchBoost: Universal batching for concurrent data structures
14995,10.5281/ZENODO.7877757,Lincheck: A practical framework for testing concurrent data structures on JVM
13262,10.1145/3558481.3591082,Provably-efficient and internally-deterministic parallel Union-Find
14260,10.1007/978-3-031-37706-8_8,"Lincheck: A practical framework for testing concurrent data structures on JVM"
12736,10.1145/3572848.3577512,Unexpected scaling in path copying trees