Lutz Klinkenberg

Publications with FICTION

Journal Articles

  1. (2024). Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions. Proc. ACM Program. Lang. (OOPSLA). PDF Cite Artifact Evaluated

Conference Papers

  1. (2023). Exact Probabilistic Inference Using Generating Functions. In LAFI 2023. PDF Cite Code
  2. (2022). Does a Program Yield the Right Distribution?. In CAV 2022. PDF Cite DOI Artifact Evaluated