Compositional certified resource bounds

• Modular Automatic Complexity Analysis of Recursive Integer Programs

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

  1

  citations
• KoAT: Automatic Complexity and Termination Analysis of Integer Programs

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

  0

  citations
• Control-Flow Refinement for Complexity Analysis of Probabilistic Programs in KoAT (Short Paper)

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

  6

  citations
• Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs

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

  7

  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
• Improving Automatic Complexity Analysis of Integer Programs

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

  10

  citations
• Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

  2021 other Computer Science Logic, programming, and type systems

  2

  citations
• Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes

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

  20

  citations
• Inferring Lower Runtime Bounds for Integer Programs

  2020 ACM Transactions on Programming Languages and Systems article Computer Science Logic, programming, and type systems Open access

  12

  citations

9 results