Joost-Pieter Katoen

Publications with FICTION

Journal Articles

  1. (2024). Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions. Proc. ACM Program. Lang. (OOPSLA). Cite Artifact Evaluated
  2. (2023). Lower Bounds for Possibly Divergent Probabilistic Programs. Proc. ACM Program. Lang. (OOPSLA). PDF Cite Poster Slides DOI
  3. (2022). Encoding Inductive Invariants as Barrier Certificates. Inf. Comput.. PDF Cite Code Slides DOI

Conference Papers

  1. (2024). Latticed Craig Interpolation with an Application to Probabilistic Verification. In CIBD 2024. PDF Cite
  2. (2023). Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. In TACAS 2023. PDF Cite DOI Artifact Evaluated
  3. (2023). Exact Probabilistic Inference Using Generating Functions. In LAFI 2023. PDF Cite Code
  4. (2022). Does a Program Yield the Right Distribution?. In CAV 2022. PDF Cite DOI Artifact Evaluated
  5. (2021). Latticed $k$-Induction with an Application to Probabilistic Programs. In CAV 2021. PDF Cite Slides DOI Artifact Evaluated Pulp Fiction
  6. (2021). Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming. In CAV 2021. PDF Cite Slides Video DOI Artifact Evaluated

Preprints

  1. (2020). On Termination of Polynomial Programs with Equality Conditions. arXiv. Preprint. PDF Cite Code DOI