Barra: A Parallel Functional Simulator for GPGPU