I present a tutorial overview demonstrating the key technique used by GPUVerify, a static verification tool for graphics processing unit (GPU) kernels. The technique is a method for translating a massively parallel GPU kernel into a sequential program such that correctness of the sequential program implies data race-freedom of the parallel kernel
This thesis presents a set of verification techniques based on permission-based separation logic to ...
GPUs are getting more and more important in scientific computing, slowly growing from peripheral acc...
An application development and verification method for massively parallel systems using NVIDIA GPUs ...
Abstract: I present a tutorial overview demonstrating the key technique used by GPUVerify, a static ...
We present a technique for verifying race- and divergence-freedom of GPU kernels that are written in...
We present a technique for the formal verification of GPU kernels, addressing two classes of correct...
We present a technique for the formal verification of GPU kernels, addressing two classes of correct...
We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify, ...
This thesis is about scalable formal verification techniques for software. A verification technique ...
pre-printWe present an automated symbolic verifier for checking the functional correctness of GPGPU ...
Abstract. Graphics Processing Units (GPUs) from leading vendors employ pred-icated (or guarded) exec...
The tremendous computing power GPUs are capable of makes of them the epicenter of an unprecedented a...
GPUVerify is a static analysis tool for verifying that GPU kernels are free from data races and barr...
The tutorial at CONCUR will provide a practical overview of work undertaken over the last six years ...
posterPUG is a automated verifier for GPU programs written in C/CUDA. PUG verifies GPU kernels for...
This thesis presents a set of verification techniques based on permission-based separation logic to ...
GPUs are getting more and more important in scientific computing, slowly growing from peripheral acc...
An application development and verification method for massively parallel systems using NVIDIA GPUs ...
Abstract: I present a tutorial overview demonstrating the key technique used by GPUVerify, a static ...
We present a technique for verifying race- and divergence-freedom of GPU kernels that are written in...
We present a technique for the formal verification of GPU kernels, addressing two classes of correct...
We present a technique for the formal verification of GPU kernels, addressing two classes of correct...
We report on practical experiences over the last 2.5 years related to the engineering of GPUVerify, ...
This thesis is about scalable formal verification techniques for software. A verification technique ...
pre-printWe present an automated symbolic verifier for checking the functional correctness of GPGPU ...
Abstract. Graphics Processing Units (GPUs) from leading vendors employ pred-icated (or guarded) exec...
The tremendous computing power GPUs are capable of makes of them the epicenter of an unprecedented a...
GPUVerify is a static analysis tool for verifying that GPU kernels are free from data races and barr...
The tutorial at CONCUR will provide a practical overview of work undertaken over the last six years ...
posterPUG is a automated verifier for GPU programs written in C/CUDA. PUG verifies GPU kernels for...
This thesis presents a set of verification techniques based on permission-based separation logic to ...
GPUs are getting more and more important in scientific computing, slowly growing from peripheral acc...
An application development and verification method for massively parallel systems using NVIDIA GPUs ...
DOI
Add to ORKG