Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel
复制标题
现场规范和验证：将形式化方法应用于 Linux 内核中的 BPF 即时编译器
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Wang, Xi
中科院分区：
文献类型：
--
作者：
Nelson, Luke;Van Geffen, Jacob;Torlak, Emina;Wang, Xi
登录
查看更多内容
Alto：个人电脑
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
C. Thacker;E. McCreight;B. Lampson;R. Sproull;David R. Boggs
通讯作者：
David R. Boggs
使用 Lua 的可编写脚本的操作系统
DOI：
--
发表时间：
2014
期刊：
Dynamic Languages Symposium
影响因子：
--
作者：
Lourival Vieira Neto;R. Ierusalimschy;A. Moura;M. Balmer
通讯作者：
M. Balmer
一种可编程的编程语言
影响因子：
22.7
作者：
M. Felleisen;R. Findler;M. Flatt;S. Krishnamurthi;Eli Barzilay;J. McCarthy;Sam Tobin
通讯作者：
Sam Tobin
DOI：
10.1145/238721.238781
发表时间：
1996-10
期刊：
--
影响因子：
--
作者：
G. Necula;Peter Lee
通讯作者：
G. Necula;Peter Lee
使用 CSPEC 中的移动器验证并发软件
DOI：
--
发表时间：
2018
期刊：
USENIX Symposium on Operating Systems Design and Implementation
影响因子：
--
作者：
Tej Chajed;Frans Kaashoek;Mit Csail;Microsoft Butler Lampson;Nickolai Zeldovich;M. Kaashoek;Microsoft Research
通讯作者：
Microsoft Research