Cited in
(29)- Mostly automated formal verification of loop dependencies with applications to distributed stencil algorithms
- Checking data-race freedom of GPU kernels, compositionally
- Formal verification of parallel prefix sum and stream compaction algorithms in CUDA
- Automated verification of functional correctness of race-free GPU programs
- A Hoare logic for SIMT programs
- Mostly Automated Formal Verification of Loop Dependencies with Applications to Distributed Stencil Algorithms
- Automated verification of the parallel Bellman-Ford algorithm
- Cumapz
- GPUVerify
- CUDPP
- FloPSy
- CUDA-lite
- Rodinia
- REFINER
- KLEE-FP
- Pochoir
- Gunrock
- ThunderSVM
- BARRACUDA
- CURD
- GMRace
- GRace
- Simulee
- Loopy
- WebAssembly
- Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
- Oclgrind
- A sound and complete abstraction for reasoning about parallel prefix sums
- A Hoare Logic for GPU Kernels
This page was built for software: GKLEE
