Mace: language support for building distributed systems.

Charles Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat

Browse the full PLDI paper archive.