Proceedings of the ninth annual ACM symposium on Principles of distributed computing