Benjamin Lucien Kaminski

Publications with FICTION

Journal Articles

  1. (2023). Lower Bounds for Possibly Divergent Probabilistic Programs. Proc. ACM Program. Lang. (OOPSLA). PDF Cite Poster Slides DOI

Conference Papers

  1. (2023). Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants. In TACAS 2023. PDF Cite DOI Artifact Evaluated
  2. (2021). Latticed $k$-Induction with an Application to Probabilistic Programs. In CAV 2021. PDF Cite Slides DOI Artifact Evaluated Pulp Fiction