A Verified, Efficient Embedding of a Verifiable Assembly Language (bibtex)

by Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi and Nikhil Swamy

Reference:

A Verified, Efficient Embedding of a Verifiable Assembly Language (Aymeric Fromherz, Nick Giannarakis, Chris Hawblitzel, Bryan Parno, Aseem Rastogi and Nikhil Swamy), In PACMPL, 2019.

Bibtex Entry:

@article{valefstar,
  title = {A Verified, Efficient Embedding of a Verifiable Assembly Language},
  author = {Aymeric Fromherz and
            Nick Giannarakis and
            Chris Hawblitzel and
            Bryan Parno and
            Aseem Rastogi and
            Nikhil Swamy},
  journal = {{PACMPL}},
  number = {{POPL}},
  year = 2019,
  url = {https://github.com/project-everest/project-everest.github.io/raw/master/assets/vale-popl.pdf},
}