Biblio

Export 2 results:
Filters: Author is Luke Nelson  [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.
2018
Sigurbjarnarson H, Nelson L, Castro-Karney B, Bornholt J, Torlak E, Wang X.  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.