https://ydvir.org/ https://ydvir.org/research/ https://ydvir.org/research/fossacs-25/ https://ydvir.org/research/toplas-24/ https://ydvir.org/research/esop-24/ https://ydvir.org/research/aplas-22/ https://ydvir.org/research/tableaux-19/ https://ydvir.org/research/visit-tartu-25/ https://ydvir.org/research/popl-src-24/ https://ydvir.org/research/galop-24/ https://ydvir.org/cv/