Proceedings of the first annual ACM symposium on Parallel algorithms and architectures - Leighton