A Discipline of Programming

• 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
• Dynamic Separation Logic

  2023 Electronic Notes in Theoretical Informatics and Computer Science article Computer Science Logic, programming, and type systems Open access

  1

  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
• Out of Control: Reducing Probabilistic Models by Control-State Elimination

  2022 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

  3

  citations
• Relatively complete verification of probabilistic programs: an expressive language for expectation-based reasoning

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

  33

  citations
• A Debugger for Probabilistic Programs

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

  2

  citations
• Expected Runtime Analyis by Program Verification

  2020 Cambridge University Press eBooks book-chapter Computer Science Logic, programming, and type systems

  12

  citations
• Relatively Complete Verification of Probabilistic Programs

  2020 arXiv (Cornell University) preprint Computer Science Logic, programming, and type systems Open access

  0

  citations

8 results