Interfaces for Modular Feature Verification. - Harry C. Li; Shriram Krishnamurthi; Kathi Fisler (ASE, 2002)

Verifying cross-cutting features as open systems. - Harry C. Li; Shriram Krishnamurthi; Kathi Fisler (SIGSOFT FSE, 2002)

The Influence of Software Module Systems on Modular Verification. - Harry C. Li; Kathi Fisler; Shriram Krishnamurthi (SPIN, 2002)

Modular Verification of Open Features Using Three-Valued Model Checking. - Harry C. Li; Shriram Krishnamurthi; Kathi Fisler (Autom. Softw. Eng., 2005)

BAR Gossip. - Harry C. Li; Allen Clement; Edmund L. Wong; Jeff Napper; Indrajit Roy 001; Lorenzo Alvisi; Michael Dahlin (OSDI, 2006)

Theory of BAR games. - Allen Clement; Jeff Napper; Harry C. Li; Jean-Philippe Martin; Lorenzo Alvisi; Michael Dahlin (PODC, 2007)

The Paxos Register. - Harry C. Li; Allen Clement; Amitanand S. Aiyer; Lorenzo Alvisi (SRDS, 2007)

How robust are gossip-based communication protocols? - Lorenzo Alvisi; Jeroen Doumen; Rachid Guerraoui; Boris Koldehofe; Harry C. Li; Robbert van Renesse; Gilles Trédan (ACM SIGOPS Oper. Syst. Rev., 2007)

Compositional gossip: a conceptual architecture for designing gossip-based applications. - Etienne Rivière; Roberto Baldoni; Harry C. Li; José Pereira 001 (ACM SIGOPS Oper. Syst. Rev., 2007)

BAR primer. - Allen Clement; Harry C. Li; Jeff Napper; Jean-Philippe Martin; Lorenzo Alvisi; Michael Dahlin (DSN, 2008)

Model Checking Nash Equilibria in MAD Distributed Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Lorenzo Alvisi; Allen Clement; Harry C. Li (FMCAD, 2008)

FlightPath: Obedience vs. Choice in Cooperative Services. - Harry C. Li; Allen Clement; Mirco Marchetti; Manos Kapritsos; Luke Robison; Lorenzo Alvisi; Michael Dahlin (OSDI, 2008)

Model Checking Coalition Nash Equilibria in MAD Distributed Systems. - Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci; Lorenzo Alvisi; Allen Clement; Harry C. Li (SSS, 2009)

Finding a Needle in Haystack: Facebook's Photo Storage. - Doug Beaver; Sanjeev Kumar; Harry C. Li; Jason Sobel; Peter Vajgel (OSDI, 2010)

Scaling Memcache at Facebook. - 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; et al. (NSDI, 2013)

An analysis of Facebook photo caching. - Qi Huang; Ken Birman; Robbert van Renesse; Wyatt Lloyd; Sanjeev Kumar; Harry C. Li (SOSP, 2013)

TAO: Facebook's Distributed Data Store for the Social Graph. - 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; et al. (USENIX ATC, 2013)

Wormhole: Reliable Pub-Sub to Support Geo-replicated Internet Services. - 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; et al. (NSDI, 2015)