skip to main content

This content will become publicly available on March 28, 2023

Title: Verified programs can party: optimizing kernel extensions via post-verification merging
Authors:
; ; ; ; ;
Award ID(s):
1956007
Publication Date:
NSF-PAR ID:
10346217
Journal Name:
EuroSys’22
Volume:
1
Issue:
1
Page Range or eLocation-ID:
283 to 299
Sponsoring Org:
National Science Foundation
More Like this
No document suggestions found