Runzhou Tao, Jianan Yao, Xupeng Li, Shih-wei Li, Jason Nieh, Ronghui Gu. Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware. In Robbert van Renesse, Nickolai Zeldovich, editors, SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021. pages 866-881, ACM, 2021. [doi]
@inproceedings{TaoYLLNG21,
title = {Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware},
author = {Runzhou Tao and Jianan Yao and Xupeng Li and Shih-wei Li and Jason Nieh and Ronghui Gu},
year = {2021},
doi = {10.1145/3477132.3483560},
url = {https://doi.org/10.1145/3477132.3483560},
researchr = {https://researchr.org/publication/TaoYLLNG21},
cites = {0},
citedby = {0},
pages = {866-881},
booktitle = {SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, Virtual Event / Koblenz, Germany, October 26-29, 2021},
editor = {Robbert van Renesse and Nickolai Zeldovich},
publisher = {ACM},
isbn = {978-1-4503-8709-5},
}