We introduce program reconditioning, a method for allowing program generation and
differential testing to be used to find miscompilation bugs, and test-case reduction to be used …

Despite the growing popularity of GPGPU programming, there is not yet a portable and
formally-specified barrier that one can use to synchronise across workgroups. Moreover, the …

After more than 30 years of research, there is a solid understanding of the consistency
guarantees given by CPU systems. Unfortunately, the same is not yet true for GPUs. The …

Fractal image compression is a lossy compression technique based on the iterative function
system, which can be used to reduce the storage space and increase the speed of data …

Memory consistency specifications (MCSs) are a difficult, yet critical, part of a concurrent
programming framework. Existing MCS testing tools are not immediately accessible, and …

Graphics Processing Units (GPUs) are massively parallel processors offering performance
acceleration and energy efficiency unmatched by current processors (CPUs) in computers …

Shared memory heterogeneous systems are now mainstream, with nearly every mobile
phone and tablet containing integrated processing units. However, develo** applications …

Blocking synchronisation idioms, eg mutexes and barriers, play an important role in
concurrent programming. However, systems with semi-fair schedulers, eg graphics …

While hardware implementations of inference routines for Binarized Neural Networks
(BNNs) are plentiful, current realizations of efficient BNN hardware training accelerators …

Massive parallelism, and energy efficiency of GPUs, along with advances in their
programmability with OpenCL and CUDA programming models have made them attractive …