Jacob R. Lorch

Affiliations:
  • Microsoft Research, Redmond, WA, USA


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2020
Armada: low-effort verification of high-performance concurrent programs.
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.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

2017
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

2016
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

2015
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

2014
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

2013
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

2012
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

2011
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

2010
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

2009
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

2008
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

2007
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

2006
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

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

2003
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

2002
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

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

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

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

Apple Macintosh's energy consumption.
IEEE Micro, 1998

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

1996
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

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


  Loading...