Conditioning in Probabilistic Programming

• Caesar: A Deductive Verifier for Probabilistic Programs

  2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  0

  citations
• Weighted Automata for Exact Inference in Discrete Probabilistic Programs

  2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  1

  citations
• Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back

  2025 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  2

  citations
• Exact Bayesian Inference for Loopy Probabilistic Programs using Generating Functions

  2024 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  11

  citations
• A Deductive Verification Infrastructure for Probabilistic Programs

  2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  22

  citations
• Lower Bounds for Possibly Divergent Probabilistic Programs

  2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  14

  citations
• The probabilistic model checker Storm

  2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

  246

  citations
• Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning

  2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  33

  citations
• A pre-expectation calculus for probabilistic sensitivity

  2021 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  24

  citations
• Expected Runtime Analyis by Program Verification

  2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

  12

  citations
• Weakest Preexpectation Semantics for Bayesian Inference

  2020 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  5

  citations

11 results