Verifying the Verifier: eBPF Range Analysis Verification
Verifying the Verifier: eBPF Range Analysis Verification
复制标题
验证验证器：eBPF 范围分析验证
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Nagarakatte, Santosh
中科院分区：
文献类型：
--
作者：
Vishwanathan, Harishankar;Shachnai, Matan;Narayana, Srinivas;Nagarakatte, Santosh
登录
查看更多内容
DOI：
--
发表时间：
2019-07
期刊：
--
影响因子：
--
作者：
Dmitry Duplyakin;R. Ricci;Aleksander Maricq;Gary Wong;Jonathon Duerig;E. Eide;L. Stoller;Mike Hibler;David Johnson;Kirk Webb;Aditya Akella;Kuang-Ching Wang;Glenn Ricart;L. Landweber;C. Elliott;M. Zink;E. Cecchet;Snigdhaswin Kar;Prabodh Mishra
通讯作者：
Dmitry Duplyakin;R. Ricci;Aleksander Maricq;Gary Wong;Jonathon Duerig;E. Eide;L. Stoller;Mike Hibler;David Johnson;Kirk Webb;Aditya Akella;Kuang-Ching Wang;Glenn Ricart;L. Landweber;C. Elliott;M. Zink;E. Cecchet;Snigdhaswin Kar;Prabodh Mishra
影响因子：
5.6
作者：
Agostino Cortesi;Giulia Costantini;Pietro Ferrara
通讯作者：
Pietro Ferrara
快速三值抽象位向量算法
影响因子：
5.6
作者：
Jan Onderka;Stefan Ratschan
通讯作者：
Stefan Ratschan
基于数据流的修剪可加速超级优化
影响因子：
--
作者：
Manasij Mukherjee;Pranav Kant;Zhengyang Liu;J. Regehr
通讯作者：
J. Regehr
用三态数进行可靠、精确、快速的抽象解释
DOI：
10.1109/cgo53902.2022.9741267
发表时间：
2022
期刊：
CGO '22: Proceedings of the 20th IEEE/ACM International Symposium on Code Generation and Optimization
影响因子：
--
作者：
Vishwanathan, Harishankar;Shachnai, Matan;Narayana, Srinivas;Nagarakatte, Santosh
通讯作者：
Nagarakatte, Santosh