@inproceedings{verus-ghost,
  author    = {Lattuada, Andrea and Hance, Travis and Cho, Chanhee and Brun, Matthias and Subasinghe, Isitha and Zhou, Yi and Howell, Jon and Parno, Bryan and Hawblitzel, Chris},
  booktitle = {Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)},
  code      = {https://github.com/verus-lang/verus},
  month     = {December},
  title     = {Verus: Verifying Rust Programs using Linear Ghost Types},
  year      = {2023}
}