Hsuan-Chi Kuo, Kai-Hsun Chen, Yicheng Lu, Dan Williams, Sibin Mohan, Tianyin Xu. Verified programs can party: optimizing kernel extensions via post-verification merging. In David Bromberg, Anne-Marie Kermarrec, Christos Kozyrakis, editors, EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5 - 8, 2022. pages 283-299, ACM, 2022. [doi]
@inproceedings{KuoCLWMX22,
title = {Verified programs can party: optimizing kernel extensions via post-verification merging},
author = {Hsuan-Chi Kuo and Kai-Hsun Chen and Yicheng Lu and Dan Williams and Sibin Mohan and Tianyin Xu},
year = {2022},
doi = {10.1145/3492321.3519562},
url = {https://doi.org/10.1145/3492321.3519562},
researchr = {https://researchr.org/publication/KuoCLWMX22},
cites = {0},
citedby = {0},
pages = {283-299},
booktitle = {EuroSys '22: Seventeenth European Conference on Computer Systems, Rennes, France, April 5 - 8, 2022},
editor = {David Bromberg and Anne-Marie Kermarrec and Christos Kozyrakis},
publisher = {ACM},
isbn = {978-1-4503-9162-7},
}