## General Information

Location: Pierce 213 (Brooks Room). Time: Mondays, 1-2:30

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

If you are interested in giving a talk, please contact Thomas or Jelani.

## Calendar

Monday, May 11, 2015. Anupam Gupta.

Monday, April 27, 2015. Hammurabi Mendes. Multidimensional $\epsilon$-Approximate Agreement and Computability in Byzantine Systems

Monday, April 13, 2015. Chandra Chekhuri.

Monday, March 30, 2015. Bobby Kleinberg.

Monday, March 9, 2015. Marco Gaboardi. Relational verification of Differential Privacy and Mechanism Design...for a theory audience (Rescheduled due to snow)

Monday, March 2, 2015. Tsvi Kopelowitz. Higher lower bounds from the 3SUM conjecture

Monday, February 2, 2015. CS Colloquium: Omer Reingold. Randomness vs. Memory: A Treasure(s) Hunt

Monday, January 26, 2015. Yi Li. For-all Sparse Recovery in Near-Optimal Time

Wednesday, January 21, 2015. CS Colloquium: Cynthia Dwork. Privacy in the Land of Plenty

## Other Seminars of Interest

CRCS Lunch Seminar

Harvard CS Colloquium

Harvard EconCS Seminar

Harvard Math Seminar

Microsoft Research Colloquium

MIT Algorithms & Complexity Seminar

MIT Crypto & Information Security Seminar

MIT Theory of Computation Colloquium

MSR/MIT Theory Reading Group

## Previous Talks

Monday, December 15, 2014. Zeev Dvir. Private Information Retrieval with 2-Servers and sub-polynomial communication

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

Monday, December 1, 2014. CS Colloquium: Boaz Barak. Proofs for Algorithms, Algorithms from Proofs.

Monday, December 1, 2014. Seth Pettie. Randomized Symmetry Breaking and the Constructive Lovász Local Lemma

Monday, November 24, 2014. Jan Vondrak. Fast algorithms for optimization of submodular functions

Thursday, November 20, 2014. CS Colloquium: Christopher Moore. Physics-inspired Algorithms and Phase Transitions in Community Detection.

Monday, November 17, 2014. CS Colloquium: Yael Tauman Kalai. Delegating Computation.

Monday, November 17, 2014. Gillat Kol. Exponential Separation of Information and Communication.

Monday, November 17, 2014. CRCS Lunch Seminar: Babis Tsourakakis. Algorithm Design for Large-Scale Datasets.

Friday, November 14, 2014. Avi Wigderson. Points, Lines and Ranks of design matrices

Th/Fri, November 13-14, 2014. Ahlfors Lectures: Avi Wigderson. Randomness/Permanent and Determinant: Non-Identical Twins

Monday, November 10, 2014. CS Colloquium: Madhu Sudan. Communication Amid Uncertainty.

Monday, November 10, 2014. Chris Musco. Graph Sparsification in the Streaming Model.

Thursday, November 6, 2014. CS Colloquium: Michael Kearns. Games, Networks, and People.

Monday, November 3, 2014. Pranjal Awasthi. Learning Halfspaces with Noise.

Thursday, October 30, 2014. CS Colloquium: Richard Baraniuk. Learning Near-Isometric Linear Embeddings.

Monday, October 27, 2014. Sofya Raskhodnikova. Constant-Time Testing and Learning Algorithms for Image Properties.

Friday, October 24, 2014. EconCS Seminar: Rafael Frongillo. Risk Dynamics in Trade Networks.

Thursday, October 16, 2014. CS Colloquium: Ankur Moitra. New Algorithms for Nonnegative Matrix Factorization and Beyond.

Thursday, October 9, 2014. CS Colloquium: Ron Fagin. Applying Theory to Practice (and Practice to Theory).

Wednesday, October 8, 2014. CMSA Colloquium: Salil Vadhan. The Computational Complexity of Data Privacy.

Monday, October 6, 2014. Aaron Sidford. Path-Finding Methods for Linear Programming.

Monday, September 29, 2014. Applied Math Colloquium: Rachel Ward. Linear Dimensionality Reduction via Random Projections.

Monday, September 29, 2014. Eli Gafni. The Coordinated-Attack Problem Revisited.

Monday, September 29, 2014. CRCS Lunch Seminar: Or Sheffet. Utilitarian Models of Privacy Loss and Social Choice.

Monday, September 22, 2014. Emanuele Viola. Local Reductions.

Monday, September 15, 2014. CRCS Lunch Seminar: Itai Ishlagi. Unbalanced Matching Markets.

Friday, September 12, 2014. EconCS Seminar: Moshe Babaioff. Bertrand Networks.

Friday, 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.

Tuesday, April 8, 2014. Raef Bassily. Causal Erasure Channels.

Thursday, April 3, 2014. CS Colloquium: David Soloveichik. Engineering Intelligent Molecular Systems.

Tuesday, March 25, 2014. Aleksandar Nikolov. Approximating Hereditary Discrepancy via Small Width Ellipsoids.

