Levine, R. (CSE) – Validating GPU Memory Consistency and Safety at Scale
Hybrid Event
Graphics Processing Units (GPUs) have become essential platforms for parallel computing, supporting applications far beyond graphics. Central to GPU programming models is its memory consistency specification (MCS), which defines the semantics of concurrent shared-memory operations and interacts with other language features to determine security guarantees such as memory safety. Understanding whether implementations conform to an […]