%0 Conference Paper %1 conf/osdi/NelsonGTW20 %A Nelson, Luke %A Geffen, Jacob Van %A Torlak, Emina %A Wang, Xi %B OSDI %D 2020 %I USENIX Association %K dblp %P 41-61 %T Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel. %U http://dblp.uni-trier.de/db/conf/osdi/osdi2020.html#NelsonGTW20 %@ 978-1-939133-19-9

@inproceedings{conf/osdi/NelsonGTW20, added-at = {2021-02-02T00:00:00.000+0100}, author = {Nelson, Luke and Geffen, Jacob Van and Torlak, Emina and Wang, Xi}, biburl = {https://www.bibsonomy.org/bibtex/2d8973b2560ff10ea6bbae6205bed08ee/dblp}, booktitle = {OSDI}, crossref = {conf/osdi/2020}, ee = {https://www.usenix.org/conference/osdi20/presentation/nelson}, interhash = {9a8c5dc5053c3f4432a2f0a23df76383}, intrahash = {d8973b2560ff10ea6bbae6205bed08ee}, isbn = {978-1-939133-19-9}, keywords = {dblp}, pages = {41-61}, publisher = {USENIX Association}, timestamp = {2024-04-09T21:10:11.000+0200}, title = {Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel.}, url = {http://dblp.uni-trier.de/db/conf/osdi/osdi2020.html#NelsonGTW20}, year = 2020 }