Harry C. Li

According to our database, Harry C. Li authored at least 18 papers between 2002 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2015

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, Jun Li, Evgeniy Makeev, Kowshik Prakasam, Robbert van Renesse, Sabyasachi Roy, Pratyush Seth, Yee Jiun Song, Benjamin Wester, Kaushik Veeraraghavan, Peter Xie

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

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, Lovro Puzar, Yee Jiun Song, Venkateshwaran Venkataramani

Proceedings of the 2013 USENIX Annual Technical Conference, 2013

An analysis of Facebook photo caching.

Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li

Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

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, Venkateshwaran Venkataramani

Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013

2010

Finding a Needle in Haystack: Facebook's Photo Storage.

Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, Peter Vajgel

Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

2009

Model Checking Coalition Nash Equilibria in MAD Distributed Systems.

Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li

Proceedings of the Stabilization, 2009

2008

FlightPath: Obedience vs. Choice in Cooperative Services.

Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin

Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

Model Checking Nash Equilibria in MAD Distributed Systems.

Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li

Proceedings of the Formal Methods in Computer-Aided Design, 2008

BAR primer.

Allen Clement, Harry C. Li, Jeff Napper, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin

Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008

2007

Compositional gossip: a conceptual architecture for designing gossip-based applications.

Etienne Rivière, Roberto Baldoni, Harry C. Li, José Pereira

ACM SIGOPS Oper. Syst. Rev., 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

The Paxos Register.

Harry C. Li, Allen Clement, Amitanand S. Aiyer, Lorenzo Alvisi

Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007

Theory of BAR games.

Allen Clement, Jeff Napper, Harry C. Li, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin

Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

2006

BAR Gossip.

Harry C. Li, Allen Clement, Edmund L. Wong, Jeff Napper, Indrajit Roy, Lorenzo Alvisi, Michael Dahlin

Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006

2005

Modular Verification of Open Features Using Three-Valued Model Checking.

Harry C. Li, Shriram Krishnamurthi, Kathi Fisler

Autom. Softw. Eng., 2005

2002

The Influence of Software Module Systems on Modular Verification.

Harry C. Li, Kathi Fisler, Shriram Krishnamurthi

Proceedings of the Model Checking of Software, 2002

Verifying cross-cutting features as open systems.

Harry C. Li, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Interfaces for Modular Feature Verification.

Harry C. Li, Shriram Krishnamurthi, Kathi Fisler

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002