Paper at OOPSLA 2024

The paper entitled “Exact Bayesian Inference for Loopy Probabilistic Programs Using Generating Functions” by Lutz Klinkenberg, Christian Blumenthal, Mingshuai Chen, Darion Haase and Joost-Pieter Katoen has been accepted for the Conference Object-Oriented Programming, Systems, Languages, and Applications 2024 (OOPSLA). The paper presents a novel exact inference technique for discrete probabilistic programs with unbounded loops and conditioning. It uses probability generating functions to do exact inference and includes an extensive experimental evaluation.