Automatic Static Cost Analysis for Parallel Programs
Abstract elided by the publisher.
Related papers
- Compilation of a specialized functional language for massively parallel computers JFP 2000
- A Modular Static Cost Analysis for GPU Warp-Level Parallelism POPL 2026
- Static Analysis to Reduce Synchronization Costs in Data-Parallel Programs POPL 1996
- Logical inference techniques for loop parallelization PLDI 2012
- Automatic Parallelism Management POPL 2024
- Robust Resource Bounds with Static Analysis and Bayesian Inference PLDI 2024
- Static prediction of parallel computation graphs POPL 2022
- Evaluation of Predicated Array Data-Flow Analysis for Automatic Parallelization PPoPP 1999