The following pages link to GKLEE (Q24718):
Displaying 10 items.
- Checking data-race freedom of GPU kernels, compositionally (Q832190) (← links)
- Automated verification of functional correctness of race-free GPU programs (Q1703009) (← links)
- Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms (Q1722642) (← links)
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA (Q2120963) (← links)
- Automated verification of the parallel Bellman-Ford algorithm (Q2145339) (← links)
- Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms (Q2829257) (← links)
- A Hoare Logic for SIMT Programs (Q2937782) (← links)
- A Hoare Logic for GPU Kernels (Q5278201) (← links)
- Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels (Q5326291) (← links)
- A sound and complete abstraction for reasoning about parallel prefix sums (Q5408435) (← links)