A high-level programming language for GPUs