Title: Conference record of second annual ACM symposium on theory of computing