Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language (bibtex)

by Bosamiya, Jay, Gibson, Sydney, Li, Yao, Parno, Bryan and Hawblitzel, Chris

Reference:

Verified Transformations and Hoare Logic: Beautiful Proofs for Ugly Assembly Language (Bosamiya, Jay, Gibson, Sydney, Li, Yao, Parno, Bryan and Hawblitzel, Chris), In Proceedings of the Conference on Verified Software: Theories, Tools, and Experiments (VSTTE), 2020.

Bibtex Entry:

@inproceedings{transformers,
  author    = {Bosamiya, Jay and Gibson, Sydney and Li, Yao and Parno, Bryan and Hawblitzel, Chris},
  booktitle = {Proceedings of the Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)},
  month     = {July},
  title     = {Verified Transformations and {Hoare} Logic: Beautiful Proofs for Ugly Assembly Language},
  year      = {2020},
  url       = {https://www.jaybosamiya.com/publications/2020/vstte/transformers.pdf}
}