ACM Symposium on the Theory of Computing