@inproceedings{Loeoew_KTMNAF_19, address = {Phoenix, Arizona, United States of America}, author = {L\"{o}\"{o}w, Andreas and Kumar, Ramana and Tan, Yong Kiam and Myreen, Magnus and Norrish, Michael and Abrahamsson, Oskar and Fox, Anthony}, booktitle = {ACM SIGPLAN Conference on Programming Language Design and Implementation}, date = {2019-6-24}, doi = {https://doi.org/10.1145/3314221.3314622}, month = jun, pages = {1041-1053}, paperurl = {https://trustworthy.systems/publications/full_text/Loeoew_KTMNAF_19.pdf}, publisher = {ACM}, title = {Verified Compilation on a Verified Processor}, year = {2019} }