Enabling eBPF on Embedded Systems Through Decoupled Verification.

Milo Craun, Adam Oswald, Dan Williams

Browse the full SIGCOMM paper archive.