logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
J

Jorge A. Navas

University of Waterloo

19H指数
90论文数
1.4K被引数
收录论文 2
发表时间
logo
A Flow-Sensitive Refinement Type System for Verifying eBPF Programs一种用于验证eBPF程序的流敏感细化类型系统
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errHamza, Ameer; Zavalia, Lucas; Gurfinkel, Arie; Navas, Jorge A.; Fedyukovich, Grigory
err分享
err收藏
Leveraging scalable pointer analysis, value analysis, and dynamic analysis.OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-Program Specialization
errCOMMUNICATIONS OF THE ACM
IF12.2
err2023-03-23
err1
PREAI
errNavas, Jorge A.; Gehani, Ashish
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
A
Arie Gurfinkel
H 指数: 34 · 论文数: 195
A
Ashish Gehani
H 指数: 21 · 论文数: 117
G
Grigory Fedyukovich
H 指数: 20 · 论文数: 89
A
Ameer Hamza
H 指数: 1 · 论文数: 2
L
Lucas Zavalía
H 指数: 1 · 论文数: 2
已加载全部