default search action
Jacob R. Lorch
Person information
- affiliation: Microsoft Research, Redmond, WA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c35]Andrea Lattuada
, Travis Hance
Verus: A Practical Foundation for Systems Verification. SOSP 2024: 438-454 - [i2]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:
AutoVerus: Automated Proof Generation for Rust Code. CoRR abs/2409.13082 (2024) - 2022
- [j11]Jacob R. Lorch
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. ACM Trans. Program. Lang. Syst. 44(2): 12:1-12:39 (2022) - [j10]Angela Demke Brown, Jacob R. Lorch:
Introduction to the Special Section on USENIX OSDI 2021. ACM Trans. Storage 18(1): 1:1 (2022) - 2021
- [e3]Angela Demke Brown, Jay R. Lorch:
15th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2021, July 14-16, 2021. USENIX Association 2021 [contents] - 2020
- [c34]Jacob R. Lorch, Yixuan Chen
Armada: low-effort verification of high-performance concurrent programs. PLDI 2020: 197-210
2010 – 2019
- 2019
- [e2]Jay R. Lorch, Minlan Yu:
16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019, Boston, MA, February 26-28, 2019. USENIX Association 2019 [contents] - 2018
- [c33]Peng Huang, Chuanxiong Guo, Jacob R. Lorch, Lidong Zhou, Yingnong Dang:
Capturing and Enhancing In Situ System Observability for Failure Detection. OSDI 2018: 1-16 - 2017
- [j9]Chris Hawblitzel, Jon Howell, Manos Kapritsos
IronFleet: proving safety and liveness of practical distributed systems. Commun. ACM 60(7): 83-92 (2017) - [c32]Peng Huang, Chuanxiong Guo
Gray Failure: The Achilles' Heel of Cloud-Scale Systems. HotOS 2017: 150-155 - [c31]Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss
Everest: Towards a Verified, Drop-in Replacement of HTTPS. SNAPL 2017: 1:1-1:12 - [c30]Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson:
Vale: Verifying High-Performance Cryptographic Assembly Code. USENIX Security Symposium 2017: 917-934 - 2016
- [c29]Srinath T. V. Setty, Chunzhi Su, Jacob R. Lorch, Lidong Zhou, Hao Chen, Parveen Patel, Jinglei Ren:
Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent. OSDI 2016: 501-516 - 2015
- [c28]Jacob R. Lorch, Andrew Baumann, Lisa Glendenning, Dutch T. Meyer, Andrew Warfield:
Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services. NSDI 2015: 575-588 - [c27]Chris Hawblitzel, Jon Howell, Manos Kapritsos
IronFleet: proving practical distributed systems correct. SOSP 2015: 1-17 - [e1]Yong Liu, Marinho P. Barcellos, Jay R. Lorch, Anyi Wang:
2015 IEEE International Conference on Peer-to-Peer Computing, P2P 2015, Boston, MA, USA, September 21-25, 2015. IEEE 2015, ISBN 978-1-5090-0300-6 [contents] - 2014
- [c26]Christopher Smowton, Jacob R. Lorch, David Molnar, Stefan Saroiu, Alec Wolman:
Zero-effort payments: design, deployment, and lessons. UbiComp 2014: 763-774 - [c25]Chris Hawblitzel, Jon Howell, Jacob R. Lorch, Arjun Narayan, Bryan Parno, Danfeng Zhang, Brian Zill:
Ironclad Apps: End-to-End Security via Automated Full-System Verification. OSDI 2014: 165-181 - [c24]Arunesh Sinha
Continuous Tamper-Proof Logging Using TPM 2.0. TRUST 2014: 19-36 - 2013
- [c23]Andrew Baumann, Dongyoon Lee
Composing OS extensions safely and efficiently with Bascule. EuroSys 2013: 239-252 - [c22]Jacob R. Lorch, Bryan Parno, James W. Mickens, Mariana Raykova, Joshua Schiffman:
Shroud: ensuring private access to large-scale data in the data center. FAST 2013: 199-214 - 2012
- [c21]Siddhartha Sen, Jacob R. Lorch, Richard Hughes, Carlos Garcia Jurado Suarez, Brian Zill, Weverton Cordeiro, Jitendra Padhye:
Don't Lose Sleep Over Availability: The GreenUp Decentralized Wakeup Service. NSDI 2012: 211-224 - [i1]Jacob R. Lorch, James W. Mickens, Bryan Parno, Mariana Raykova, Joshua Schiffman:
Toward Practical Private Access to Data Centers via Parallel ORAM. IACR Cryptol. ePrint Arch. 2012: 133 (2012) - 2011
- [c20]Bryan Parno, Jacob R. Lorch, John R. Douceur, James W. Mickens, Jonathan M. McCune:
Memoir: Practical State Continuity for Protected Modules. IEEE Symposium on Security and Privacy 2011: 379-394 - [c19]Raluca Ada Popa, Jacob R. Lorch, David Molnar, Helen J. Wang, Li Zhuang:
Enabling Security in Cloud Storage SLAs with CloudProof. USENIX ATC 2011 - 2010
- [c18]James W. Mickens, Jeremy Elson, Jon Howell, Jay R. Lorch:
Crom: Faster Web Browsing Using Speculative Execution. NSDI 2010: 127-142 - [c17]John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch:
The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop. USENIX ATC 2010
2000 – 2009
- 2009
- [j8]John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch, Rik Farrow:
Leveraging Legacy Code for Web Browsers. login Usenix Mag. 34(2) (2009) - [c16]Dave Levin, John R. Douceur, Jacob R. Lorch, Thomas Moscibroda:
TrInc: Small Trusted Hardware for Large Distributed Systems. NSDI 2009: 1-14 - [c15]Sharad Agarwal, Jacob R. Lorch:
Matchmaking for online games and other latency-sensitive P2P systems. SIGCOMM 2009: 315-326 - 2008
- [c14]John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch:
Leveraging Legacy Code to Deploy Desktop Applications on the Web. OSDI 2008: 339-354 - [c13]Ashwin R. Bharambe, John R. Douceur, Jacob R. Lorch, Thomas Moscibroda, Jeffrey Pang, Srinivasan Seshan
Donnybrook: enabling large-scale, high-speed, peer-to-peer games. SIGCOMM 2008: 389-400 - 2007
- [j7]Nitin Agrawal, William J. Bolosky, John R. Douceur, Jacob R. Lorch:
A five-year study of file-system metadata. ACM Trans. Storage 3(3): 9:1-9:32 (2007) - [c12]Nitin Agrawal, William J. Bolosky, John R. Douceur, Jacob R. Lorch:
A Five-Year Study of File-System Metadata. FAST 2007: 31-45 - [c11]Jeffrey Pang, Frank C. Uyeda, Jacob R. Lorch:
Scaling Peer-to-Peer Games in Low-Bandwidth Environments. IPTPS 2007 - [c10]John R. Douceur, Jay R. Lorch, Thomas Moscibroda:
Maximizing total upload in latency-sensitive P2P applications. SPAA 2007: 270-279 - 2006
- [c9]Jacob R. Lorch, Atul Adya, William J. Bolosky, Ronnie Chaiken, John R. Douceur, Jon Howell:
The SMART way to migrate replicated stateful services. EuroSys 2006: 103-115 - [c8]Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad Verbowski, Helen J. Wang, Jacob R. Lorch:
SubVirt: Implementing malware with virtual machines. S&P 2006: 314-327 - 2004
- [j6]Jacob R. Lorch, Alan Jay Smith:
PACE: A New Approach to Dynamic Voltage Scaling. IEEE Trans. Computers 53(7): 856-869 (2004) - 2003
- [c7]Jacob R. Lorch, Alan Jay Smith:
Using User Interface Event Information in Dynamic Voltage Scaling Algorithms. MASCOTS 2003: 46-55 - [c6]Jacob R. Lorch, Alan Jay Smith:
Operating System Modifications for Task-Based Speed and Voltage Scheduling. MobiSys 2003: 215-229 - 2002
- [c5]Atul Adya, William J. Bolosky, Miguel Castro, Gerald Cermak, Ronnie Chaiken, John R. Douceur, Jon Howell, Jacob R. Lorch, Marvin Theimer, Roger Wattenhofer:
FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. OSDI 2002 - 2001
- [c4]Jacob R. Lorch, Alan Jay Smith:
Improving dynamic voltage scaling algorithms with PACE. SIGMETRICS/Performance 2001: 50-61 - 2000
- [c3]Drew S. Roselli, Jacob R. Lorch, Thomas E. Anderson:
A Comparison of File System Workloads. USENIX ATC, General Track 2000: 41-54
1990 – 1999
- 1998
- [j5]Jacob R. Lorch, Alan Jay Smith:
Apple Macintosh's energy consumption. IEEE Micro 18(6): 54-63 (1998) - [j4]Jacob R. Lorch, Alan Jay Smith:
Software strategies for portable computer energy management. IEEE Wirel. Commun. 5(3): 60-73 (1998) - 1997
- [j3]Jacob R. Lorch, Alan Jay Smith:
Scheduling techniques for reducing processor energy use in MacOS. Wirel. Networks 3(5): 311-324 (1997) - 1996
- [j2]Radhika Malpani, Jacob R. Lorch, David Berger:
Making World Wide Web Caching Servers Cooperate. World Wide Web J. 1(1) (1996) - [c2]Jacob R. Lorch, Alan Jay Smith:
Reducing Processor Power Consumption by Improving Processor Time Management in a Single-user Operating System. MobiCom 1996: 143-154 - 1995
- [c1]Radhika Malpani, Jacob R. Lorch, David Berger:
Making World Wide Web Caching Servers Cooperate. WWW (Fall) 1995: 107-117 - 1994
- [j1]Qian Huang, Jacob R. Lorch, Richard C. Dubes:
Can the fractal dimension of images be measured? Pattern Recognit. 27(3): 339-349 (1994)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: