@inproceedings{HjortBlindellEtAl:2014:FDL,
    author = {Hjort Blindell, Gabriel and Menne, Christian and Sander, Ingo},
    booktitle = {Proceedings of FDL'14},
    location = {October 14--16, Munich, Germany},
    title = {Synthesizing Code for GPGPUs from Abstract Formal Models},
    year = {2014},
}