Authors

Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jay Lorch, Oded Padon and Bryan Parno

Venue

Proceedings of the 30th Symposium on Operating Systems Principles (SOSP'24)

Links

[ .doi ] [ .pdf ] [ .bib ]

Abstract

Bibtex

@inproceedings{Lattuada:2024:VPF,
 author = {Lattuada, Andrea and Hance, Travis and Bosamiya, Jay and Brun, Matthias and Cho, Chanhee and LeBlanc, Hayley and Srinivasan, Pranav and Achermann, Reto and Chajed, Tej and Hawblitzel, Chris and Howell, Jon and Lorch, Jay and Padon, Oded and Parno, Bryan},
 booktitle = {Proceedings of the 30th Symposium on Operating Systems Principles},
 id = {Lattuada:2024:VPF},
 location = {Austin, TX, USA},
 publisher = {Association for Computing Machinery},
 series = {SOSP'24},
 title = {Verus: A Practical Foundation for Systems Verification (to appear)},
 url = {},
 year = {2024}
}