Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, Anthony C. J. Fox. Verified compilation on a verified processor. In Kathryn S. McKinley, Kathleen Fisher, editors, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019. pages 1041-1053, ACM, 2019. [doi]
@inproceedings{LoowKTMNAF19,
title = {Verified compilation on a verified processor},
author = {Andreas Lööw and Ramana Kumar and Yong Kiam Tan and Magnus O. Myreen and Michael Norrish and Oskar Abrahamsson and Anthony C. J. Fox},
year = {2019},
doi = {10.1145/3314221.3314622},
url = {https://doi.org/10.1145/3314221.3314622},
researchr = {https://researchr.org/publication/LoowKTMNAF19},
cites = {0},
citedby = {0},
pages = {1041-1053},
booktitle = {Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019},
editor = {Kathryn S. McKinley and Kathleen Fisher},
publisher = {ACM},
isbn = {978-1-4503-6712-7},
}