@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} }