Making an eBPF Virtual Machine Faster on Microcontrollers: Verified Optimization and Proof Simplification.

Shenghao Yuan, Benjamin Lion, Frdric Besson, Jean-Pierre Talpin

Browse the full SETTA paper archive.