Travelled to:1 × Canada
1 × United Kingdom
4 × USA
Collaborated with:S.Krishnamurthi K.Fisler S.Kumar A.Clement L.Alvisi M.Dahlin D.Beaver J.Sobel P.Vajgel Q.Huang K.Birman R.v.Renesse W.Lloyd M.Marchetti M.Kapritsos L.Robison E.L.Wong J.Napper I.Roy
Talks about:facebook (2) featur (2) photo (2) interfac (1) haystack (1) modular (1) analysi (1) verifi (1) system (1) storag (1)
Person: Harry C. Li
DBLP: Li:Harry_C=
Contributed to:
2013
201020082006
2002
2002Wrote 6 papers:
- SOSP-2013-HuangBRLKL #analysis #facebook
- An analysis of Facebook photo caching (QH, KB, RvR, WL, SK, HCL), pp. 167–181.
- OSDI-2010-BeaverKLSV #facebook
- Finding a Needle in Haystack: Facebook’s Photo Storage (DB, SK, HCL, JS, PV), pp. 47–60.
- OSDI-2008-LiCMKRAD #named
- FlightPath: Obedience vs. Choice in Cooperative Services (HCL, AC, MM, MK, LR, LA, MD), pp. 355–368.
- OSDI-2006-LiCWNRAD
- BAR Gossip (HCL, AC, ELW, JN, IR, LA, MD), pp. 191–204.
- ASE-2002-LiKF #composition #interface #verification
- Interfaces for Modular Feature Verification (HCL, SK, KF), pp. 195–204.
- FSE-2002-LiKF #verification
- Verifying cross-cutting features as open systems (HCL, SK, KF), pp. 89–98.