Jacob R. Lorch

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 8

Top Topics

Distributed Systems

Automated Verification

Top Venues

ACM Trans. Storage

USENIX Security Symposium

Publications

Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Haojun Ma, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility. ACM Trans. Program. Lang. Syst. 44 (2) (2022)
Angela Demke Brown, Jacob R. Lorch
Introduction to the Special Section on USENIX OSDI 2021. ACM Trans. Storage 18 (1) (2022)
Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, Xueyuan Zhao
Armada: low-effort verification of high-performance concurrent programs. PLDI (2020)
Peng Huang, Chuanxiong Guo, Jacob R. Lorch, Lidong Zhou, Yingnong Dang
Capturing and Enhancing In Situ System Observability for Failure Detection. OSDI (2018)
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)
Peng Huang, Chuanxiong Guo, Lidong Zhou, Jacob R. Lorch, Yingnong Dang, Murali Chintalapati, Randolph Yao
Gray Failure: The Achilles' Heel of Cloud-Scale Systems. HotOS (2017)
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving safety and liveness of practical distributed systems. Commun. ACM 60 (7) (2017)
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)
Chris Hawblitzel, Jon Howell, Manos Kapritsos, Jacob R. Lorch, Bryan Parno, Michael L. Roberts, Srinath T. V. Setty, Brian Zill
IronFleet: proving practical distributed systems correct. SOSP (2015)
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)
Christopher Smowton, Jacob R. Lorch, David Molnar, Stefan Saroiu, Alec Wolman
Zero-effort payments: design, deployment, and lessons. UbiComp (2014)
Arunesh Sinha, Limin Jia, Paul England, Jacob R. Lorch
Continuous Tamper-Proof Logging Using TPM 2.0. TRUST (2014)
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)
Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt
Composing OS extensions safely and efficiently with Bascule. EuroSys (2013)
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)
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)
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 (2012)
Raluca Ada Popa, Jacob R. Lorch, David Molnar, Helen J. Wang, Li Zhuang
Enabling Security in Cloud Storage SLAs with CloudProof. USENIX Annual Technical Conference (2011)
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)
John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch
The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop. USENIX Annual Technical Conference (2010)
John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch, Rik Farrow
Leveraging Legacy Code for Web Browsers. login Usenix Mag. 34 (2) (2009)
Sharad Agarwal, Jacob R. Lorch
Matchmaking for online games and other latency-sensitive P2P systems. SIGCOMM (2009)
Dave Levin, John R. Douceur, Jacob R. Lorch, Thomas Moscibroda
TrInc: Small Trusted Hardware for Large Distributed Systems. NSDI (2009)
John R. Douceur, Jeremy Elson, Jon Howell, Jacob R. Lorch
Leveraging Legacy Code to Deploy Desktop Applications on the Web. OSDI (2008)
Ashwin R. Bharambe, John R. Douceur, Jacob R. Lorch, Thomas Moscibroda, Jeffrey Pang, Srinivasan Seshan, Xinyu Zhuang
Donnybrook: enabling large-scale, high-speed, peer-to-peer games. SIGCOMM (2008)
Nitin Agrawal, William J. Bolosky, John R. Douceur, Jacob R. Lorch
A Five-Year Study of File-System Metadata. FAST (2007)
Jeffrey Pang, Frank C. Uyeda, Jacob R. Lorch
Scaling Peer-to-Peer Games in Low-Bandwidth Environments. IPTPS (2007)
Nitin Agrawal, William J. Bolosky, John R. Douceur, Jacob R. Lorch
A five-year study of file-system metadata. ACM Trans. Storage 3 (3) (2007)
Samuel T. King, Peter M. Chen, Yi-Min Wang, Chad Verbowski, Helen J. Wang, Jacob R. Lorch
SubVirt: Implementing malware with virtual machines. IEEE Symposium on Security and Privacy (2006)
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)
Jacob R. Lorch, Alan Jay Smith
PACE: A New Approach to Dynamic Voltage Scaling. IEEE Trans. Computers 53 (7) (2004)
Jacob R. Lorch, Alan Jay Smith
Using User Interface Event Information in Dynamic Voltage Scaling Algorithms. MASCOTS (2003)
Jacob R. Lorch, Alan Jay Smith
Operating System Modifications for Task-Based Speed and Voltage Scheduling. MobiSys (2003)
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)
Jacob R. Lorch, Alan Jay Smith
Improving dynamic voltage scaling algorithms with PACE. SIGMETRICS/Performance (2001)
Drew S. Roselli, Jacob R. Lorch, Thomas E. Anderson
A Comparison of File System Workloads. USENIX Annual Technical Conference, General Track (2000)
Jacob R. Lorch, Alan Jay Smith
Apple Macintosh's energy consumption. IEEE Micro 18 (6) (1998)
Jacob R. Lorch, Alan Jay Smith
Software strategies for portable computer energy management. IEEE Wirel. Commun. 5 (3) (1998)
Jacob R. Lorch, Alan Jay Smith
Scheduling techniques for reducing processor energy use in MacOS. Wirel. Networks 3 (5) (1997)
Jacob R. Lorch, Alan Jay Smith
Reducing Processor Power Consumption by Improving Processor Time Management in a Single-user Operating System. MobiCom (1996)
Radhika Malpani, Jacob R. Lorch, David Berger
Making World Wide Web Caching Servers Cooperate. World Wide Web J. 1 (1) (1996)
Radhika Malpani, Jacob R. Lorch, David Berger
Making World Wide Web Caching Servers Cooperate. WWW (Fall) (1995)
Qian Huang, Jacob R. Lorch, Richard C. Dubes
Can the fractal dimension of images be measured? Pattern Recognit. 27 (3) (1994)