Probabilistic Program Analysis with Martingales

• 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
• Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops

  2026 Lecture notes in computer science conference-paper Computer Science Constraint Satisfaction and Optimization Open access

  1

  citations
• Error Localization, Certificates, and Hints for Probabilistic Program Verification via Slicing

  2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  1

  citations
• Caesar: A Deductive Verifier for Probabilistic Programs

  2026 Lecture notes in computer science conference-paper Open access

  0

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

  2

  citations
• Quantifier Elimination and Craig Interpolation: The Quantitative Way

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

  0

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

  2024 Proceedings of the ACM on Programming Languages article Computer Science Bayesian Modeling and Causal Inference Open access

  11

  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
• Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants

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

  33

  citations
• The probabilistic termination tool amber

  2022 Formal Methods in System Design article Computer Science Formal Methods in Verification Open access

  5

  citations
• Does a Program Yield the Right Distribution?

  2022 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference Open access

  14

  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
• Automated Termination Analysis of Polynomial Probabilistic Programs

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

  31

  citations
• Latticed k-Induction with an Application to Probabilistic Programs

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

  21

  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
• The Probabilistic Termination Tool Amber

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

  15

  citations
• Relatively Complete Verification of Probabilistic Programs

  2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

  0

  citations
• PrIC3: Property Directed Reachability for MDPs

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

  15

  citations

19 results