The following pages link to A Hoare Logic for GPU Kernels (Q5278201):
Displaying 4 items.
- Checking data-race freedom of GPU kernels, compositionally (Q832190) (← links)
- Automated verification of functional correctness of race-free GPU programs (Q1703009) (← links)
- Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels (Q5326291) (← links)
- Memory access protocols: certified data-race freedom for GPU kernels (Q6632202) (← links)