Zheng, Y. (CSE) – Extending eBPF Beyond Kernel Extensions: Verified Interfaces for Runtime System Extensibility
Modern system software increasingly needs runtime extensibility: userspace applications need safe ways to expose domain-specific extension points, GPU resource management needs workload-specific memory and scheduling policies, and kernel eBPF JIT compilers need different runtime optimizations as workloads and hardware vary. However, built-in policies are safe but difficult to specialize across rapidly changing workloads and hardware […]