Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore a conference presentation introducing Rex, a novel kernel extension framework designed to address critical usability challenges in safe kernel programming. Learn how researchers from the University of Illinois Urbana-Champaign, Virginia Tech, and IBM have developed a solution to bridge the language-verifier gap that causes existing mechanisms like eBPF to reject safe extensions due to mismatched expectations between programming languages and static verifiers. Discover how Rex leverages safe Rust programming and language-based safety properties to eliminate the need for separate static verification while maintaining performance standards. Examine the framework's lightweight extralingual runtime that handles properties unsuitable for static analysis, including safe exception handling, stack safety, and termination guarantees. Understand how Rex's kernel crate provides a safe interface for kernel interactions, enabling developers to write more maintainable and usable kernel extensions without the traditional verification bottlenecks that have limited the evolution of kernel extension mechanisms from simple packet filters to complex storage, networking, and scheduling programs.
