@inproceedings{Sewell_14,
    month            = jul,
    keywords         = {translation validation, isabelle/hol, verification},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8102.pdf},
    booktitle        = {Verification and Program Transformation},
    author           = {Sewell, Thomas},
    year             = {2014},
    title            = {Formal Replay of Translation Validation for Highly Optimised C: Work in Progress},
    address          = {Vienna, Austria}
  }