lattuada-2024-verus:
  type: article
  title: 'Verus: A Practical Foundation for Systems Verification'
  author:
  - Lattuada, Andrea
  - Hance, Travis
  - Bosamiya, Jay
  - Brun, Matthias
  - Cho, Chanhee
  - LeBlanc, Hayley
  - Srinivasan, Pranav
  - Achermann, Reto
  - Chajed, Tej
  - Hawblitzel, Chris
  - Howell, Jon
  - Lorch, Jacob R.
  - Padon, Oded
  - Parno, Bryan
  date: 2024-11
  page-range: 438-454
  url: http://dx.doi.org/10.1145/3694715.3695952
  serial-number:
    doi: 10.1145/3694715.3695952
  parent:
    type: proceedings
    title: Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles
    publisher: ACM
    parent:
      type: proceedings
      title: SOSP ’24