2026 Jacob R. Lorch: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	40	9117	8856	3875	3717	92	9902

Discipline name

D-Index

World Ranking

Current World Ranking

National Ranking

Current National Ranking

Publications

Citations

Computer Science

9117

8856

3875

3717

9902

Overview

Jacob R. Lorch is a researcher affiliated with Microsoft in the United States. Their academic work spans various topics within computer science, particularly focusing on areas such as parallel computing and optimization techniques, logic, programming, and type systems, as well as security and verification in computing.

Their recent publications include the following papers:

"Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility," 2022, published in ACM Transactions on Programming Languages and Systems
"Replication Package for Article "Armada: Low-Effort Verification of High-Performance Concurrent Programs"," 2020, published in Artifact Digital Object Group
"AutoVerus: Automated Proof Generation for Rust Code," 2024, published in arXiv (Cornell University)
"AutoVerus: Automated Proof Generation for Rust Code," 2025, published in Proceedings of the ACM on Programming Languages

Lorch's work appears across several publication venues, including:

ACM Transactions on Programming Languages and Systems
Artifact Digital Object Group
arXiv (Cornell University)
Proceedings of the ACM on Programming Languages

Their frequent collaborators include:

Yixuan Chen
Manos Kapritsos
Bryan Parno
Shaz Qadeer
Upamanyu Sharma

Jacob R. Lorch's research primarily deals with fields and subfields of study such as:

Computer Science
Artificial Intelligence
Hardware and Architecture
Electrical and Electronic Engineering
Computer Networks and Communications
Plant Science

They focus on several main topics within these domains, including:

Parallel Computing and Optimization Techniques
Logic, Programming, and Type Systems
Security and Verification in Computing
Radiation Effects in Electronics
Distributed Systems and Fault Tolerance
Algorithms and Data Compression
Plant Surface Properties and Treatments

Best Publications

Farsite: federated, available, and reliable storage for an incompletely trusted environment

Atul Adya;William J. Bolosky;Miguel Castro;Gerald Cermak

1351
Citations
A comparison of file system workloads

Drew Roselli;Jacob R. Lorch;Thomas E. Anderson

868
Citations
SubVirt: implementing malware with virtual machines

S.T. King;P.M. Chen

675
Citations
A five-year study of file-system metadata

Nitin Agrawal;William J. Bolosky;John R. Douceur;Jacob R. Lorch

629
Citations
Improving dynamic voltage scaling algorithms with PACE

Jacob R. Lorch;Alan Jay Smith

549
Citations
Software strategies for portable computer energy management

J.R. Lorch;A.J. Smith

426
Citations
Securing anti-virus software with virtualization

Jiahe Helen Wang;Jacob R. Lorch;Bryan Jeffrey Parno

405
Citations
IronFleet: proving practical distributed systems correct

Chris Hawblitzel;Jon Howell;Manos Kapritsos;Jacob R. Lorch

389
Citations
Enabling security in cloud storage SLAs with CloudProof

Raluca Ada Popa;Jacob R. Lorch;David Molnar;Helen J. Wang

371
Citations
Donnybrook: enabling large-scale, high-speed, peer-to-peer games

Ashwin Bharambe;John R. Douceur;Jacob R. Lorch;Thomas Moscibroda

253
Citations
Making World Wide Web caching servers cooperate

Radhika Malpani;Jay Lorch;David Berger

245
Citations
Ironclad apps: end-to-end security via automated full-system verification

Chris Hawblitzel;Jon Howell;Jacob R. Lorch;Arjun Narayan

238
Citations
Matchmaking for online games and other latency-sensitive P2P systems

Sharad Agarwal;Jacob R. Lorch

235
Citations
TrInc: small trusted hardware for large distributed systems

Dave Levin;John R. Douceur;Jacob R. Lorch;Thomas Moscibroda

231
Citations
PACE: a new approach to dynamic voltage scaling

J.R. Lorch;A.J. Smith

189
Citations
Gray Failure: The Achilles' Heel of Cloud-Scale Systems

Peng Huang;Chuanxiong Guo;Lidong Zhou;Jacob R. Lorch

158
Citations
Memoir: Practical State Continuity for Protected Modules

Bryan Parno;Jacob R. Lorch;John R. Douceur;James Mickens

153
Citations
Can the fractal dimension of images be measured

Qian Huang;Jacob R. Lorch;Richard C. Dubes

147
Citations
Leveraging legacy code to deploy desktop applications on the web

John R. Douceur;Jeremy Elson;Jon Howell;Jacob R. Lorch

133
Citations
Vale: Verifying High-Performance Cryptographic Assembly Code

Barry Bond;Chris Hawblitzel;Manos Kapritsos;K. Rustan M. Leino

132
Citations

Frequent Co-Authors

John R. Douceur Microsoft (United States)

Bryan Parno Carnegie Mellon University

Alan Jay Smith University of California, Berkeley

Thomas Moscibroda Microsoft (United States)

Jeremy Elson Microsoft (United States)

William J. Bolosky Microsoft (United States)

David Molnar Microsoft (United States)

Lidong Zhou Microsoft (United States)

Atul Adya Google (United States)

Jitendra Padhye Microsoft (United States)

External Links

Personal website of Jacob R. Lorch Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring online education options can open many doors for students interested in Computer Science. If you're looking for a quick route to advanced knowledge, consider enrolling in one of the fastest online master's degree programs. These accelerated pathways allow you to earn a graduate degree in less time, keeping you ahead in a rapidly changing tech landscape.

For those focused on return on investment, it's wise to look into the most worthwhile masters degrees. These degrees teach in-demand skills that employers actively seek, increasing your job prospects and starting salary.

If you prefer a shorter commitment, 1 year associate degree programs online can help you launch a tech career faster, often with the flexibility needed to balance work and study.

Budget-conscious learners should also explore the most affordable online colleges. These institutions provide quality credentials without the heavy financial burden, making higher education and new career pathways more accessible.