Tianyin Xu (@tianyin_xu) on X

"eBPF verification is untenable."

will show that #eBPF safety has become a liability and discuss his Rust-based kernel extension framework to the rescue at #HotOS. We used his system in cs423

where students write Rust extensions instead of eBPF code.