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

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

Browse the full EuroSys paper archive.