conftrace_

just-in-time compiler

1 paper

Explore in graph

Also known as

JIT

Co-occurring keywords · papers mentioning both

linux kernel (1) formal methods (1)

Papers

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