default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHarry C. Li
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2007
[j3]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): 14-18 (2007)- [j2]Etienne Rivière, Roberto Baldoni, Harry C. Li, José Pereira:
Compositional gossip: a conceptual architecture for designing gossip-based applications. ACM SIGOPS Oper. Syst. Rev. 41(5): 43-50 (2007) - 2005
- [j1]Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Modular Verification of Open Features Using Three-Valued Model Checking. Autom. Softw. Eng. 12(3): 349-382 (2005)
Conference and Workshop Papers
- 2015
- [c15]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: 351-366 - 2013
- [c14]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: 385-398 - [c13]Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li:
An analysis of Facebook photo caching. SOSP 2013: 167-181 - [c12]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 ATC 2013: 49-60 - 2010
- [c11]Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, Peter Vajgel:
Finding a Needle in Haystack: Facebook's Photo Storage. OSDI 2010: 47-60 - 2009
- [c10]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: 531-546 - 2008
- [c9]Allen Clement, Harry C. Li, Jeff Napper, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin:
BAR primer. DSN 2008: 287-296 - [c8]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: 1-8 - [c7]Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin:
FlightPath: Obedience vs. Choice in Cooperative Services. OSDI 2008: 355-368 - 2007
- [c6]Allen Clement, Jeff Napper, Harry C. Li, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin:
Theory of BAR games. PODC 2007: 358-359 - [c5]Harry C. Li, Allen Clement, Amitanand S. Aiyer, Lorenzo Alvisi:
The Paxos Register. SRDS 2007: 114-126 - 2006
- [c4]Harry C. Li, Allen Clement, Edmund L. Wong, Jeff Napper, Indrajit Roy, Lorenzo Alvisi, Michael Dahlin:
BAR Gossip. OSDI 2006: 191-204 - 2002
- [c3]Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Interfaces for Modular Feature Verification. ASE 2002: 195-204 - [c2]Harry C. Li, Shriram Krishnamurthi, Kathi Fisler:
Verifying cross-cutting features as open systems. SIGSOFT FSE 2002: 89-98 - [c1]Harry C. Li, Kathi Fisler, Shriram Krishnamurthi:
The Influence of Software Module Systems on Modular Verification. SPIN 2002: 60-78
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-17 21:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
