Matthias Brun 0002, Reto Achermann, Tej Chajed, Jon Howell, Gerd Zellweger, Andrea Lattuada. Beyond isolation: OS verification as a foundation for correct applications. In Malte Schwarzkopf, Andrew Baumann, Natacha Crooks, editors, Proceedings of the 19th Workshop on Hot Topics in Operating Systems, HOTOS 2023, Providence, RI, USA, June 22-24, 2023. pages 158-165, ACM, 2023. [doi]
@inproceedings{0002ACHZL23,
title = {Beyond isolation: OS verification as a foundation for correct applications},
author = {Matthias Brun 0002 and Reto Achermann and Tej Chajed and Jon Howell and Gerd Zellweger and Andrea Lattuada},
year = {2023},
doi = {10.1145/3593856.3595899},
url = {https://doi.org/10.1145/3593856.3595899},
researchr = {https://researchr.org/publication/0002ACHZL23},
cites = {0},
citedby = {0},
pages = {158-165},
booktitle = {Proceedings of the 19th Workshop on Hot Topics in Operating Systems, HOTOS 2023, Providence, RI, USA, June 22-24, 2023},
editor = {Malte Schwarzkopf and Andrew Baumann and Natacha Crooks},
publisher = {ACM},
}