Biblio

Export 15 results:
Filters: Author is Jacob R. Lorch  [Clear All Filters]
2018
Huang P, Guo C, Lorch JR, Zhou L, Dang Y.  2018.  Capturing and Enhancing In Situ System Observability for Failure Detection. 13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18). :1--16.
2017
Bond B, Hawblitzel C, Kapritsos M, K. Leino RM, Lorch JR, Parno B, Rane A, Setty S, Thompson L.  2017.  Vale: Verifying High-Performance Cryptographic Assembly Code. 26th USENIX Security Symposium (USENIX Security 17). :917--934.
2016
Setty S, Su C, Lorch JR, Zhou L, Chen H, Patel P, Ren J.  2016.  Realizing the Fault-Tolerance Promise of Cloud Storage Using Locks with Intent. 12th USENIX Symposium on Operating Systems Design and Implementation (OSDI 16). :501--516.
2015
Lorch JR, Baumann A, Glendenning L, Meyer D, Warfield A.  2015.  Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services. 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15). :575--588.
2014
Hawblitzel C, Howell J, Lorch JR, Narayan A, Parno B, Zhang D, Zill B.  2014.  Ironclad Apps: End-to-End Security via Automated Full-System Verification. 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI 14). :165--181.
2013
Lorch JR, Parno B, Mickens J, Raykova M, Schiffman J.  2013.  Shroud: Ensuring Private Access to Large-Scale Data in the Data Center. 11th USENIX Conference on File and Storage Technologies (FAST 13). :199--213.
2012
Sen S, Lorch JR, Hughes R, Suarez CGarcia Jur, Zill B, Cordeiro W, Padhye J.  2012.  Don't Lose Sleep Over Availability: The GreenUp Decentralized Wakeup Service. 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12). :211--224.
2011
Popa RAda, Lorch JR, Molnar D, Wang HJ, Zhuang L.  2011.  Enabling Security in Cloud Storage SLAs with CloudProof. 2011 USENIX Annual Technical Conference (USENIX ATC 11).
2010
Douceur JR, Elson J, Howell J, Lorch JR.  2010.  The Utility Coprocessor: Massively Parallel Computation from the Coffee Shop. 2010 USENIX Annual Technical Conference (USENIX ATC 10).
2009
Levin D, Douceur JR, Lorch JR, Moscibroda T.  2009.  TrInc: Small Trusted Hardware for Large Distributed Systems. 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI 09).
2008
Douceur JR, Elson J, Howell J, Lorch JR.  2008.  Leveraging Legacy Code to Deploy Desktop Applications on the Web. 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI 08).
2007
Agrawal N, Bolosky WJ, Douceur JR, Lorch JR.  2007.  A Five-Year Study of File-System Metadata . 5th USENIX Conference on File and Storage Technologies (FAST 07).
2003
Lorch JR, Smith AJay.  2003.  Operating System Modifications for Task-Based Speed and Voltage Scheduling. First International Conference on Mobile Systems, Applications, and Services (MobiSys2003).
2002
Adya A, Bolosky WJ, Castro M, Cermak G, Chaiken R, Douceur JR, Howell J, Lorch JR, Theimer M, Wattenhofer RP.  2002.  FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment. 5th Symposium on Operating Systems Design and Implementation (OSDI 02).
2000
Roselli D, Lorch JR, Anderson TE.  2000.  A Comparison of File System Workloads. 2000 USENIX Annual Technical Conference (USENIX ATC 00).