# Theory of Computation Seminar

## General Information

Location: Pierce 213 (Brooks Room)

Time: Mondays, 1:30-2:45pm

Mailing List: Subscribe to receive information about future talks via email.

If you are interested in giving a talk, please contact Josh Alman at jalman@seas.harvard.edu .

## Calendar

## Past TOC Seminars

### 2019

May 6, 2019

Ran Raz -

April 22, 2019

Santosh Vempala -

April 8, 2019

Sam Hopkins -

March 25, 2019

Yury Makarychev -

March 11, 2019

Jiapeng Zhang-

March 4, 2019

Ketan Mulmuley -

February 25, 2019

Rasmus Kyng - A numerical analysis approach to convex optimization

February 11, 2019

Sanjeev Khanna - Sublinear Algorithms for (Delta +1)-Coloring

January 28, 2019

Christos Tzamos - Learning Geometric Concepts from Positive Examples

### 2018

Eric Price - The Sketching Complexity of Graph and Hypergraph Counting

### 2017

Virginia Vassilevska-Williams. Fixed-parameter dynamic algorithms

### 2016

May 9, 2016

Heng Guo. Random Cluster Dynamics at q = 2 is Rapidly Mixing

April 25, 2016

Li-Yang Tan. An Average-Case Depth Hierarchy Theorem for Boolean Circuits

April 11, 2016

David Zuckerman. Explicit Two-Source Extractors and Resilient Functions

March 28, 2016

Ryan Williams. Super-Linear Gate and Super-Quadratic Wire Lower Bounds for Depth-Two and Depth-Three Threshold Circuits

March 21, 2016

Mikkel Thorup. The Power of Tabulation Hashing

March 7, 2016

Dana Moshkovitz. Amplification and Derandomization Without Slowdown

February 22, 2016

Sitan Chen. Basis Collapse in Holographic Algorithms Over All Domain Sizes

February 8, 2016

Harry Lang. k-Median Clustering on Data Streams

### 2015

December 7, 2015

Yin-Tat Lee. Cutting Plane Method: A Faster Algorithm for Many (Combinatorial) Optimization Problems

November 30, 2015

David Shmoys. Smarter Tools for (Citi)bike-Sharing

November 23, 2015

Boaz Barak. Sum of Squares Lower Bounds for Planted Clique

November 9, 2015

Sasha Razborov. On the $AC^0$ Complexity of Subgraph Isomorphism

October 26, 2015

Elad Hazan. Is Optimization Computationally Equivalent to Online Learning?

October 5, 2015

Philip Klein. Approximation Schemes for Planar Graphs: A How-To Guide

September 21, 2015

Ryan O'Donnell. How to Refute a Random CSP

August 31, 2015

Madhu Sudan. Communication Amid Uncertainty

May 11, 2015

Anupam Gupta. The Independent Set problem on Degree-d Graphs

May 4, 2015

Shay Solomon. Dynamic Maximum Matching and Related Problems

April 27, 2015

Hammurabi Mendes. Multidimensional $\epsilon$-Approximate Agreement and Computability in Byzantine Systems

April 13, 2015

Chandra Chekhuri. Recent progress in structure of large treewidth graphs and some applications

March 30, 2015

Bobby Kleinberg. Secretary Problems with Non-Uniform Arrival Order

March 9, 2015

Marco Gaboardi. Relational verification of Differential Privacy and Mechanism Design...for a theory audience

March 2, 2015

Tsvi Kopelowitz. Higher lower bounds from the 3SUM conjecture

February 2, 2015

CS Colloquium: Omer Reingold. Randomness vs. Memory: A Treasure(s) Hunt

January 26, 2015

Yi Li. For-all Sparse Recovery in Near-Optimal Time

January 21, 2015

CS Colloquium: Cynthia Dwork. Privacy in the Land of Plenty

### 2014

December 15, 2014

Zeev Dvir. Private Information Retrieval with 2-Servers and sub-polynomial communication

December 8, 2014

Omri Weinstein. Approximating the Best Nash Equilibrium in n^{o(log n)}-Time Breaks ETH.

December 1, 2014

CS Colloquium: Boaz Barak. Proofs for Algorithms, Algorithms from Proofs.

December 1, 2014

Seth Pettie. Randomized Symmetry Breaking and the Constructive Lovász Local Lemma

November 24, 2014

Jan Vondrak. Fast algorithms for optimization of submodular functions

November 20, 2014

CS Colloquium: Christopher Moore. Physics-inspired Algorithms and Phase Transitions in Community Detection.

