Noname manuscript No. (will be inserted by the editor)Bounds Checking on GPUTroels HenriksenReceived: date / Accepted: dateAbstract We present a simple compilation strategy for safety-checking array indexing in high-level languages on GPUs. Our technique does not depend on hardware support for abnormal termination, and is designed to be efficient in the non-failing case. We rely on certain properties of array languages, namely the absence of arbitrary cross-thread communication, to ensure well-d