Synthesizing code for GPGPUs from abstract formal models.

Gabriel Hjort Blindell, Christian Menne, Ingo Sander

Browse the full FDL paper archive.