Milo Craun

According to our database, Milo Craun authored at least 4 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Safe and usable kernel extensions with Rax.

Jinghao Jia, Ruowen Qin, Milo Craun, Egor Lukiyanov, Ayush Bansal, Michael V. Le, Hubertus Franke, Hani Jamjoom, Tianyin Xu, Dan Williams

CoRR, February, 2025

Rex: Closing the language-verifier gap with safe and usable kernel extensions.

Jinghao Jia, Ruowen Qin, Milo Craun, Egor Lukiyanov, Ayush Bansal, Minh Phan, Michael V. Le, Hubertus Franke, Hani Jamjoom, Tianyin Xu, Dan Williams

Proceedings of the 2025 USENIX Annual Technical Conference, 2025

2024

Eliminating eBPF Tracing Overhead on Untraced Processes.

Milo Craun, Khizar Hussain, Uddhav Gautam, Zhengjie Ji, Tanuj Rao, Dan Williams

Proceedings of the ACM SIGCOMM 2024 Workshop on eBPF and Kernel Extensions, 2024

2023

Enabling eBPF on Embedded Systems Through Decoupled Verification.

Milo Craun, Adam Oswald, Dan Williams

Proceedings of the 1st Workshop on eBPF and Kernel Extensions, 2023