Gabriel Hjort Blindell, Christian Menne, Ingo Sander. Synthesizing code for GPGPUs from abstract formal models. In Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014. pages 1-8, IEEE, 2014. [doi]
Abstract is missing.