W3186609013

• 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
• 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
• 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
• J-P: MDP. FP. PP

  2024 Lecture notes in computer science conference-paper 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
• Programmatic Strategy Synthesis: Resolving Nondeterminism in Probabilistic Programs

  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
• 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
• Certificates for Probabilistic Pushdown Automata via Optimistic Value Iteration

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

  6

  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
• 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
• Foundations for Entailment Checking in Quantitative Separation Logic

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

  4

  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

14 results