Jacob R. Lorch

According to our database, Jacob R. Lorch authored at least 46 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

AutoVerus: Automated Proof Generation for Rust Code.

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

CoRR, 2024

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

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

2022

Introduction to the Special Section on USENIX OSDI 2021.

Angela Demke Brown, Jacob R. Lorch

ACM Trans. Storage, 2022

Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility.

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao

ACM Trans. Program. Lang. Syst., 2022

2020

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

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

2018

Capturing and Enhancing In Situ System Observability for Failure Detection.

Peng Huang, Chuanxiong Guo, Jacob R. Lorch, Lidong Zhou, Yingnong Dang

Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017

IronFleet: proving safety and liveness of practical distributed systems.

Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael Lowell Roberts, Srinath T. V. Setty, Brian Zill

Commun. ACM, 2017

Vale: Verifying High-Performance Cryptographic Assembly Code.

Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson

Proceedings of the 26th USENIX Security Symposium, 2017

Everest: Towards a Verified, Drop-in Replacement of HTTPS.

Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, K. Rustan M. Leino, Jay R. Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella Béguelin, Jean Karim Zinzindohoue

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

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

Peng Huang, Chuanxiong Guo, Lidong Zhou, Jacob R. Lorch, Yingnong Dang, Murali Chintalapati, Randolph Yao

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2016

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

Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

2015

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

Proceedings of the 25th Symposium on Operating Systems Principles, 2015

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

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014

Continuous Tamper-Proof Logging Using TPM 2.0.

Arunesh Sinha, Limin Jia, Paul England, Jacob R. Lorch

Proceedings of the Trust and Trustworthy Computing - 7th International Conference, 2014

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

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Zero-effort payments: design, deployment, and lessons.

Christopher Smowton, Jacob R. Lorch, David Molnar, Stefan Saroiu, Alec Wolman

Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014

2013

Shroud: ensuring private access to large-scale data in the data center.

Jacob R. Lorch, Bryan Parno, James W. Mickens, Mariana Raykova, Joshua Schiffman

Proceedings of the 11th USENIX conference on File and Storage Technologies, 2013

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

Proceedings of the Eighth Eurosys Conference 2013, 2013

2012

Toward Practical Private Access to Data Centers via Parallel ORAM.

Jacob R. Lorch, James W. Mickens, Bryan Parno, Mariana Raykova, Joshua Schiffman

IACR Cryptol. ePrint Arch., 2012

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

Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012

2011

Enabling Security in Cloud Storage SLAs with CloudProof.

Raluca Ada Popa, Jacob R. Lorch, David Molnar, Helen J. Wang, Li Zhuang

Proceedings of the 2011 USENIX Annual Technical Conference, 2011

Memoir: Practical State Continuity for Protected Modules.

Bryan Parno, Jacob R. Lorch, John R. Douceur, James W. Mickens, Jonathan M. McCune

Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

2010

The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop.

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

Proceedings of the 2010 USENIX Annual Technical Conference, 2010

Crom: Faster Web Browsing Using Speculative Execution.

James W. Mickens, Jeremy Elson, Jon Howell, Jay R. Lorch

Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

2009

Leveraging Legacy Code for Web Browsers.

John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch, Rik Farrow

login Usenix Mag., 2009

Matchmaking for online games and other latency-sensitive P2P systems.

Sharad Agarwal, Jacob R. Lorch

Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009

TrInc: Small Trusted Hardware for Large Distributed Systems.

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

Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

2008

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

Proceedings of the ACM SIGCOMM 2008 Conference on Applications, 2008

Leveraging Legacy Code to Deploy Desktop Applications on the Web.

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

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

2007

A five-year study of file-system metadata.

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

ACM Trans. Storage, 2007

Maximizing total upload in latency-sensitive P2P applications.

John R. Douceur, Jay R. Lorch, Thomas Moscibroda

Proceedings of the SPAA 2007: Proceedings of the 19th Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2007

Scaling Peer-to-Peer Games in Low-Bandwidth Environments.

Jeffrey Pang, Frank C. Uyeda, Jacob R. Lorch

Proceedings of the 6th International workshop on Peer-To-Peer Systems, 2007

2006

SubVirt: Implementing malware with virtual machines.

Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad Verbowski, Helen J. Wang, Jacob R. Lorch

Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

The SMART way to migrate replicated stateful services.

Jacob R. Lorch, Atul Adya, William J. Bolosky, Ronnie Chaiken, John R. Douceur, Jon Howell

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

2004

PACE: A New Approach to Dynamic Voltage Scaling.

Jacob R. Lorch, Alan Jay Smith

IEEE Trans. Computers, 2004

2003

Operating System Modifications for Task-Based Speed and Voltage Scheduling.

Jacob R. Lorch, Alan Jay Smith

Proceedings of the First International Conference on Mobile Systems, 2003

Using User Interface Event Information in Dynamic Voltage Scaling Algorithms.

Jacob R. Lorch, Alan Jay Smith

Proceedings of the 11th International Workshop on Modeling, 2003

2002

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

Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

2001

Improving dynamic voltage scaling algorithms with PACE.

Jacob R. Lorch, Alan Jay Smith

Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 2001

2000

A Comparison of File System Workloads.

Drew S. Roselli, Jacob R. Lorch, Thomas E. Anderson

Proceedings of the General Track: 2000 USENIX Annual Technical Conference, 2000

1998

Software strategies for portable computer energy management.

Jacob R. Lorch, Alan Jay Smith

IEEE Wirel. Commun., 1998

Apple Macintosh's energy consumption.

Jacob R. Lorch, Alan Jay Smith

IEEE Micro, 1998

1997

Scheduling techniques for reducing processor energy use in MacOS.

Jacob R. Lorch, Alan Jay Smith

Wirel. Networks, 1997

1996

Making World Wide Web Caching Servers Cooperate.

Radhika Malpani, Jacob R. Lorch, David Berger

World Wide Web J., 1996

Reducing Processor Power Consumption by Improving Processor Time Management in a Single-user Operating System.

Jacob R. Lorch, Alan Jay Smith

Proceedings of the MOBICOM '96, 1996

1994

Can the fractal dimension of images be measured?

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

Pattern Recognit., 1994