@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},
}