Add to ORKGposterPUG is a automated verifier for GPU programs written in C/CUDA. PUG verifies GPU kernels for Data Races, Barrier mismatches, Totally wrong results, and Weak memory model related bugs. SMT-based correctness checking methods for these error are often more scalable, general and modular
For my current research, I am collecting different classes of CUDA kernels and comparing the numeric...
GPUVerify is a static analysis tool for verifying that GPU kernels are free from data races and barr...
GPUs are getting more and more important in scientific computing, slowly growing from peripheral acc...
pre-printWe present an automated symbolic verifier for checking the functional correctness of GPGPU ...
We present a technique for verifying race- and divergence-freedom of GPU kernels that are written in...
dissertationGraphics processing units (GPUs) are highly parallel processors that are now commonly us...
I present a tutorial overview demonstrating the key technique used by GPUVerify, a static verificati...
The tremendous computing power GPUs are capable of makes of them the epicenter of an unprecedented a...
We present a technique for the formal verification of GPU kernels, addressing two classes of correct...
Abstract—Even the careful GPU programmer can inadver-tently introduce data races while writing and o...
We present a technique for the formal verification of GPU kernels, addressing two classes of correct...
General-purpose computing on the graphics processing unit has become popular since the cost-to-power...
Graphics Processing Units (GPUs) are popular for reliability-conscious uses in High Performance Comp...
The Compute Unified Device Architecture (CUDA) is a programming model used for exploring the advanta...
This thesis is about scalable formal verification techniques for software. A verification technique ...
For my current research, I am collecting different classes of CUDA kernels and comparing the numeric...
GPUVerify is a static analysis tool for verifying that GPU kernels are free from data races and barr...
GPUs are getting more and more important in scientific computing, slowly growing from peripheral acc...
pre-printWe present an automated symbolic verifier for checking the functional correctness of GPGPU ...
We present a technique for verifying race- and divergence-freedom of GPU kernels that are written in...
dissertationGraphics processing units (GPUs) are highly parallel processors that are now commonly us...
I present a tutorial overview demonstrating the key technique used by GPUVerify, a static verificati...
The tremendous computing power GPUs are capable of makes of them the epicenter of an unprecedented a...
We present a technique for the formal verification of GPU kernels, addressing two classes of correct...
Abstract—Even the careful GPU programmer can inadver-tently introduce data races while writing and o...
We present a technique for the formal verification of GPU kernels, addressing two classes of correct...
General-purpose computing on the graphics processing unit has become popular since the cost-to-power...
Graphics Processing Units (GPUs) are popular for reliability-conscious uses in High Performance Comp...
The Compute Unified Device Architecture (CUDA) is a programming model used for exploring the advanta...
This thesis is about scalable formal verification techniques for software. A verification technique ...
For my current research, I am collecting different classes of CUDA kernels and comparing the numeric...
GPUVerify is a static analysis tool for verifying that GPU kernels are free from data races and barr...
GPUs are getting more and more important in scientific computing, slowly growing from peripheral acc...