Monday, March 24, 2014. CRCS Lunch Seminar: David Xiao. Understanding Incentives for Privacy-Aware Individuals.

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

Thursday, February 27, 2014. CS Colloquium: Raluca Ada Popa. Building Systems that Compute on Encrypted Data.

Tuesday, February 25, 2014. Mark Zhandry. Multiparty Key Exchange, Efficient Traitor Tracing, and More from Indistinguishability Obfuscation.

Friday, February 14, 2014. EconCS Seminar: Pavel Hubacek. Single Round Delegation with Sublinear Verification.

Tuesday, February 11, 2014. Justin Thaler. On Interactivity in Arthur-Merlin Communication and Stream Computation.

Wednesday, January 29, 2014. CRCS Lunch Seminar: Jon Ullman. Privacy and the Complexity of Simple Queries.

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

Tuesday, December 3, 2013. Aravindan Vijayaraghavan. Smoothed analysis and uniqueness of tensor decompositions.

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

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

Tuesday, November 19, 2013. Ying Xiao. Fourier Principal Component Analysis.

Tuesday, November 12, 2013. Grigory Yaroslavtsev. Testing properties under Lp distances.

Tuesday, November 5, 2013. Adam Smith. Privacy, stability and high-dimensional sparse regression.

Thursday, October 31, 2013. CS Colloquium: Aleksander Madry. (Electrical) Flows and graph algorithms.

Tuesday, October 15, 2013. Yaron Singer. Adaptive seeding in social networks.

Thursday, October 10, 2013. CS Colloquium: Christos Papadimitriou. Computational insights and the theory of evolution.

Monday, October 7, 2013. Huy Nguyen. Approximate near neighbor search: Beyond locality sensitive hashing.

Thursday, October 3, 2013. CS Colloquium: Garud Iyengar. First-order algorithms for convex optimization.

Tuesday, October 1, 2013. Siu-On Chan. Approximate constraint satisfaction requires large LP relaxations.

Thursday, September 26, 2013. CS Colloquium: Craig Gentry. A cryptographic approach to software obfuscation.

Tuesday, September 17, 2013. Jelani Nelson. OSNAP: Faster numerical linear algebra algorithms via sparser subspace embeddings.

Friday, May 17, 2013. Daniel Reichman. Contagious Sets in Expanders.

Friday, May 10, 2013. Udi Wieder. How to approximate a set without knowing its size in advance.

Friday, April 26, 2013. Lorenzo Orecchia. From Online Learning to Optimization and Back: the Power of Regularization.

Friday, April 12, 2013. Colin Jia Zheng. A Uniform Min-Max Theorem with Applications in Cryptography.

Friday, March 29, 2013. Eric Blais. Approximating boolean functions with depth-2 circuits.

Friday, March 15, 2013. David Xiao. Some optimal lower bounds for privacy in communication games.

Friday, March 1, 2013. Thomas Steinke. Unconditional Pseudorandom Generators for Small-Space Computation

Friday, February 15, 2013. Justin Thaler. Practical Verified Computation with Streaming Interactive Proofs

Friday, February 1, 2013. Brendan Juba. Efficient Reasoning in PAC Semantics

Monday, December 10, 2012. Grigory Yaroslavtsev. Learning and Testing Submodular Functions

Monday, December 3, 2012. Madhav Jha. Testing and Reconstruction of Lipschitz Functions with Applications to Data Privacy.

Monday, November 19, 2012. Eli Ben-Sasson. A new family of locally correctable codes based on degree-lifted algebraic geometry codes

Monday, November 5, 2012. Greg Valiant. Finding Correlations, Learning Juntas, and the Closest Pair Problem

Thursday, October 18, 2012. Irit Dinur. Direct Products of Proofs and Gap Amplification

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

Monday, October 1, 2012. Karthekeyan Chandrasekaran. A Polynomial-Time Cutting Plane Algorithm for Matching

Monday, September 17, 2012. Andrew Wan. Pseudorandomness for Linear Length Branching Programs and Stack Machines

Thursday, November 10, 2011. Vitaly Feldman. Bounds on complexity of SQ learning and

Friday, October 7, 2011. Varun Kanade. Evolution with Recombination

Wednesday, September 14, 2011. Shachar Lovett. Existence of small families of t-wise independent permutations and t-designs via local limit theorems

Friday, May 13, 2011. Dana Moshkovitz. Hardness of Approximately Solving Linear Equations over Reals

Thursday, May 5, 2011. Virginia Vassilevska Williams. Path, Matrix, and Triangle Problems: Algorithms and Equivalences

Friday, April 29, 2011. Graham Cormode. Distributed Summaries

Friday, April 22, 2011. Kai-Min Chung. Memory Delegation

Monday, April 11, 2011. Mayank Varia. Studies in Program Obfuscation

Friday, March 11, 2011. Yevgeniy Dodis. Leftover Hash Lemma, Revisited

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

Thursday, February 17, 2011. David Steurer. On the Complexity of Graph Expansion and the Unique Games Conjecture

