GPU-Accelerated Synthesis of Probabilistic Programs. - Roman Andriushchenko; Milan Ceska 002; Vladimír Marcin; Tomás Vojnar (EUROCAST, 2022)

Static Deadlock Detection in Low-Level C Code. - Dominik Harmim; Vladimír Marcin; Lucie Svobodova; Tomás Vojnar (EUROCAST, 2022)