Welcome to MaceSystems!
Welcome to the MaceSystems website! MaceSystems is the website for all things related to the systems research conducted using, or inspired by, the structured systems development approach prescribed by the Mace language and toolkit. Currently, the main projects publicly available here include the Mace project, and the Distalyzer project. Please use the menu above, or the links below, to locate the content you are searching for:
- Mace: Mace was first published as part of a pair of papers in 2007, appearing in PLDI and NSDI, discussing the language and model checker, respectively. Mace is a toolkit (language, runtime, model checker, etc.) for building correct, high performance, robust distributed systems capable of being deployed on live networks.
- Distalyzer: Distalyzer will appear in NSDI 2012, and is currently in its initial public release. Distalyzer is a tool for analyzing the logs of distributed systems, to diagnose the performance problems exhibited in some of the logs. It can be used on arbitrary system logs from end-user applications provided the developer can implement a small log parser, so requires no modifications to existing systems.
- MACEDON: MACEDON was published at NSDI 2004. It is now defunct, and retained for the purposes of data preservation.
- Wiki: The Wiki is used for flexibly changing content. This includes most of the documentation, minor or new projects, and other non-research content posed for the purpose of sharing.
- About MaceSystems: A longer history and introduction to the MaceSystems research approach and direction.
Below you will find recent news from the MaceSystems research group. It includes descriptions and pointers to our research papers, among other things.