3 ms·Specification and verification in the field: Applying formal methods to BPF JITs [pdf]3 points by matt_d 6y ago