Synthesizing code for GPGPUs from abstract formal models. - Gabriel Hjort Blindell; Christian Menne; Ingo Sander (FDL, 2014)