GPU-accelerated fixpoint algorithms for faster compiler analyses
Abstract
Inter-procedural data-flow analyses are slow. We parallelize these predicate propagation fixpoint algorithms efficiently on a GPU.
Related papers
- Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs TOPLAS 1994
- spECK: accelerating GPU sparse matrix-matrix multiplication through lightweight analysis PPoPP 2020
- SAT Solving with GPU Accelerated Inprocessing TACAS 2021
- HybridSA: GPU Acceleration of Multi-pattern Regex Matching using Bit Parallelism OOPSLA 2024
- Improving Tridiagonalization Performance on GPU Architectures PPoPP 2025
- Compiling Strassen-like Matrix Multiplication Algorithms to Fast CUDA Kernels PLDI 2026
- EigenCFA: accelerating flow analysis with GPUs POPL 2011
- POSTER: Accelerating High-Precision Integer Multiplication used in Cryptosystems with GPUs PPoPP 2024