Jacob R. Lorch - Publications, H-index & Citations

Jacob R. Lorch

university of california irvine

32H指数

63论文数

5.3K被引数

收录论文 4

发表时间

AUTOVERUS: Automated Proof Generation for Rust Code AUTOVERUS：Rust代码的自动化证明生成

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL

IF2.8

2025-10-01

PREAI

Yang, 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

IronFleet: Proving Safety and Liveness of Practical Distributed Systems

COMMUNICATIONS OF THE ACM

IF12.2

2017-06-26

PREAI

Hawblitzel, Chris; Howell, Jon; Kapritsos, Manos; Lorch, Jacob R.; Parno, Bryan; Roberts, Michael L.; Setty, Srinath; Zill, Brian

Apple Macintosh's energy consumption

IEEE MICRO

IF2.9

1998-01-01

PREAI

Lorch, JR; Smith, AJ

Scheduling techniques for reducing processor energy use in MacOS

WIRELESS NETWORKS

IF2.1

1997-01-01

PREAI

Lorch, Jacob R.; Smith, Alan Jay

研究方向