Static detection of uncoalesced accesses in GPU programs

DOI10.1007/S10703-021-00362-8zbMath1522.68140OpenAlexW3133572203MaRDI QIDQ6108441

Omar S. Navarro Leija, Rajeev Alur, Joseph Devietti, Nimit Singhania

Publication date: 29 June 2023

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-021-00362-8

zbMATH Keywords

static analysisabstract executionGPU performance

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Static detection of uncoalesced accesses in GPU programs