Proceedings of the twenty-seventh annual ACM symposium on Theory of computing