Mace is distributed through a publicly accessible, anonymous access subversion repository. Development continues regularly, and all users of Mace are encouraged to use the latest version from subversion. Please email us if you're using Mace so we can keep up with you.

Mace is a complete redesign and rewrite of MACEDON. Furthering its efforts, the goal of Mace is to simplify the development, research and deployment of Distributed Systems. To this end, Mace consists of these related pieces:

• An extensible set of APIs geared at modularizing and componentizing parts of distributed systems
• A domain-specific C++ language extension to describe a distributed system's behavior from which real operating code can be generated
• A software engine that implements common features and functionality of distributed systems, providing a performance-tuned system.
• A model checker capable of finding violations of liveness properties which lead the system to dead states.

As a result, Mace allows algorithm designers to focus their attention on the algorithm itself and less on tedious implementation details. In the process, we promote code re-usability and fair comparisons of competing algorithms.

"Cimbiosys: A platform for content-based partial replication.", Venugopalan Ramasubramanian, Thomas L. Rodeheffer, Douglas B. Terry, Meg Walraed-Sullivan, Ted Wobber, Cathy Marshall, and Amin Vahdat, in Proceedings of Proceedings of the 6th ACM/USENIX Symposium on Networked Systems Design and Implementation (NSDI 2009), Boston, MA, April, 2009. [pdf]
"CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems", Maysam Yabandeh, Nikola Knežević, Dejan Kostić, and Viktor Kuncak, EPFL in Proceedings of Proceedings of the 6th ACM/USENIX Symposium on Networked Systems Design and Implementation (NSDI 2009), Boston, MA, April, 2009. [pdf]
"Live Debugging of Distributed Systems.", Darren Dao, Jeannie Albrecht, Charles Killian, and Amin Vahdat, in Proceedings of International Conference on Compiler Construction (CC 2009), York, UK, March, 2009. [pdf]
"High Bandwidth Data Dissemination for Large-scale Distributed Systems.", Dejan Kostic, Alex C. Snoeren, Amin Vahdat, Ryan Braud, Charles Killian, Jeannie Albrecht, James W. Anderson, Adolfo Rodriguez, and Erik Vandekieft, ACM Transactions on Computer Systems, 26(1). 2008.
"Mace: Language Support for Building Distributed Systems", Charles Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, and Amin Vahdat, in Proceedings of PLDI (PLDI 2007), San Diego, CA, June 2007. [pdf]
"Life, Death, and the Critical Transition: Detecting Liveness Bugs in Systems Code", Charles Killian, James W. Anderson, Ranjit Jhala, and Amin Vahdat, in Proceedings of NSDI (NSDI 2007), Cambridge, MA, April 2007. [pdf] Awarded Best Paper.
"Pip: Detecting the Unexpected in Distributed Systems", Patrick Reynolds, Charles Killian, Janet L. Wiener, Jeffrey C. Mogul, Mehul A. Shah, and Amin Vahdat, in Proceedings of NSDI (NSDI 2006), San Jose, CA, May 2006. [pdf]
"Surviving Internet Catastrophes", Flavio P. Junqueira, Ranjita Bhagwan, Alejandro Hevia, Keith Marzullo, and Geoffrey M. Voelker, in Proceedings of USENIX Annual Technical Conference (USENIX 2005), April 2005. [pdf]
"Maintaining High Bandwidth under Dynamic Network Conditions", Dejan Kostic, Ryan Braud, Charles Killian, Erik Vandekieft, James W. Anderson, Alex C. Snoeren and Amin Vahdat, Proceedings of 2005 USENIX Annual Technical Conference (USENIX 2005), April 2005. [pdf]
"MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks", Adolfo Rodriguez, Charles Killian, Sooraj Bhat, Dejan Kostic, and Amin Vahdat, Proceedings of the USENIX/ACM Symposium on Networked Systems Design and Implementation (NSDI 2004), March 2004. [pdf]
"Scalability in Adaptive Multi-Metric Overlays", Adolfo Rodriguez, Dejan Kostic, and Amin Vahdat, The 24th International Conference on Distributed Computing Systems (ICDCS 2004), March 2004.[ps]
"Bullet: High Bandwidth Data Dissemination Using an Overlay Mesh", Dejan Kostic, Adolfo Rodriguez, Jeannie Albrecht, and Amin Vahdat, Proceedings of the 19th ACM Symposium on Operating System Principles (SOSP 2003), October 2003.[ps]
"Using Random Subsets to Build Scalable Network Services", Dejan Kostic, Adolfo Rodriguez, Jeannie Albrecht, Abhijeet Bhirud, and Amin Vahdat, Proceedings of the USENIX Symposium on Internet Technologies and Systems (USITS 2003), March 2003.[pdf]