Jacob R. Lorch

49 papers A* 14A 6B 1Misc 4Journal 16Unranked 8
YearRankTypeTitle / Venue / Authors
2026 J jnl
Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set.
CoRR
Nongyu Di, Tianyu Chen, Shan Lu, Shuai Lu, Yeyun Gong, Peng Cheng, Jacob R. Lorch, Yuan Yao, Xiaoxing Ma
2025 J jnl
AutoVerus: Automated Proof Generation for Rust Code.
Proc. ACM Program. Lang.
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu K. Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
2025 A* conf
PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection.
OSDI
Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram
2025 J jnl
VeruSAGE: A Study of Agent-Based Verification for Rust Systems.
CoRR
Chenyuan Yang, Natalie Neamtu, Chris Hawblitzel, Jacob R. Lorch, Shan Lu
2024 J jnl
AutoVerus: Automated Proof Generation for Rust Code.
CoRR
Chenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, Jianan Yao, Weidong Cui, Yeyun Gong, Chris Hawblitzel, Shuvendu K. Lahiri, Jacob R. Lorch, Shuai Lu, Fan Yang, Ziqiao Zhou, Shan Lu
2024 A* conf
Verus: A Practical Foundation for Systems Verification.
SOSP
Andrea Lattuada, Travis Hance, Jay Bosamiya, Matthias Brun, Chanhee Cho, Hayley LeBlanc, Pranav Srinivasan, Reto Achermann, Tej Chajed, Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Oded Padon, Bryan Parno
2022 J jnl
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility.
ACM Trans. Program. Lang. Syst.
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
2022 J jnl
Introduction to the Special Section on USENIX OSDI 2021.
ACM Trans. Storage
Angela Demke Brown, Jacob R. Lorch
2020 A* conf
Armada: low-effort verification of high-performance concurrent programs.
PLDI
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
2018 A* conf
Capturing and Enhancing In Situ System Observability for Failure Detection.
OSDI
Peng Huang, Chuanxiong Guo, Jacob R. Lorch, Lidong Zhou, Yingnong Dang
2017 A conf
Gray Failure: The Achilles' Heel of Cloud-Scale Systems.
HotOS
Peng Huang, Chuanxiong Guo, Lidong Zhou, Jacob R. Lorch, Yingnong Dang, Murali Chintalapati, Randolph Yao
2017 J jnl
IronFleet: proving safety and liveness of practical distributed systems.
Commun. ACM
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill
2017 A* conf
Vale: Verifying High-Performance Cryptographic Assembly Code.
USENIX Security Symposium
Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson
2016 A* conf
Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent.
OSDI
Srinath T. V. Setty, Chunzhi Su, Jacob R. Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren
2015 A* conf
IronFleet: proving practical distributed systems correct.
SOSP
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill
2015 Misc conf
Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services.
NSDI
Jacob R. Lorch, Andrew Baumann, Lisa Glendenning, Dutch T. Meyer, Andrew Warfield
2014 — conf
Continuous Tamper-Proof Logging Using TPM 2.0.
TRUST
Arunesh Sinha, Limin Jia, Paul England, Jacob R. Lorch
2014 A* conf
Ironclad Apps: End-to-End Security via Automated Full-System Verification.
OSDI
Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill
2014 Misc conf
Zero-effort payments: design, deployment, and lessons.
UbiComp
Christopher Smowton, Jacob R. Lorch, David Molnar, Stefan Saroiu, Alec Wolman
2013 A conf
Composing OS extensions safely and efficiently with Bascule.
EuroSys
Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt
2013 A conf
Shroud: ensuring private access to large-scale data in the data center.
FAST
Jacob R. Lorch, Bryan Parno, James W. Mickens, Mariana Raykova, Joshua Schiffman
2012 Misc conf
Don't Lose Sleep Over Availability: The GreenUp Decentralized Wakeup Service.
NSDI
Siddhartha Sen, Jacob R. Lorch, Richard Hughes, Carlos Garcia Jurado Suarez, Brian Zill, Weverton Cordeiro, Jitendra Padhye
2012 J jnl
Toward Practical Private Access to Data Centers via Parallel ORAM.
IACR Cryptol. ePrint Arch.
Jacob R. Lorch, James W. Mickens, Bryan Parno, Mariana Raykova, Joshua Schiffman
2011 — conf
Enabling Security in Cloud Storage SLAs with CloudProof.
USENIX ATC
Raluca Ada Popa, Jacob R. Lorch, David Molnar, Helen J. Wang, Li Zhuang
2011 A* conf
Memoir: Practical State Continuity for Protected Modules.
IEEE Symposium on Security and Privacy
Bryan Parno, Jacob R. Lorch, John R. Douceur, James W. Mickens, Jonathan M. McCune
2010 — conf
The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop.
USENIX ATC
John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch
2009 J jnl
Leveraging Legacy Code for Web Browsers.
login Usenix Mag.
John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch, Rik Farrow
2009 A* conf
Matchmaking for online games and other latency-sensitive P2P systems.
SIGCOMM
Sharad Agarwal, Jacob R. Lorch
2009 Misc conf
TrInc: Small Trusted Hardware for Large Distributed Systems.
NSDI
Dave Levin, John R. Douceur, Jacob R. Lorch, Thomas Moscibroda
2008 A* conf
Donnybrook: enabling large-scale, high-speed, peer-to-peer games.
SIGCOMM
Ashwin R. Bharambe, John R. Douceur, Jacob R. Lorch, Thomas Moscibroda, Jeffrey Pang, Srinivasan Seshan, Xinyu Zhuang
2008 A* conf
Leveraging Legacy Code to Deploy Desktop Applications on the Web.
OSDI
John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch
2007 A conf
A Five-Year Study of File-System Metadata.
FAST
Nitin Agrawal, William J. Bolosky, John R. Douceur, Jacob R. Lorch
2007 J jnl
A five-year study of file-system metadata.
ACM Trans. Storage
Nitin Agrawal, William J. Bolosky, John R. Douceur, Jacob R. Lorch
2007 — conf
Scaling Peer-to-Peer Games in Low-Bandwidth Environments.
IPTPS
Jeffrey Pang, Frank C. Uyeda, Jacob R. Lorch
2006 — conf
SubVirt: Implementing malware with virtual machines.
S&P
Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad Verbowski, Helen J. Wang, Jacob R. Lorch
2006 A conf
The SMART way to migrate replicated stateful services.
EuroSys
Jacob R. Lorch, Atul Adya, William J. Bolosky, Ronnie Chaiken, John R. Douceur, Jon Howell
2004 J jnl
PACE: A New Approach to Dynamic Voltage Scaling.
IEEE Trans. Computers
Jacob R. Lorch, Alan Jay Smith
2003 A conf
Operating System Modifications for Task-Based Speed and Voltage Scheduling.
MobiSys
Jacob R. Lorch, Alan Jay Smith
2003 B conf
Using User Interface Event Information in Dynamic Voltage Scaling Algorithms.
MASCOTS
Jacob R. Lorch, Alan Jay Smith
2002 A* conf
FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment.
OSDI
Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer
2001 — conf
Improving dynamic voltage scaling algorithms with PACE.
SIGMETRICS/Performance
Jacob R. Lorch, Alan Jay Smith
2000 — conf
A Comparison of File System Workloads.
USENIX ATC, General Track
Drew S. Roselli, Jacob R. Lorch, Thomas E. Anderson
1998 J jnl
Apple Macintosh's energy consumption.
IEEE Micro
Jacob R. Lorch, Alan Jay Smith
1998 J jnl
Software strategies for portable computer energy management.
IEEE Wirel. Commun.
Jacob R. Lorch, Alan Jay Smith
1997 J jnl
Scheduling techniques for reducing processor energy use in MacOS.
Wirel. Networks
Jacob R. Lorch, Alan Jay Smith
1996 J jnl
Making World Wide Web Caching Servers Cooperate.
World Wide Web J.
Radhika Malpani, Jacob R. Lorch, David Berger
1996 A* conf
Reducing Processor Power Consumption by Improving Processor Time Management in a Single-user Operating System.
MobiCom
Jacob R. Lorch, Alan Jay Smith
1995 — conf
Making World Wide Web Caching Servers Cooperate.
WWW (Fall)
Radhika Malpani, Jacob R. Lorch, David Berger
1994 J jnl
Can the fractal dimension of images be measured?
Pattern Recognit.
Qian Huang, Jacob R. Lorch, Richard C. Dubes