BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Howell:Jon

Contributed to:

SOSP 20152015
OSDI 20142014
OSDI 20122012
ASPLOS 20112011
CHI 20082008
OSDI 20082008
SOSP 20072007
OSDI 20062006
OSDI 20022002
OSDI 20002000

Wrote 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.
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.
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.
End-to-End Authorization (JH, DK), pp. 151–164.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.