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

Chris Hawblitzel

university of california irvine

27H指数
80论文数
3.0K被引数
收录论文 4
发表时间
logo
AUTOVERUS: Automated Proof Generation for Rust CodeAUTOVERUS：Rust代码的自动化证明生成
errPROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL
IF2.8
err2025-10-01
err0
PREAI
errYang, Chenyuan; Li, Xuheng; Misu, Md Rakib Hossain; Yao, Jianan; Cui, Weidong; Gong, Yeyun; Hawblitzel, Chris; Lahiri, Shuvendu; Lorch, Jacob R.; Lu, Shuai; Yang, Fan; Zhou, Ziqiao; Lu, Shan
err分享
err收藏
IronFleet: Proving Safety and Liveness of Practical Distributed Systems
errCOMMUNICATIONS OF THE ACM
IF12.2
err2017-06-26
err44
PREAI
errHawblitzel, Chris; Howell, Jon; Kapritsos, Manos; Lorch, Jacob R.; Parno, Bryan; Roberts, Michael L.; Setty, Srinath; Zill, Brian
err分享
err收藏
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
errCOMMUNICATIONS OF THE ACM
IF12.2
err2011-12-01
err5
PREAI
errYang, Jean; Hawblitzel, Chris
err分享
err收藏
Mobile object layer: a runtime substrate for parallel adaptive and irregular computations
errADVANCES IN ENGINEERING SOFTWARE
IF5.7
err2000-08-01
err22
PREAI
errChrisochoides, N; Barker, K; Nave, D; Hawblitzel, C
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
S
Shan Lu
H 指数: 45 · 论文数: 215
W
Weidong Cui
H 指数: 40 · 论文数: 134
B
Bryan Parno
H 指数: 39 · 论文数: 154
S
Shuvendu K. Lahiri
H 指数: 37 · 论文数: 173
J
Jacob R. Lorch
H 指数: 32 · 论文数: 63
查看更多