November 17, 2014

CS Colloquium: Yael Tauman Kalai. Delegating Computation.

November 17, 2014

Gillat Kol. Exponential Separation of Information and Communication.

November 17, 2014

CRCS Lunch Seminar: Babis Tsourakakis. Algorithm Design for Large-Scale Datasets.

November 14, 2014

Avi Wigderson. Points, Lines and Ranks of design matrices

November 13-14, 2014

Ahlfors Lectures: Avi Wigderson. Randomness/Permanent and Determinant: Non-Identical Twins

November 10, 2014

CS Colloquium: Madhu Sudan. Communication Amid Uncertainty.

November 10, 2014

Chris Musco. Graph Sparsification in the Streaming Model.

November 6, 2014

CS Colloquium: Michael Kearns. Games, Networks, and People.

November 3, 2014

Pranjal Awasthi. Learning Halfspaces with Noise.

October 30, 2014

CS Colloquium: Richard Baraniuk. Learning Near-Isometric Linear Embeddings.

October 27, 2014

Sofya Raskhodnikova. Constant-Time Testing and Learning Algorithms for Image Properties.

October 24, 2014

EconCS Seminar: Rafael Frongillo. Risk Dynamics in Trade Networks.

October 16, 2014

CS Colloquium: Ankur Moitra. New Algorithms for Nonnegative Matrix Factorization and Beyond.

October 9, 2014

CS Colloquium: Ron Fagin. Applying Theory to Practice (and Practice to Theory).

October 8, 2014

CMSA Colloquium: Salil Vadhan. The Computational Complexity of Data Privacy.

October 6, 2014

Aaron Sidford. Path-Finding Methods for Linear Programming.

September 29, 2014

Applied Math Colloquium: Rachel Ward. Linear Dimensionality Reduction via Random Projections.

September 29, 2014

Eli Gafni. The Coordinated-Attack Problem Revisited.

September 29, 2014

CRCS Lunch Seminar: Or Sheffet. Utilitarian Models of Privacy Loss and Social Choice.

September 22, 2014

Emanuele Viola. Local Reductions.

September 15, 2014

CRCS Lunch Seminar: Itai Ishlagi. Unbalanced Matching Markets.

September 12, 2014

EconCS Seminar: Moshe Babaioff. Bertrand Networks.

May 16, 2014

Sjoerd Dirksen. A Unified Approach to Dimensionality Reduction with Subgaussian Matrices.

Tuesday, May 6, 2014

Venkat Guruswami. Polar codes: Reliable communication with complexity scaling polynomially in the gap to Shannon capacity.

Tuesday, April 22, 2014

Or Sheffet. The Entropy Soon-To-Be-Method.

April 8, 2014

Raef Bassily. Causal Erasure Channels.

April 3, 2014

CS Colloquium: David Soloveichik. Engineering Intelligent Molecular Systems.

March 25, 2014

Aleksandar Nikolov. Approximating Hereditary Discrepancy via Small Width Ellipsoids.

March 24, 2014

CRCS Lunch Seminar: David Xiao. Understanding Incentives for Privacy-Aware Individuals.

March 11, 2014

Michael Forbes. Hitting Sets for Multilinear Read-Once Algebraic Branching Programs, in any Order.

February 27, 2014

CS Colloquium: Raluca Ada Popa. Building Systems that Compute on Encrypted Data.

February 25, 2014

Mark Zhandry. Multiparty Key Exchange, Efficient Traitor Tracing, and More from Indistinguishability Obfuscation.

February 14, 2014

EconCS Seminar: Pavel Hubacek. Single Round Delegation with Sublinear Verification.

February 11, 2014

Justin Thaler. On Interactivity in Arthur-Merlin Communication and Stream Computation.

January 29, 2014

CRCS Lunch Seminar: Jon Ullman. Privacy and the Complexity of Simple Queries.

January 28, 2014

Vladimir Braverman. Approximating Large Frequency Moments with O(n^{1-2/k}) Bits.

### 2013

December 3, 2013

Aravindan Vijayaraghavan. Smoothed analysis and uniqueness of tensor decompositions.

November 21, 2013

CS Colloquium: Tim Roughgarden. Beyond the worst case in auctions, graph partitioning, and social networks.

November 20, 2013

CRCS Lunch Seminar: Scott Kominers. Theory, practice, and engineering in (generalized) matching market design.

November 19, 2013

Ying Xiao. Fourier Principal Component Analysis.

November 12, 2013

