@inproceedings{desharnais-2021,
  author = {Desharnais, Martin and Brunthaler, Stefan},
  title = {Towards Efficient and Verified Virtual Machines for Dynamic Languages},
  year = {2021},
  publisher = {Association for Computing Machinery},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs},
  series = {CPP 2021}
}
