Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel.

Luke Nelson, Jacob Van Geffen, Emina Torlak, Xi Wang

Browse the full OSDI paper archive.