Maintaining leadership in HPC requires the ability to support simulations at large scales and
fidelity. In this study, we detail one of the most significant productivity challenges in …

We present Armus, a verification tool for dynamically detecting or avoiding barrier
deadlocks. The core design of Armus is based on phasers, a generalisation of barriers that …

Distributed memory programming models are very often the only way to scale up large
scientific applications. To ensure correctness and optimal performance in distributed …

1 INTRODUCTION Dynamic verification of barrier deadlocks. The rise of multicore
processors and networked clusters has pushed mainstream programming languages to …

Technologies for verification and debugging have made significant strides in the context of
general systems software. An investment in such technologies to make them applicable for …