Verified programs can party: optimizing kernel extensions via post-verification merging. - Kuo, Hsuan-Chi; Chen, Kai-Hsun; Lu, Yicheng; Williams, Dan; Mohan, Sibin; Xu, Tianyin (2022)