logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
C

Chris Hawblitzel

university of california irvine

27H-index
80Paper Count
3.0KCitation Count
Published Papers 4
Publication Date
logo
AUTOVERUS: Automated Proof Generation for Rust Code
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
S
Shan Lu
H-index: 45 · Papers: 215
W
Weidong Cui
H-index: 40 · Papers: 134
B
Bryan Parno
H-index: 39 · Papers: 154
S
Shuvendu K. Lahiri
H-index: 37 · Papers: 173
J
Jacob R. Lorch
H-index: 32 · Papers: 63
View more