# Papers ## Program Analysis for GPU programs 1. [An Abstract Interpretation for SPMD Divergence on Reducible Control Flow Graphs (POPL 2021)](https://dl.acm.org/doi/10.1145/3434312) 2. [A Modular Static Cost Analysis for GPU Warp-Level Parallelism (POPL 2026)](https://dl.acm.org/doi/10.1145/3776693) ## PTX Semantics 1. [A Formal Analysis of the NVIDIA PTX Memory Consistency Model](https://dl.acm.org/doi/abs/10.1145/3297858.3304043) 2. [Towards Unified Analysis of GPU Consistency](https://dl.acm.org/doi/10.1145/3622781.3674174)
Papers
Program Analysis for GPU programs
PTX Semantics