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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Hsuan-Chi Kuo' in GoogleThis author has not been identified. Look up 'Kai-Hsun Chen' in GoogleThis author has not been identified. Look up 'Yicheng Lu' in GoogleThis author has not been identified. Look up 'Dan Williams' in GoogleThis author has not been identified. Look up 'Sibin Mohan' in GoogleThis author has not been identified. Look up 'Tianyin Xu' in Google

runs on WebDSL