Roman Andriushchenko, Milan Ceska 0002, Vladimír Marcin, Tomás Vojnar. GPU-Accelerated Synthesis of Probabilistic Programs. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2022 - 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers. Volume 13789 of Lecture Notes in Computer Science, pages 258-266, Springer, 2022. [doi]
Abstract is missing.