Harry C. Li

Publication Activity (10 Years)

Years Active: 2002-2015
Publications (10 Years): 1

Top Topics

Distributed Data

Social Networking Sites

Top Venues

USENIX Annual Technical Conference

Publications

Yogeshwer Sharma, Philippe Ajoux, Petchean Ang, David Callies, Abhishek Choudhary, Laurent Demailly, Thomas Fersch, Liat Atsmon Guz, Andrzej Kotulski, Sachin Kulkarni, Sanjeev Kumar, Harry C. Li, Jun Li, Evgeniy Makeev, Kowshik Prakasam, Robbert van Renesse, Sabyasachi Roy, Pratyush Seth, Yee Jiun Song, Benjamin Wester, Kaushik Veeraraghavan, Peter Xie
Wormhole: Reliable Pub-Sub to Support Geo-replicated Internet Services. NSDI (2015)
Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li
An analysis of Facebook photo caching. SOSP (2013)
Nathan Bronson, Zach Amsden, George Cabrera, Prasad Chakka, Peter Dimov, Hui Ding, Jack Ferris, Anthony Giardullo, Sachin Kulkarni, Harry C. Li, Mark Marchukov, Dmitri Petrov, Lovro Puzar, Yee Jiun Song, Venkateshwaran Venkataramani
TAO: Facebook's Distributed Data Store for the Social Graph. USENIX Annual Technical Conference (2013)
Rajesh Nishtala, Hans Fugal, Steven Grimm, Marc Kwiatkowski, Herman Lee, Harry C. Li, Ryan McElroy, Mike Paleczny, Daniel Peek, Paul Saab, David Stafford, Tony Tung, Venkateshwaran Venkataramani
Scaling Memcache at Facebook. NSDI (2013)
Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, Peter Vajgel
Finding a Needle in Haystack: Facebook's Photo Storage. OSDI (2010)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
Model Checking Coalition Nash Equilibria in MAD Distributed Systems. SSS (2009)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
Model Checking Nash Equilibria in MAD Distributed Systems. FMCAD (2008)
Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin
FlightPath: Obedience vs. Choice in Cooperative Services. OSDI (2008)
Allen Clement, Harry C. Li, Jeff Napper, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin
BAR primer. DSN (2008)
Harry C. Li, Allen Clement, Amitanand S. Aiyer, Lorenzo Alvisi
The Paxos Register. SRDS (2007)
Lorenzo Alvisi, Jeroen Doumen, Rachid Guerraoui, Boris Koldehofe, Harry C. Li, Robbert van Renesse, Gilles Trédan
How robust are gossip-based communication protocols? ACM SIGOPS Oper. Syst. Rev. 41 (5) (2007)
Allen Clement, Jeff Napper, Harry C. Li, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin
Theory of BAR games. PODC (2007)
Etienne Riviere, Roberto Baldoni, Harry C. Li, José Pereira
Compositional gossip: a conceptual architecture for designing gossip-based applications. ACM SIGOPS Oper. Syst. Rev. 41 (5) (2007)
Harry C. Li, Allen Clement, Edmund L. Wong, Jeff Napper, Indrajit Roy, Lorenzo Alvisi, Michael Dahlin
BAR Gossip. OSDI (2006)
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
Modular Verification of Open Features Using Three-Valued Model Checking. Autom. Softw. Eng. 12 (3) (2005)
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
Verifying cross-cutting features as open systems. SIGSOFT FSE (2002)
Harry C. Li, Kathi Fisler, Shriram Krishnamurthi
The Influence of Software Module Systems on Modular Verification. SPIN (2002)
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
Interfaces for Modular Feature Verification. ASE (2002)