Wormhole: Reliable Pub-Sub to Support Geo-replicated Internet Services.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015
TAO: Facebook's Distributed Data Store for the Social Graph.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2013 USENIX Annual Technical Conference, 2013
An analysis of Facebook photo caching.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013
Scaling Memcache at Facebook.
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 10th USENIX Symposium on Networked Systems Design and Implementation, 2013
Finding a Needle in Haystack: Facebook's Photo Storage.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010
Model Checking Coalition Nash Equilibria in MAD Distributed Systems.
Proceedings of the Stabilization, 2009
FlightPath: Obedience vs. Choice in Cooperative Services.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008
Model Checking Nash Equilibria in MAD Distributed Systems.
Proceedings of the Formal Methods in Computer-Aided Design, 2008
Proceedings of the 38th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2008
Compositional gossip: a conceptual architecture for designing gossip-based applications.
ACM SIGOPS Oper. Syst. Rev., 2007
How robust are gossip-based communication protocols?
ACM SIGOPS Oper. Syst. Rev., 2007
Proceedings of the 26th IEEE Symposium on Reliable Distributed Systems (SRDS 2007), 2007
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007
Proceedings of the 7th Symposium on Operating Systems Design and Implementation (OSDI '06), 2006
Modular Verification of Open Features Using Three-Valued Model Checking.
Autom. Softw. Eng., 2005
The Influence of Software Module Systems on Modular Verification.
Proceedings of the Model Checking of Software, 2002
Verifying cross-cutting features as open systems.
Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002
Interfaces for Modular Feature Verification.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002