R2: An Efficient MCMC Sampler for Probabilistic Programs

• 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
• Generative Datalog with Continuous Distributions

  2022 Journal of the ACM article Computer Science Advanced Database Systems and Queries Open access

  5

  citations
• Generating Functions for Probabilistic Programs

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

  9

  citations
• Tabular: Probabilistic Inference from the Spreadsheet

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

  0

  citations
• Generative Datalog with Continuous Distributions

  2020 ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) conference-paper Computer Science Advanced Database Systems and Queries

  7

  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

8 results