While parallelism remains the main source of performance, architectural implementations
and programming models change with each new hardware generation, often leading to …

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 …

SYCL began as a C++ abstraction for OpenCL concepts, whereas parallelism in ISO C++
evolved from the algorithms in the standard library. This history has resulted in the two …

We describe our experiences successfully applying lightweight formal methods to
substantially improve and reformulate an important part of Standard Portable Intermediate …

The Barnes-Hut approximation for N-body simulations reduces the time complexity of the
naive all-pairs approach from O (N 2) to O (N log N) by hierarchically aggregating nearby …

Multivariate networks (henceforth, graphs) represent entities (vertices or nodes), their
relationships to each other (edges), and manifest or derived data about both (attributes) …

Processors become fatter, not faster. For decades, each new transistor generation provided
smaller transistors that could switch faster than ever before. This enabled new processors to …

The decline of Moore's law and an increasing reliance on computation has led to an
explosion of specialized software packages and hardware architectures. While this diversity …

Abstract Graphics Processing Units (GPUs) are notoriously hard to optimise for manually
due to their scheduling and memory hierarchies. What is needed are good automatic code …