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

TitleSpecification and verification in the field: Applying formal methods to {BPF} just-in-time compilers in the Linux kernel
Publication TypeConference Paper
Year of Publication2020
AuthorsNelson L, Van Geffen J, Torlak E, Wang X
Conference Name14th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 20)
Date Published11/2020
Publisher{USENIX} Association
ISBN Number978-1-939133-19-9
URLhttps://www.usenix.org/conference/osdi20/presentation/nelson