USENIX supports diversity, equity, and inclusion and condemns hate and discrimination.
Biblio
Export 2 results:
Filters: Author is Luke Nelson [Clear All Filters]
.
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.
.
2018. Nickel: A Framework for Design and Verification of Information Flow Control Systems. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :287--305.