Probabilistic predicate transformers

• A Taxonomy of Hoare-Like Logics: Towards a Holistic View using Predicate Transformers and Kleene Algebras with Top and Tests

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

  3

  citations
• Quantum Computing: From Weakest Preconditions to Voltage Pulses

  2024 Lecture notes in computer science conference-paper Computer Science Quantum Computing Algorithms and Architecture

  0

  citations
• Lower Bounds for Possibly Divergent Probabilistic Programs

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

  14

  citations
• Computing Sufficient and Necessary Conditions in CTL: A Forgetting Approach

  2022 Information Sciences article Computer Science Formal Methods in Verification Open access

  3

  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
• 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
• Counterexample-guided inductive synthesis for probabilistic systems

  2021 Formal Aspects of Computing article Computer Science Formal Methods in Verification Open access

  7

  citations
• A pre-expectation calculus for probabilistic sensitivity

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

  24

  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

9 results