Grigory Yaroslavtsev. Testing properties under Lp distances.

November 5, 2013

Adam Smith. Privacy, stability and high-dimensional sparse regression.

October 31, 2013

CS Colloquium: Aleksander Madry. (Electrical) Flows and graph algorithms.

October 15, 2013

Yaron Singer. Adaptive seeding in social networks.

October 10, 2013

CS Colloquium: Christos Papadimitriou. Computational insights and the theory of evolution.

October 7, 2013

Huy Nguyen. Approximate near neighbor search: Beyond locality sensitive hashing.

October 3, 2013

CS Colloquium: Garud Iyengar. First-order algorithms for convex optimization.

October 1, 2013

Siu-On Chan. Approximate constraint satisfaction requires large LP relaxations.

September 26, 2013

CS Colloquium: Craig Gentry. A cryptographic approach to software obfuscation.

September 17, 2013

Jelani Nelson. OSNAP: Faster numerical linear algebra algorithms via sparser subspace embeddings.

May 17, 2013

Daniel Reichman. Contagious Sets in Expanders.

May 10, 2013

Udi Wieder. How to approximate a set without knowing its size in advance.

April 26, 2013

Lorenzo Orecchia. From Online Learning to Optimization and Back: the Power of Regularization.

April 12, 2013

Colin Jia Zheng. A Uniform Min-Max Theorem with Applications in Cryptography.

March 29, 2013

Eric Blais. Approximating boolean functions with depth-2 circuits.

March 15, 2013

David Xiao. Some optimal lower bounds for privacy in communication games.

March 1, 2013

Thomas Steinke. Unconditional Pseudorandom Generators for Small-Space Computation

February 15, 2013

Justin Thaler. Practical Verified Computation with Streaming Interactive Proofs

February 1, 2013

Brendan Juba. Efficient Reasoning in PAC Semantics

### 2012

December 10, 2012

Grigory Yaroslavtsev. Learning and Testing Submodular Functions

December 3, 2012

Madhav Jha. Testing and Reconstruction of Lipschitz Functions with Applications to Data Privacy.

November 19, 2012

Eli Ben-Sasson. A new family of locally correctable codes based on degree-lifted algebraic geometry codes

November 5, 2012

Greg Valiant. Finding Correlations, Learning Juntas, and the Closest Pair Problem

October 18, 2012

Irit Dinur. Direct Products of Proofs and Gap Amplification

October 15, 2012

Jon Ullman. Answering n^{2+o(1)} Counting Queries with Differential Privacy is Hard

October 1, 2012

Karthekeyan Chandrasekaran. A Polynomial-Time Cutting Plane Algorithm for Matching

September 17, 2012

Andrew Wan. Pseudorandomness for Linear Length Branching Programs and Stack Machines

### 2011

November 10, 2011

Vitaly Feldman. Bounds on complexity of SQ learning and

October 7, 2011

Varun Kanade. Evolution with Recombination

September 14, 2011

Shachar Lovett. Existence of small families of t-wise independent permutations and t-designs via local limit theorems

May 13, 2011

Dana Moshkovitz. Hardness of Approximately Solving Linear Equations over Reals

May 5, 2011

Virginia Vassilevska Williams. Path, Matrix, and Triangle Problems: Algorithms and Equivalences

April 29, 2011

Graham Cormode. Distributed Summaries

April 22, 2011

Kai-Min Chung. Memory Delegation

April 11, 2011

Mayank Varia. Studies in Program Obfuscation

March 11, 2011

Yevgeniy Dodis. Leftover Hash Lemma, Revisited

February 25, 2011

Seth Pettie. Everything you always wanted to know about Davenport-Schinzel sequences, but were afraid to ask

February 17, 2011

David Steurer. On the Complexity of Graph Expansion and the Unique Games Conjecture

February 14, 2011

Ryan Williams. Algorithms, Obstructions, and Beating Exhaustive Search

February 10, 2011

Shubhangi Saraf. High-rate Codes with Sublinear-time Decoding

February 3, 2011

Jelani Nelson. Sketching and Streaming Algorithms

January 31, 2011

Mark Braverman Information and interactive communication

January 28, 2011

Martin Suchara. BGP Safety with Spurious Updates - The Conditions of BGP Convergence

### 2010

November 19, 2010

Adam Kalai. Dueling Algorithms

October 29, 2010

David Steurer. Subexponential Algorithms for Unique Games and Related Problem

October 15, 2010

Tal Moran. On Complete Primitives for Fairness

