Vladimír Marcin

According to our database, Vladimír Marcin authored at least 2 papers in 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Static Deadlock Detection in Low-Level C Code.

Dominik Harmim, Vladimír Marcin, Lucie Svobodova, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

GPU-Accelerated Synthesis of Probabilistic Programs.

Roman Andriushchenko, Milan Ceska, Vladimír Marcin, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022