Jacob R. Lorch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
16
Active years
1995–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ISCA | From Lab to Fleet: Building and Deploying a Practical Rowhammer Defense in Cloud SoCs. | Stefan Saroiu, Sujay Yadalam, Alec Wolman, Will Remaklus, Daniel S. Berger, Isaac H. Luna, Ishwar Agarwal, Jacob R. Lorch |
| 2025 | OSDI | PoWER Never Corrupts: Tool-Agnostic Verification of Crash Consistency and Corruption Detection. | Hayley LeBlanc, Jacob R. Lorch, Chris Hawblitzel, Cheng Huang, Yiheng Tao, Nickolai Zeldovich, Vijay Chidambaram |
| 2024 | SOSP | Verus: A Practical Foundation for Systems Verification. | 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 |
| 2020 | PLDI | Armada: low-effort verification of high-performance concurrent programs. | Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao |
| 2018 | OSDI | Capturing and Enhancing In Situ System Observability for Failure Detection. | Peng Huang, Chuanxiong Guo, Jacob R. Lorch, Lidong Zhou, Yingnong Dang |
| 2017 | HotOS | Gray Failure: The Achilles' Heel of Cloud-Scale Systems. | Peng Huang, Chuanxiong Guo, Lidong Zhou, Jacob R. Lorch, Yingnong Dang, Murali Chintalapati, Randolph Yao |
| 2016 | OSDI | Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent. | Srinath T. V. Setty, Chunzhi Su, Jacob R. Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren |
| 2015 | NSDI | Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services. | Jacob R. Lorch, Andrew Baumann, Lisa Glendenning, Dutch T. Meyer, Andrew Warfield |
| 2015 | SOSP | IronFleet: proving practical distributed systems correct. | Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill |
| 2014 | OSDI | Ironclad Apps: End-to-End Security via Automated Full-System Verification. | Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill |
| 2013 | EuroSys | Composing OS extensions safely and efficiently with Bascule. | Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt |
| 2013 | FAST | Shroud: ensuring private access to large-scale data in the data center. | Jacob R. Lorch, Bryan Parno, James W. Mickens, Mariana Raykova, Joshua Schiffman |
| 2012 | NSDI | Don't Lose Sleep Over Availability: The GreenUp Decentralized Wakeup Service. | Siddhartha Sen, Jacob R. Lorch, Richard Hughes, Carlos Garcia Jurado Suarez, Brian Zill, Weverton Cordeiro, Jitendra Padhye |
| 2011 | SP | Memoir: Practical State Continuity for Protected Modules. | Bryan Parno, Jacob R. Lorch, John R. Douceur, James W. Mickens, Jonathan M. McCune |
| 2011 | USENIX | Enabling Security in Cloud Storage SLAs with CloudProof. | Raluca Ada Popa, Jacob R. Lorch, David Molnar, Helen J. Wang, Li Zhuang |
| 2010 | USENIX | The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop. | John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch |
| 2009 | NSDI | TrInc: Small Trusted Hardware for Large Distributed Systems. | Dave Levin, John R. Douceur, Jacob R. Lorch, Thomas Moscibroda |
| 2009 | SIGCOMM | Matchmaking for online games and other latency-sensitive P2P systems. | Sharad Agarwal, Jacob R. Lorch |
| 2008 | OSDI | Leveraging Legacy Code to Deploy Desktop Applications on the Web. | John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch |
| 2008 | SIGCOMM | Donnybrook: enabling large-scale, high-speed, peer-to-peer games. | Ashwin R. Bharambe, John R. Douceur, Jacob R. Lorch, Thomas Moscibroda, Jeffrey Pang, Srinivasan Seshan, Xinyu Zhuang |
| 2007 | FAST | A Five-Year Study of File-System Metadata. | Nitin Agrawal, William J. Bolosky, John R. Douceur, Jacob R. Lorch |
| 2006 | EuroSys | The SMART way to migrate replicated stateful services. | Jacob R. Lorch, Atul Adya, William J. Bolosky, Ronnie Chaiken, John R. Douceur, Jon Howell |
| 2006 | SP | SubVirt: Implementing malware with virtual machines. | Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad Verbowski, Helen J. Wang, Jacob R. Lorch |
| 2003 | MASCOTS | Using User Interface Event Information in Dynamic Voltage Scaling Algorithms. | Jacob R. Lorch, Alan Jay Smith |
| 2003 | Mobisys | Operating System Modifications for Task-Based Speed and Voltage Scheduling. | Jacob R. Lorch, Alan Jay Smith |
| 2002 | OSDI | FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. | Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer |
| 2001 | SIGMETRICS | Improving dynamic voltage scaling algorithms with PACE. | Jacob R. Lorch, Alan Jay Smith |
| 2000 | USENIX | A Comparison of File System Workloads. | Drew S. Roselli, Jacob R. Lorch, Thomas E. Anderson |
| 1996 | MOBICOM | Reducing Processor Power Consumption by Improving Processor Time Management in a Single-user Operating System. | Jacob R. Lorch, Alan Jay Smith |
| 1995 | WWW | Making World Wide Web Caching Servers Cooperate. | Radhika Malpani, Jacob R. Lorch, David Berger |