Accelerating schedule space exploration of multi-threaded programs with GPUs. - Prakhar Banga; Atul Pai; Subhajit Roy 001; Mainak Chaudhuri (MEMOCODE, 2016)