swMATH12794MaRDI QIDQ24718FDOQ24718
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2145844
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
- Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels
- Loopy
- WebAssembly
- 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
