@inproceedings{demedeiros-2026-verifying,
  doi = {10.4230/LIPICS.LICS.2026.71},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.LICS.2026.71},
  author = {de Medeiros, Markus and Liu, Puming and Li, Kwing Hei and Aguirre, Alejandro and Birkedal, Lars and Tassarotti, Joseph},
  keywords = {Probabilistic Programming, Separation Logic, Formal Verification, Theory of computation → Logic and verification, Theory of computation → Program verification, Theory of computation → Probabilistic computation},
  language = {en},
  title = {Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic},
  volume = {380},
  pages = {71:1-71:28},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2026},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {41st Annual Symposium on Logic in Computer Science (LICS 2026)}
}