Charles Edwin Killian James W. Anderson Ryan Braud Ranjit Jhala Amin Vahdat Mace: language support for building distributed systems. 179-188 2007 conf/pldi/2007 PLDI http://doi.acm.org/10.1145/1250734.1250755 db/conf/pldi/pldi2007.html#KillianABJV07