@misc{HjortBlindell:2014:SCS, address = {KTH Royal Institute of Technology, Kista, Sweden}, author = {Hjort Blindell, Gabriel}, booktitle = {SCS Seminar Series}, month = {November 20}, title = {Synthesizing Code for GPGPUs from Abstract Formal Models}, type = {Presentation}, year = {2014}, }