Jacob R. Lorch

  • Microsoft Research, Redmond, WA, USA

According to our database1, Jacob R. Lorch authored at least 43 papers between 1994 and 2022.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


Introduction to the Special Section on USENIX OSDI 2021.
ACM Trans. Storage, 2022

Armada: low-effort verification of high-performance concurrent programs.
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

Capturing and Enhancing In Situ System Observability for Failure Detection.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

IronFleet: proving safety and liveness of practical distributed systems.
Commun. ACM, 2017

Vale: Verifying High-Performance Cryptographic Assembly Code.
Proceedings of the 26th USENIX Security Symposium, 2017

Gray Failure: The Achilles' Heel of Cloud-Scale Systems.
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

IronFleet: proving practical distributed systems correct.
Proceedings of the 25th Symposium on Operating Systems Principles, 2015

Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

Continuous Tamper-Proof Logging Using TPM 2.0.
Proceedings of the Trust and Trustworthy Computing - 7th International Conference, 2014

Ironclad Apps: End-to-End Security via Automated Full-System Verification.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Zero-effort payments: design, deployment, and lessons.
Proceedings of the 2014 ACM Conference on Ubiquitous Computing, UbiComp '14, Seattle, WA, 2014

Shroud: ensuring private access to large-scale data in the data center.
Proceedings of the 11th USENIX conference on File and Storage Technologies, 2013

Composing OS extensions safely and efficiently with Bascule.
Proceedings of the Eighth Eurosys Conference 2013, 2013

Toward Practical Private Access to Data Centers via Parallel ORAM.
IACR Cryptol. ePrint Arch., 2012

Don't Lose Sleep Over Availability: The GreenUp Decentralized Wakeup Service.
Proceedings of the 9th USENIX Symposium on Networked Systems Design and Implementation, 2012

Enabling Security in Cloud Storage SLAs with CloudProof.
Proceedings of the 2011 USENIX Annual Technical Conference, 2011

Memoir: Practical State Continuity for Protected Modules.
Proceedings of the 32nd IEEE Symposium on Security and Privacy, 2011

The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop.
Proceedings of the 2010 USENIX Annual Technical Conference, 2010

Crom: Faster Web Browsing Using Speculative Execution.
Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation, 2010

Leveraging Legacy Code for Web Browsers.
login Usenix Mag., 2009

Matchmaking for online games and other latency-sensitive P2P systems.
Proceedings of the ACM SIGCOMM 2009 Conference on Applications, 2009

TrInc: Small Trusted Hardware for Large Distributed Systems.
Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation, 2009

Donnybrook: enabling large-scale, high-speed, peer-to-peer games.
Proceedings of the ACM SIGCOMM 2008 Conference on Applications, 2008

Leveraging Legacy Code to Deploy Desktop Applications on the Web.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

A five-year study of file-system metadata.
ACM Trans. Storage, 2007

Maximizing total upload in latency-sensitive P2P applications.
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.
Proceedings of the 6th International workshop on Peer-To-Peer Systems, 2007

SubVirt: Implementing malware with virtual machines.
Proceedings of the 2006 IEEE Symposium on Security and Privacy (S&P 2006), 2006

The SMART way to migrate replicated stateful services.
Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006

PACE: A New Approach to Dynamic Voltage Scaling.
IEEE Trans. Computers, 2004

Operating System Modifications for Task-Based Speed and Voltage Scheduling.
Proceedings of the First International Conference on Mobile Systems, 2003

Using User Interface Event Information in Dynamic Voltage Scaling Algorithms.
Proceedings of the 11th International Workshop on Modeling, 2003

FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment.
Proceedings of the 5th Symposium on Operating System Design and Implementation (OSDI 2002), 2002

Improving dynamic voltage scaling algorithms with PACE.
Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 2001

A Comparison of File System Workloads.
Proceedings of the General Track: 2000 USENIX Annual Technical Conference, 2000

Software strategies for portable computer energy management.
IEEE Wirel. Commun., 1998

Apple Macintosh's energy consumption.
IEEE Micro, 1998

Scheduling techniques for reducing processor energy use in MacOS.
Wirel. Networks, 1997

Making World Wide Web Caching Servers Cooperate.
World Wide Web J., 1996

Reducing Processor Power Consumption by Improving Processor Time Management in a Single-user Operating System.
Proceedings of the MOBICOM '96, 1996

Can the fractal dimension of images be measured?
Pattern Recognit., 1994