Memory access protocols: certified data-race freedom for GPU kernels

DOI10.1007/s10703-023-00415-0MaRDI QIDQ6632202

Julien Lange, Tiago Cogumbreiro, Dennis Liew, Hannah Zicarelli

Publication date: 4 November 2024

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

zbMATH Keywords

static analysisGPUbehavioural typesdata-race

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Checking data-race freedom of GPU kernels, compositionally
• Automated verification of functional correctness of race-free GPU programs
• A Hoare Logic for SIMT Programs
• A Certified Data Race Analysis for a Java-like Language
• A Hoare Logic for GPU Kernels
• CONCUR 2004 - Concurrency Theory
• Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
• Static detection of uncoalesced accesses in GPU programs

This page was built for publication: Memory access protocols: certified data-race freedom for GPU kernels