Monday, February 14, 2011. Ryan Williams. Algorithms, Obstructions, and Beating Exhaustive Search

Thursday, February 10, 2011. Shubhangi Saraf. High-rate Codes with Sublinear-time Decoding

Thursday, February 3, 2011. Jelani Nelson. Sketching and Streaming Algorithms

Monday, January 31, 2011. Mark Braverman Information and interactive communication

Friday, January 28, 2011. Martin Suchara. BGP Safety with Spurious Updates - The Conditions of BGP Convergence

Friday, November 19, 2010. Adam Kalai. Dueling Algorithms

Friday, October 29, 2010. David Steurer. Subexponential Algorithms for Unique Games and Related Problems

Friday, October 15, 2010. Tal Moran. On Complete Primitives for Fairness

Friday, October 1, 2010. Brendan Juba. Universal Semantic Communication

Monday, September 13, 2010. Chen Avin. Random walks techniques for (wireless) networks

Tuesday, June 29, 2010. Manoj Prabhakaran. Cryptographic Complexity and Computational Intractability

Monday, May 17, 2010. Raghu Meka. Pseudorandom Generators for Polynomial Threshold Functions

Monday, April 26, 2010. Jonathan Ullman. PCPs and the Hardness of Generating Private Synthetic Data

Monday, April 12, 2010. Justin Thaler. Streaming Graph Computations with a Helpful Advisor

Monday, April 5, 2010. Shubhangi Saraf. Blackbox Polynomial Identity Testing for Depth 3 Circuits

Monday, March 29, 2010. Giorgos Zervas. Information Asymmetries in Pay-Per-Bid Auctions: How Swoopo Makes Bank

Monday, February 8, 2010. Steven (Shlomo) Gortler. Characterizing the Universal Rigidity of Generic Frameworks

Monday, February 1, 2010. Kai-Min Chung. Security Amplification and Parallel Repetition Theorems

Wednesday, November 18, 2009. Sergei Vassilvitskii. A Model of Computation for MapReduce

Wednesday, November 4, 2009. Niv Buchbinder. The Randomized k-Server Conjecture (Online Algorithms meet Linear Programming)

Wednesday, October 21, 2009. Varun Kanade. Potential-based agnostic boosting

Friday, October 9, 2009. Harvey M. Friedman. Decision Procedures for Verification

Wednesday, September 23, 2009. Justin Thaler. Graph Covers and Quadratic Minimization

Thursday, April 30, 2009. Jennifer Chayes. IIC/CS colloquium

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

Monday, April 20, 2009. Alex Samorodnitsky. Counting Magic Squares

Wednesday, April 15, 2009. Katrina Ligett. Differentially private approximation algorithms

Monday, April 6, 2009. Alex Slivkins. Multi-Armed Bandits in Metric Space

Monday, March 30, 2009. David Choi. Sample Complexity Bounds for Link Prediction

Wednesday, March 11, 2009. Ketan Mulmuley. On P vs NP, Geometric Complexity, and the Riemann Hypothesis

Thursday, February 26, 2009. Muthu Muthukrishnan. See the departmental colloquium series

Monday, February 23, 2009. Zhenming Liu. Designing Floating Codes for Expected Performance

Friday, February 20, 2009. David Xiao. On the Black-box Complexity of PAC Learning

Monday, December 8, 2008. Yuri Gurevich. Proof of Church’s Thesis

Monday, December 1, 2008. Luca Trevisan. Regularity, boosting, and efficiently simulating every high entropy distribution

Monday, November 10, 2008. Kai-Min Chung. Tight Bounds for Hashing Block Sources

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

Monday, October 20, 2008. Tal Moran. An Optimally Fair Coin Toss: Cleve’s Bound is Tight

Monday, October 6, 2008. Amin Saberi. Game Dynamics, Equilibrium Selection and Network Structure

Monday, September 29, 2008. Flavio Chierichetti. Gossiping in Social Networks

Monday, September 15, 2008. Alan Frieze. Finding a Maximum Matching in a Sparse Random Graph in O(n) Expected Time

Monday, May 14, 2007. Allan Borodin. Greedy algorithms and other simple greedy-based algorithms for simple (to define) optimization problems

Monday, May 7, 2007. Lenore Cowen. Compact Routing from Theory to Practice

Thursday, May 3, 2007. Ramin Zabih. Flow-based optimization methods in computer vision

Monday, April 30, 2007. Ueli Maurer. Indistinguishability Amplification

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

Monday, April 16, 2007. Sergey Yekhanin. New Locally Decodable Codes and Private Information Retrieval Schemes

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

Monday, March 12, 2007. Gopal Pandurangan. Efficient Distributed Approximation Algorithms for Minimum Spanning Trees

Monday, February 26, 2007. Shanghua Teng. Game and Market Equilibria

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

Monday, February 5, 2007. Salil Vadhan. Unbalanced Expanders and Randomness Extractors from Parvaresh-Vardy Codes