Harry C. Li - RankMe

18 papers A* 6A 1B 2C 1Misc 2Journal 3Unranked 3

Year	Rank	Type	Title / Venue / Authors
2015	Misc	`conf`	Wormhole: Reliable Pub-Sub to Support Geo-replicated Internet Services. NSDI 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
2013	A*	`conf`	An analysis of Facebook photo caching. SOSP Qi Huang, Ken Birman, Robbert van Renesse, Wyatt Lloyd, Sanjeev Kumar, Harry C. Li
2013	Misc	`conf`	Scaling Memcache at Facebook. NSDI 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
2013	—	`conf`	TAO: Facebook's Distributed Data Store for the Social Graph. USENIX ATC 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
2010	A*	`conf`	Finding a Needle in Haystack: Facebook's Photo Storage. OSDI Doug Beaver, Sanjeev Kumar, Harry C. Li, Jason Sobel, Peter Vajgel
2009	C	`conf`	Model Checking Coalition Nash Equilibria in MAD Distributed Systems. SSS Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
2008	A	`conf`	BAR primer. DSN Allen Clement, Harry C. Li, Jeff Napper, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin
2008	A*	`conf`	FlightPath: Obedience vs. Choice in Cooperative Services. OSDI Harry C. Li, Allen Clement, Mirco Marchetti, Manos Kapritsos, Luke Robison, Lorenzo Alvisi, Michael Dahlin
2008	B	`conf`	Model Checking Nash Equilibria in MAD Distributed Systems. FMCAD Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
2007	J	`jnl`	Compositional gossip: a conceptual architecture for designing gossip-based applications. ACM SIGOPS Oper. Syst. Rev. Etienne Rivière, Roberto Baldoni, Harry C. Li, José Pereira
2007	J	`jnl`	How robust are gossip-based communication protocols? ACM SIGOPS Oper. Syst. Rev. Lorenzo Alvisi, Jeroen Doumen, Rachid Guerraoui, Boris Koldehofe, Harry C. Li, Robbert van Renesse, Gilles Trédan
2007	B	`conf`	The Paxos Register. SRDS Harry C. Li, Allen Clement, Amitanand S. Aiyer, Lorenzo Alvisi
2007	A*	`conf`	Theory of BAR games. PODC Allen Clement, Jeff Napper, Harry C. Li, Jean-Philippe Martin, Lorenzo Alvisi, Michael Dahlin
2006	A*	`conf`	BAR Gossip. OSDI Harry C. Li, Allen Clement, Edmund L. Wong, Jeff Napper, Indrajit Roy, Lorenzo Alvisi, Michael Dahlin
2005	J	`jnl`	Modular Verification of Open Features Using Three-Valued Model Checking. Autom. Softw. Eng. Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
2002	A*	`conf`	Interfaces for Modular Feature Verification. ASE Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
2002	—	`conf`	The Influence of Software Module Systems on Modular Verification. SPIN Harry C. Li, Kathi Fisler, Shriram Krishnamurthi
2002	—	`conf`	Verifying cross-cutting features as open systems. SIGSOFT FSE Harry C. Li, Shriram Krishnamurthi, Kathi Fisler