@article{c9ce7827b7b24c5bbd35ccf16b52e1a6,
title = "A Modular Static Cost Analysis for GPU Warp-Level Parallelism",
keywords = "cost analysis, GPU programming, relational verification",
author = "Gregory Blike and Hannah Zicarelli and Udaya Sathiyamoorthy and Julien Lange and Tiago Cogumbreiro",
note = "Publisher Copyright: {\textcopyright} 2026 Owner/Author.",
year = "2026",
month = jan,
day = "8",
doi = "10.1145/3776693",
language = "English",
volume = "10",
pages = "1471--1499",
journal = "Proceedings of the ACM on Programming Languages",
issn = "2475-1421",
publisher = "Association for Computing Machinery (ACM)",
}