Making safe OS kernel extensions expressive, efficient, and easy to program

Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois Urbana-Champaign

Year dc:date

2025

Author dc:creator

• Jia, Jinghao

Contributors dc:contributor

• Xu, Tianyin
• Bates, Adam
• Franke, Hubertus
• Le, Michael V.
• Marinov, Darko
• Williams, Dan

• Operating Systems
• Performance
• Programming Languages
• Security
• Safety

Statement dc:rights

• This dissertation contains research [77] published in Proceedings of the 19th Workshop on Hot Topics in Operating Systems (HotOS ’23) and is adapted here with permission. © 2023 Copyright held by the owner/author(s). Publication rights licensed to ACM. This dissertation contains research [63] published in Proceedings of the 1st Workshop on eBPF and Kernel Extensions (eBPF '23) and is adapted here with permission. © 2023 Copyright held by the owner/author(s). This dissertation contains research [74] published in Proceedings of the 2024 USENIX Annual Technical Conference (USENIX ATC'24). Copyright to the individual work is retained by the author[s].

Language dc:language

en, eng

Handle dc:identifier

https://hdl.handle.net/2142/129429

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/129429