Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing