W3109436335

• 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
• The probabilistic termination tool amber

  2022 Formal Methods in System Design article Computer Science Logic, programming, and type systems Open access

  5

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

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

  31

  citations
• The Probabilistic Termination Tool Amber

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

  15

  citations
• Fine-Tuning the Odds in Bayesian Networks

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

  10

  citations

6 results