October 1, 2010

Brendan Juba. Universal Semantic Communication

September 13, 2010

Chen Avin. Random walks techniques for (wireless) networks

June 29, 2010

Manoj Prabhakaran. Cryptographic Complexity and Computational Intractability

May 17, 2010

Raghu Meka. Pseudorandom Generators for Polynomial Threshold Functions

April 26, 2010

Jonathan Ullman. PCPs and the Hardness of Generating Private Synthetic Data

April 12, 2010

Justin Thaler. Streaming Graph Computations with a Helpful Advisor

April 5, 2010

Shubhangi Saraf. Blackbox Polynomial Identity Testing for Depth 3 Circuits

March 29, 2010

Giorgos Zervas. Information Asymmetries in Pay-Per-Bid Auctions: How Swoopo Makes Bank

February 8, 2010

Steven (Shlomo) Gortler. Characterizing the Universal Rigidity of Generic Frameworks

February 1, 2010

Kai-Min Chung. Security Amplification and Parallel Repetition Theorems

### 2009

November 18, 2009

Sergei Vassilvitskii. A Model of Computation for MapReduce

November 4, 2009

Niv Buchbinder. The Randomized k-Server Conjecture (Online Algorithms meet Linear Programming)

October 21, 2009

Varun Kanade. Potential-based agnostic boosting

October 9, 2009

Harvey M. Friedman. Decision Procedures for Verification

September 23, 2009

Justin Thaler. Graph Covers and Quadratic Minimization

April 30, 2009

Jennifer Chayes. IIC/CS colloquium

April 29, 2009.

Guy Rothblum. On the Complexity of Differentially Private Data Release: Efficient Algorithms and Hardness Results (CRCS Privacy and Security Lunch Seminar)

April 20, 2009

Alex Samorodnitsky. Counting Magic Squares

April 15, 2009

Katrina Ligett. Differentially private approximation algorithms

April 6, 2009

Alex Slivkins. Multi-Armed Bandits in Metric Space

March 30, 2009

David Choi. Sample Complexity Bounds for Link Prediction

March 11, 2009

Ketan Mulmuley. On P vs NP, Geometric Complexity, and the Riemann Hypothesis

February 26, 2009

Muthu Muthukrishnan. See the departmental colloquium series

February 23, 2009

Zhenming Liu. Designing Floating Codes for Expected Performance

February 20, 2009

David Xiao. On the Black-box Complexity of PAC Learning

### 2008

December 8, 2008

Yuri Gurevich. Proof of Church’s Thesis

December 1, 2008

Luca Trevisan. Regularity, boosting, and efficiently simulating every high entropy distribution

November 10, 2008

Kai-Min Chung. Tight Bounds for Hashing Block Sources

November 3, 2008

Ran Raz. Parallel Repetition of Two Prover Games: A Survey, Application, and a Counterexample to Strong Parallel Repetition.

October 20, 2008

Tal Moran. An Optimally Fair Coin Toss: Cleve’s Bound is Tight

October 6, 2008

Amin Saberi. Game Dynamics, Equilibrium Selection and Network Structure

September 29, 2008

Flavio Chierichetti. Gossiping in Social Networks

September 15, 2008

Alan Frieze. Finding a Maximum Matching in a Sparse Random Graph in O(n) Expected Time

### 2007

May 14, 2007

Allan Borodin. Greedy algorithms and other simple greedy-based algorithms for simple (to define) optimization problems

May 7, 2007

Lenore Cowen. Compact Routing from Theory to Practice

May 3, 2007

Ramin Zabih. Flow-based optimization methods in computer vision

April 30, 2007

Ueli Maurer. Indistinguishability Amplification

April 23, 2007

Phil Klein. A planar-graph decomposition, and its application to TSP and Steiner Tree

April 16, 2007

Sergey Yekhanin. New Locally Decodable Codes and Private Information Retrieval Schemes

April 2, 2007

Martin Wainwright. Analysis of MAX-XORSAT and its Generalizations, with Application to Distributed Compression and "Dirty Paper" Coding

March 12, 2007

Gopal Pandurangan. Efficient Distributed Approximation Algorithms for Minimum Spanning Trees

February 26, 2007

Shanghua Teng. Game and Market Equilibria

February 12, 2007Ankit Patel. The Theory of Desynchronization: Self-Organizing Algorithms for Periodic Resource Scheduling

February 5, 2007

Salil Vadhan. Unbalanced Expanders and Randomness Extractors from Parvaresh-Vardy Codes