cv
Basics
| Name | Milo Craun |
| Label | Graduate Student |
| [email protected] | |
| Url | https://milocraun.com/ |
| Summary | A graduate student at Virginia Tech researching safe kernel extensions. |
Work
-
2023.05 - Present
Education
Publications
-
2025 Towards Safe Agentic AI Performance Engineering
In Proceedings of the 4th Workshop on Practical Adoption Challenges of ML for Systems
-
2025 Rex: closing the language-verifier gap with safe and usable kernel extensions
Proceedings of the 2025 USENIX Conference on Usenix Annual Technical Conference
-
2025 Pairwise BPF Programs Should Be Optimized Together
Proceedings of the 3rd Workshop on EBPF and Kernel Extensions
-
2024 Eliminating eBPF Tracing Overhead on Untraced Processes
Proceedings of the ACM SIGCOMM 2024 Workshop on EBPF and Kernel Extensions
Attaching tracing eBPF programs to hookpoints causes them to run for any process that triggers the hookpoint. This results in overhead for processes we do not want to trace. We propose a system that uses virtual memory mappings to provide each process its own view of kernel hookpoints, allowing for no overhead on untraced processes
-
2023 Enabling eBPF on Embedded Systems Through Decoupled Verification
Proceedings of the 1st Workshop on EBPF and Kernel Extensions
We can enable the usage of eBPF on resource constrained embedded devices by moving eBPF verification outside of the kernel and away from load time.
Interests
| Computer Science | |
| Operating Systems | |
| Safe Kernel Extension |