W6944274836

• Highly Incremental: A Simple Programmatic Approach for Many Objectives

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

  1

  citations
• Caesar: A Deductive Verifier for Probabilistic Programs

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

  2023 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  22

  citations
• Weighted programming: a programming paradigm for specifying mathematical models

  2022 Proceedings of the ACM on Programming Languages article Computer Science Logic, programming, and type systems Open access

  18

  citations

6 results