Biblio

Export 1 results:
Filters: Author is Jacob Van Geffen  [Clear All Filters]
2020
Nelson L, Van Geffen J, Torlak E, Wang X.  2020.  Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel. 14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20). :41--61.