Reasoning about Recursive Probabilistic Programs

• Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control

  2026 ACM Transactions on Computational Logic article Computer Science Quantum Computing Algorithms and Architecture Open access

  0

  citations
• Model Checking Temporal Properties of Recursive Probabilistic Programs

  2023 Logical Methods in Computer Science article Computer Science Formal Methods in Verification Open access

  4

  citations
• A Deductive Verification Infrastructure for Probabilistic Programs

  2023 Proceedings of the ACM on Programming Languages article Computer Science Formal Methods in Verification Open access

  22

  citations
• On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata

  2023 conference-paper Computer Science Formal Methods in Verification

  5

  citations
• Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration

  2023 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  6

  citations
• Model Checking Temporal Properties of Recursive Probabilistic Programs

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  9

  citations
• Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

  2021 other Computer Science Formal Methods in Verification

  2

  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 Formal Methods in Verification Open access

  24

  citations
• Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

  2021 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  20

  citations
• Expected Runtime Analyis by Program Verification

  2020 Cambridge University Press eBooks book-chapter Computer Science Bayesian Modeling and Causal Inference

  12

  citations
• Weakest Preexpectation Semantics for Bayesian Inference

  2020 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

  5

  citations

12 results