Proceedings of the 2014 ACM symposium on Principles of distributed computing