Travelled to:1 × Italy
9 × USA
Collaborated with:J.R.Douceur J.Elson J.R.Lorch D.Kotz C.Hawblitzel B.Parno B.Zill M.Elías D.Fisher H.J.Wang X.Fan C.Jackson D.E.Porter S.Boyd-Wickizer R.Olinsky G.C.Hunt E.B.Nightingale J.Fan O.S.Hofmann Y.Suzue 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:end (4) system (3) distribut (2) storag (2) farsit (2) web (2) incomplet (1) directori (1) thousand (1) ironclad (1)
Person: Jon Howell
DBLP: Howell:Jon
Contributed to:
2015
20142012
2011
200820082007200620022000Wrote 10 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-2012-NightingaleEFHHS
- Flat Datacenter Storage (EBN, JE, JF, OSH, JH, YS), pp. 1–15.
- ASPLOS-2011-PorterBHOH #library #top-down
- Rethinking the library OS from the top down (DEP, SBW, JH, RO, GCH), pp. 291–304.
- CHI-2008-EliasEFH
- Do I live in a flood basin?: synthesizing ten thousand maps (ME, JE, DF, JH), pp. 255–264.
- OSDI-2008-DouceurEHL #legacy #web
- Leveraging Legacy Code to Deploy Desktop Applications on the Web (JRD, JE, JH, JRL), pp. 339–354.
- SOSP-2007-WangFHJ #abstraction #communication #web
- Protection and communication abstractions for web browsers in MashupOS (HJW, XF, JH, CJ), pp. 1–16.
- OSDI-2006-DouceurH #distributed #file system
- Distributed Directory Service in the Farsite File System (JRD, JH), pp. 321–334.
- 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.
- OSDI-2000-HowellK
- End-to-End Authorization (JH, DK), pp. 151–164.