@misc{HjortBlindell:2014:FDL,
    author = {Hjort Blindell, Gabriel and Menne, Christian and Sander, Ingo},
    booktitle = {Forum on specification & Design Languages},
    location = {Munich, Germany},
    month = {October 14--16},
    series = {FDL~2014},
    title = {Synthesizing Code for GPGPUs from Abstract Formal Models},
    year = {2014},
}