Scaling exact inference for discrete probabilistic programs

• Generating Functions Meet Occupation Measures: Invariant Synthesis for Probabilistic Loops

  2026 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems 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 Logic, programming, and type systems

  1

  citations
• Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families

  2026 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification 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
• 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
• 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
• Does a Program Yield the Right Distribution?

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

  14

  citations
• Bayesian Inference by Symbolic Model Checking

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

  10

  citations

8 results