The adoption of agile approaches has put an increased emphasis on testing, resulting in
extensive test suites. These suites include a large number of tests, in which developers …

We present a technique for verifying race-and divergence-freedom of GPU kernels that are
written in mainstream kernel programming languages such as OpenCL and CUDA. Our …

GPUs are progressively being integrated into modern society, playing a pivotal role in
Artificial Intelligence and High-Performance Computing. Programmers need a deep …

Synchronous languages ensure determinate concurrency but at the price of restrictions on
what programs are considered valid, or constructive. Meanwhile, sequential languages such …

We present a technique for the formal verification of GPU kernels, addressing two classes of
correctness properties: data races and barrier divergence. Our approach is founded on a …

As GPUs have become an integral part of nearly every pro-cessor, GPU programming has
become increasingly popular. GPU programming requires a combination of extreme levels …

GPU programming models enable and encourage massively parallel programming with
over a million threads, requiring extreme parallelism to achieve good performance. Massive …

Abstract The Message Passing Interface (MPI) is the standard API for high-performance and
scientific computing. Communication deadlocks are a frequent problem in MPI programs …

In recent years, GPUs have emerged as an extremely cost-effective means for achieving
high performance. While languages like CUDA and OpenCL have eased GPU programming …

Traditional application execution assumes an error-free execution hardware and
environment. Such guarantees in execution are achieved by providing guardbands in the …