Travelled to:4 × USA
Collaborated with:J.Howell J.R.Douceur C.Hawblitzel B.Parno B.Zill J.Elson A.Narayan D.Zhang M.Kapritsos M.L.Roberts S.T.V.Setty A.Adya W.J.Bolosky M.Castro G.Cermak R.Chaiken M.Theimer R.Wattenhofer
Talks about:system (2) end (2) incomplet (1) distribut (1) ironclad (1) reliabl (1) practic (1) leverag (1) environ (1) desktop (1)
Person: Jacob R. Lorch
DBLP: Lorch:Jacob_R=
Contributed to:
2015
201420082002Wrote 4 papers:
- SOSP-2015-HawblitzelHKLPR #distributed #named #proving
- IronFleet: proving practical distributed systems correct (CH, JH, MK, JRL, BP, MLR, STVS, BZ), pp. 1–17.
- OSDI-2014-HawblitzelHLNPZZ #automation #security #verification
- Ironclad Apps: End-to-End Security via Automated Full-System Verification (CH, JH, JRL, AN, BP, DZ, BZ), pp. 165–181.
- OSDI-2008-DouceurEHL #legacy #web
- Leveraging Legacy Code to Deploy Desktop Applications on the Web (JRD, JE, JH, JRL), pp. 339–354.
- OSDI-2002-AdyaBCCCDHLTW #named #reliability
- FARSITE: Federated, Available, and Reliable Storage for an Incompletely Trusted Environment (AA, WJB, MC, GC, RC, JRD, JH, JRL, MT, RW), pp. 1–14.