@inproceedings{Neis_2015,
    doi = {10.1145/2784731.2784764},
    url = {https://doi.org/10.1145%2F2784731.2784764},
    year = {2015},
    month = {aug},
    publisher = {{ACM}},
    author = {Georg Neis and Chung-Kil Hur and Jan-Oliver Kaiser and Craig McLaughlin and Derek Dreyer and Viktor Vafeiadis},
    title = {Pilsner: a compositionally verified compiler for a higher-order imperative language},
    booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on Functional Programming}
}

@inproceedings{Neis_2015, doi = {10.1145/2784731.2784764}, url = {https://doi.org/10.1145%2F2784731.2784764}, year = {2015}, month = {aug}, publisher = {{ACM}}, author = {Georg Neis and Chung-Kil Hur and Jan-Oliver Kaiser and Craig McLaughlin and Derek Dreyer and Viktor Vafeiadis}, title = {Pilsner: a compositionally verified compiler for a higher-order imperative language}, booktitle = {Proceedings of the 20th {ACM} {SIGPLAN} International Conference on Functional Programming} }