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. 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]

Abstract

Abstract is missing.