BibTex format
@inproceedings{Hückelheim:2017:10.1145/3145344.3145488,
author = {Hückelheim, JC and Luo, Z and Luporini, F and Kukreja, N and Lange, M and Gorman, G and Siegel, S and Dwyer, M and Hovland, P},
doi = {10.1145/3145344.3145488},
publisher = {ACM},
title = {Towards self-verification in finite difference code generation},
url = {http://dx.doi.org/10.1145/3145344.3145488},
year = {2017}
}