GPipe-1.2.0: A functional graphics API for programmable GPUs