demedeiros-2026-verifying:
  type: article
  title: Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
  author:
  - name: Medeiros
    given-name: Markus
    prefix: de
  - Liu, Puming
  - Li, Kwing Hei
  - Aguirre, Alejandro
  - Birkedal, Lars
  - Tassarotti, Joseph
  date: 2026
  page-range: 71:1-71:28
  url: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.LICS.2026.71
  serial-number:
    doi: 10.4230/LIPICS.LICS.2026.71
  parent:
    type: proceedings
    title: 41st Annual Symposium on Logic in Computer Science (LICS 2026)
    publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
    volume: 380