DOI,IST REx ID,Research Group,Title of publication
10.1145/3332466.3374503,7635,DaAl,Testing concurrency on the JVM with Lincheck
10.1145/3332466.3374542,7636,DaAl,Non-blocking interpolation search trees with doubly-logarithmic running time