Analyzing Runtime and Size Complexity of Integer Programs
No abstract available.
Related papers
- KoAT: Automatic Complexity and Termination Analysis of Integer Programs CAV 2026
- Alternating Runtime and Size Complexity Analysis of Integer Programs TACAS 2014
- Inferring Expected Runtimes of Probabilistic Integer Programs Using Expected Sizes TACAS 2021
- Runtime Complexity Bounds Using Squeezers TOPLAS 2022
- Runtime automatic speculative parallelization CGO 2011
- Sound input filter generation for integer overflow errors POPL 2014
- Inferring Lower Runtime Bounds for Integer Programs TOPLAS 2020
- POSTER: Accelerating High-Precision Integer Multiplication used in Cryptosystems with GPUs PPoPP 2024