@inproceedings{Loeoew_KTMNAF_19,
    month            = jun,
    paperurl         = {https://trustworthy.systems/publications/csiro_full_text/Loeoew_KTMNAF_19.pdf},
    doi              = {https://doi.org/10.1145/3314221.3314622},
    publisher        = {ACM},
    date             = {2019-6-24},
    booktitle        = {ACM SIGPLAN Conference on Programming Language Design and Implementation},
    year             = {2019},
    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},
    title            = {Verified Compilation on a Verified Processor},
    pages            = {1041-1053}
  }