@inproceedings {222603, author = {Peng Huang and Chuanxiong Guo and Jacob R. Lorch and Lidong Zhou and Yingnong Dang}, title = {Capturing and Enhancing In Situ System Observability for Failure Detection}, booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)}, year = {2018}, isbn = {978-1-939133-08-3}, address = {Carlsbad, CA}, pages = {1--16}, url = {https://www.usenix.org/conference/osdi18/presentation/huang}, publisher = {USENIX Association}, month = oct } @inproceedings {203642, author = {Barry Bond and Chris Hawblitzel and Manos Kapritsos and K. Rustan M. Leino and Jacob R. Lorch and Bryan Parno and Ashay Rane and Srinath Setty and Laure Thompson}, title = {Vale: Verifying {High-Performance} Cryptographic Assembly Code}, booktitle = {26th USENIX Security Symposium (USENIX Security 17)}, year = {2017}, isbn = {978-1-931971-40-9}, address = {Vancouver, BC}, pages = {917--934}, url = {https://www.usenix.org/conference/usenixsecurity17/technical-sessions/presentation/bond}, publisher = {USENIX Association}, month = aug } @inproceedings {199350, author = {Srinath Setty and Chunzhi Su and Jacob R. Lorch and Lidong Zhou and Hao Chen and Parveen Patel and Jinglei Ren}, title = {Realizing the {Fault-Tolerance} Promise of Cloud Storage Using Locks with Intent}, booktitle = {12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16)}, year = {2016}, isbn = {978-1-931971-33-1}, address = {Savannah, GA}, pages = {501--516}, url = {https://www.usenix.org/conference/osdi16/technical-sessions/presentation/setty}, publisher = {USENIX Association}, month = nov } @inproceedings {189028, author = {Jacob R. Lorch and Andrew Baumann and Lisa Glendenning and Dutch Meyer and Andrew Warfield}, title = {Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct {Fault-Tolerant} Services}, booktitle = {12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15)}, year = {2015}, isbn = {978-1-931971-218}, address = {Oakland, CA}, pages = {575--588}, url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/lorch}, publisher = {USENIX Association}, month = may } @inproceedings {186161, author = {Chris Hawblitzel and Jon Howell and Jacob R. Lorch and Arjun Narayan and Bryan Parno and Danfeng Zhang and Brian Zill}, title = {Ironclad Apps: {End-to-End} Security via Automated {Full-System} Verification}, booktitle = {11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14)}, year = {2014}, isbn = { 978-1-931971-16-4}, address = {Broomfield, CO}, pages = {165--181}, url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/hawblitzel}, publisher = {USENIX Association}, month = oct } @inproceedings {180747, author = {Jacob R. Lorch and Bryan Parno and James Mickens and Mariana Raykova and Joshua Schiffman}, title = {Shroud: Ensuring Private Access to {Large-Scale} Data in the Data Center}, booktitle = {11th USENIX Conference on File and Storage Technologies (FAST 13)}, year = {2013}, isbn = {978-1-931971-99-7}, address = {San Jose, CA}, pages = {199--213}, url = {https://www.usenix.org/conference/fast13/technical-sessions/presentation/lorch}, publisher = {USENIX Association}, month = feb } @inproceedings {180615, author = {Siddhartha Sen and Jacob R. Lorch and Richard Hughes and Carlos Garcia Jurado Suarez and Brian Zill and Weverton Cordeiro and Jitendra Padhye}, title = {Don{\textquoteright}t Lose Sleep Over Availability: The {GreenUp} Decentralized Wakeup Service}, booktitle = {9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12)}, year = {2012}, isbn = {978-931971-92-8}, address = {San Jose, CA}, pages = {211--224}, url = {https://www.usenix.org/conference/nsdi12/technical-sessions/presentation/sen}, publisher = {USENIX Association}, month = apr } @inproceedings {266713, author = {Raluca Ada Popa and Jacob R. Lorch and David Molnar and Helen J. Wang and Li Zhuang}, title = {Enabling Security in Cloud Storage {SLAs} with {CloudProof}}, booktitle = {2011 USENIX Annual Technical Conference (USENIX ATC 11)}, year = {2011}, address = {Portland, OR}, url = {https://www.usenix.org/conference/usenixatc11/enabling-security-cloud-storage-slas-cloudproof}, publisher = {USENIX Association}, month = jun } @inproceedings {267353, author = {John R. Douceur and Jeremy Elson and Jon Howell and Jacob R. Lorch}, title = {The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop}, booktitle = {2010 USENIX Annual Technical Conference (USENIX ATC 10)}, year = {2010}, url = {https://www.usenix.org/conference/usenix-atc-10/utility-coprocessor-massively-parallel-computation-coffee-shop}, publisher = {USENIX Association}, month = jun } @inproceedings {267801, author = {Dave Levin and John R. Douceur and Jacob R. Lorch and Thomas Moscibroda}, title = {{TrInc}: Small Trusted Hardware for Large Distributed Systems}, booktitle = {6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09)}, year = {2009}, address = {Boston, MA }, url = {https://www.usenix.org/conference/nsdi-09/trinc-small-trusted-hardware-large-distributed-systems}, publisher = {USENIX Association}, month = apr } @inproceedings {267908, author = {John R. Douceur and Jeremy Elson and Jon Howell and Jacob R. Lorch}, title = {Leveraging Legacy Code to Deploy Desktop Applications on the Web}, booktitle = {8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08)}, year = {2008}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/osdi-08/leveraging-legacy-code-deploy-desktop-applications-web}, publisher = {USENIX Association}, month = dec } @inproceedings {268717, author = {Nitin Agrawal and William J. Bolosky and John R. Douceur and Jacob R. Lorch}, title = {A {Five-Year} Study of {File-System} Metadata }, booktitle = {5th USENIX Conference on File and Storage Technologies (FAST 07)}, year = {2007}, address = {San Jose, CA}, url = {https://www.usenix.org/conference/fast-07/five-year-study-file-system-metadata}, publisher = {USENIX Association}, month = feb } @inproceedings {270313, author = {Jacob R. Lorch and Alan Jay Smith}, title = {Operating System Modifications for {Task-Based} Speed and Voltage Scheduling}, booktitle = {First International Conference on Mobile Systems, Applications, and Services (MobiSys2003)}, year = {2003}, address = {San Francisco, CA}, url = {https://www.usenix.org/conference/mobisys2003/operating-system-modifications-task-based-speed-and-voltage-scheduling}, publisher = {USENIX Association}, month = may } @inproceedings {270450, author = {Atul Adya and William J. Bolosky and Miguel Castro and Gerald Cermak and Ronnie Chaiken and John R. Douceur and Jon Howell and Jacob R. Lorch and Marvin Theimer and Roger P. Wattenhofer}, title = {{FARSITE}: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment}, booktitle = {5th Symposium on Operating Systems Design and Implementation (OSDI 02)}, year = {2002}, address = {Boston, MA}, url = {https://www.usenix.org/conference/osdi-02/farsite-federated-available-and-reliable-storage-incompletely-trusted-environment}, publisher = {USENIX Association}, month = dec } @inproceedings {271384, author = {Drew Roselli and Jacob R. Lorch and Thomas E. Anderson}, title = {A Comparison of File System Workloads}, booktitle = {2000 USENIX Annual Technical Conference (USENIX ATC 00)}, year = {2000}, address = {San Diego, CA}, url = {https://www.usenix.org/conference/2000-usenix-annual-technical-conference/comparison-file-system-workloads}, publisher = {USENIX Association}, month = jun }