Proceedings of the twenty-fourth annual ACM symposium on Theory of