"eBPF verification is untenable."
@Jinghao_Jwill 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
@illinoiscswhere students write Rust extensions instead of eBPF code.

