Proceedings of the thirtieth annual ACM symposium on Theory of computing