Verified programs can party: optimizing kernel extensions via post-verification merging

Open Webpage

Hsuan-Chi Kuo, Kai-Hsun Chen, Yicheng Lu, Dan Williams, Sibin Mohan, Tianyin Xu

Published: 2022, Last Modified: 07 Jan 2026EuroSys 2022EveryoneRevisionsBibTeXCC BY-SA 4.0