Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, Nickolai Zeldovich. Verifying concurrent, crash-safe systems with Perennial. In Tim Brecht, Carey Williamson, editors, Proceedings of the 27th ACM Symposium on Operating Systems Principles, SOSP 2019, Huntsville,, ON, Canada, October 27-30, 2019. pages 243-258, ACM, 2019. [doi]
@inproceedings{ChajedTKZ19-0,
title = {Verifying concurrent, crash-safe systems with Perennial},
author = {Tej Chajed and Joseph Tassarotti and M. Frans Kaashoek and Nickolai Zeldovich},
year = {2019},
doi = {10.1145/3341301.3359632},
url = {https://doi.org/10.1145/3341301.3359632},
researchr = {https://researchr.org/publication/ChajedTKZ19-0},
cites = {0},
citedby = {0},
pages = {243-258},
booktitle = {Proceedings of the 27th ACM Symposium on Operating Systems Principles, SOSP 2019, Huntsville,, ON, Canada, October 27-30, 2019},
editor = {Tim Brecht and Carey Williamson},
publisher = {ACM},
isbn = {978-1-4503-6873-5},
}