@inproceedings{Sewell_MK_13,
    address          = {Seattle, Washington, USA},
    author           = {Sewell, Thomas and Myreen, Magnus and Klein, Gerwin},
    booktitle        = {ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)},
    keywords         = {isabelle, sel4, microkernel, binary verification},
    month            = jun,
    pages            = {471--481},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6449.pdf},
    publisher        = {ACM},
    slides           = {/publications/nicta_slides/6449.pdf},
    title            = {Translation Validation for a Verified {OS} Kernel},
    year             = {2013}
  }