SimonsTV

Our videos can also be found on YouTube.
Domain Adaptation and Related Areas
Tuesday, Nov. 12 – Friday, Nov. 15, 2024
Playlist: 25 videos
1.
Label Noise: Ignorance is Bliss
Clayton Scott (University of Michigan)
2.
The Evolution of Domain Transfer in the Era of Pre-trained Language Models
Robin Jia (University of Southern California)
3.
The Data Addition Dilemma
Irene Y Chen (UC Berkeley)
4.
How Transformers Learn Causal Structure with Gradient Descent
Jason Lee (Princeton University)
5.
Pseudo-Labeling for Covariate Shift Adaptation
Kaizheng Wang (Columbia University)
6.
Transfer learning for weak-to-strong generalization
Yuekai Sun (University of Michigan)
7.
Transfer learning via local convergence rates of the nonparametric least squares estimator
Johannes Schmidt-Hieber (University of Twente)
8.
User-level and federated local differential privacy
Yi Yu (University of Warwick)
9.
A Discrepancy-Based Theory of Adaptation
Mehryar Mohri (Google Research & NYU)
10.
Distribution shift in ecological data: generalization vs. specialization,
Sara Beery (MIT)
11.
On Spurious Associations and LLM Alignment
Victor Veitch (University of Chicago)
12.
Talk by Zachary Lipton
Zachary Lipton (Carnegie Mellon University)
13.
Causally motivated robustness to shortcut learning
Maggie Makar (University of Michigan)
14.
Toward Understanding the Extrapolation of Nonlinear Models to Unseen Domains or the Whole Domain
Tengyu Ma (Stanford University)
15.
Language-guided Adaptation
Trevor Darrrell (UC Berkeley)
16.
Adaptive Data Collection via Autoregressive Generation
Hongseok Namkoong (Columbia University)
17.
Scalably Understanding AI with AI
Jacob Steinhardt (UC Berkeley)
18.
Open-Source and Science in the Era of Foundation Models
Percy Liang (Stanford University)
19.
Domain Adaptation-- 20 years of theory chasing practice
Shai Ben-David (University of Waterloo)
20.
Panel Discussion
Rich Zemel (Columbia University), Shai Ben-David (University of Waterloo and Vector Institute ), Kamalika Chaudhuri (UC San Diego), Percy Liang, Hongseok Namkoong (Columbia University)
21.
TBD
Kamalika Chaudhuri (UC San Diego)
22.
Private video
23.
Private video
24.
Private video
25.
Private video
Extroverted Sublinear Algorithms
Monday, June 17 – Friday, June 21, 2024
Playlist: 24 videos
1.
New upper and lower bounds on approximate counting
Jelani Nelson (Simons Institute)
2.
Locally Private Histograms in All Privacy Regimes
Clément Canonne (University of Sydney)
3.
Shaving logs by weighing coins
Deeparnab Chakrabarty (Dartmouth College)
4.
Optimal Quantile Estimation for Streams
Mihir Singhal (UC Berkeley)
5.
O(log s)-Approximate Nearest Neighbor Search for the Earth Mover’s Distance
Rajesh Jayaram (Google Research NYC)
6.
Massively Parallel Algorithms for High-Dimensional Euclidean Minimum Spanning Tree
Peilin Zhong (Google)
7.
Efficiently Computing Similarities to Private Datasets
Sandeep Silwal (MIT)
8.
ML Efficiency for Large Models: From Data Efficiency to Faster Transformers
Vahab Mirrokni (Google Research, NYC)
9.
Sub-Linear Algorithms meets Large Language Models
Anshumali Shrivastava (Rice University)
10.
Randomized Least Squares Optimization and its Incredible Utility for Large-Scale Tensor Decomp...
Tamara Kolda (MathSci.ai)
11.
Long-context Attention in Near-Linear Time
David Woodruff (Carnegie Mellon University)
12.
Sublinear-Time Algorithms in Learning
Ronitt Rubinfeld (Massachusetts Institute of Technology)
13.
Large Scale Private Learning on Data Streams, and the BLTs
Abhradeep Guha Thakurta (Google DeepMind)
14.
Private video
15.
Sublinear Insights: A Faster (Classical) Algorithm for Edge Coloring
Sepehr Assadi (University of Waterloo and Rutgers University)
16.
Linear and sublinear algorithms for graphlet sampling
Marco Bressan (University of Milan)
17.
Sublinear algorithms in social networks via core-periphery decomposition
Omri Ben-Eliezer (Simons Institute)
18.
Sublinear time algorithms for better than 1/2 approximation algorithms for max-cut on expanders
Akash Kumar (IIT Bombay)
19.
Streaming Algorithms for Connectivity Augmentation
Ali Vakilian (Toyota Technological Institute at Chicago)
20.
Talk By Ilya Mironov (Google Brain)
Ilya Mironov (Google Brain)
21.
Applications of Sub-linear Algorithms on Other Fields
Vladimir Braverman (Rice University)
22.
Hypothesis selection with computational constraints
Maryam Aliakbarpour (Rice University)
23.
Lightning Talks
24.
A Bi-metric Framework for Fast Similarity Search
Piotr Indyk (Massachusetts Institute of Technology)
Logic and Algorithms in Database Theory and AI Boot Camp
Playlist: 20 videos
1.
Query Optimization and Evaluation 1: Output Size Bounds and Information Theory
Hung Ngo (RelationalAI)
2.
Query Optimization and Evaluation 2: Worst-Case Optimal Join Algorithms
Hung Ngo (RelationalAI)
3.
Query Optimization and Evaluation 3: Variable Elimination and Tensor Decomposition
Hung Ngo (RelationalAI)
4.
Query Optimization and Evaluation 4: Instance Optimality
Mahmoud Abo Khamis (RelationalAI)
5.
Logic and Probabilistic Circuits 1
Guy Van den Broeck (UCLA)
6.
Logic and Probabilistic Circuits 2
YooJung Choi (ASU)
7.
Logic and Probabilistic Circuits 3
YooJung Choi (ASU)
8.
Logic and Probabilistic Circuits 4
Guy Van den Broeck (UCLA)
9.
Algebraic Structures in Logic and Query Evaluation 1
Val Tannen (University of Pennsylvania)
10.
Algebraic Structures in Logic and Query Evaluation 2
Val Tannen (University of Pennsylvania)
11.
Fine-Grained Complexity 1
Virginia Vassilevska Williams (MIT)
12.
Fine-Grained Complexity 2
Nicole Wein (University of Michigan)
13.
Algebraic Structures in Logic and Query Evaluation 3
Dan Suciu (University of Washington)
14.
Algebraic Structures in Logic and Query Evaluation 4
Dan Suciu (University of Washington)
15.
Fine-Grained Complexity 3
Virginia Vassilevska Williams (MIT)
16.
Fine-Grained Complexity 4
Yinzhan Xu (MIT)
17.
Incremental View Maintenance 1
Dan Olteanu (University of Zurich)
18.
Incremental View Maintenance 2
Dan Olteanu (University of Zurich)
19.
Sampling in Query Evaluation 1
Marcelo Arenas (Pontificia Universidad Católica de Chile and RelationalAI)
20.
Sampling in Query Evaluation 2
Marcelo Arenas (Pontificia Universidad Católica de Chile and RelationalAI)
Learning In The Presence Of Strategic Agents: Dynamics, Equilibria, And Convergence
Feb. 2022
Eric Mazumdar (Caltech)
https://simons.berkeley.edu/talks/learning-presence-strategic-agents-dynamics-equilibria-and-convergence
Meet the Fellows Welcome Event
ITCS 2022 (live sessions)
13th Innovations in Theoretical Computer Science Conference (ITCS 2022)
Playlist: 26 videos
1.
ITCS 2022 Session 1
Chair: Igor Oliveira
2.
ITCS 2022 Session 2
Chair: Lijie Chen
3.
ITCS 2022 Session 3
Chair: Mahsa Derakhshan
4.
ITCS 2022 Session 4
Chair: Yang Cai
5.
ITCS 2022 Session 5
Chair: Ken Clarkson
6.
ITCS 2022 Session 6
Chair: Karthik C. S.
7.
ITCS 2022 Session 7
Chair: Frederic Magniez
8.
ITCS 2022 Graduating Bits
Chair: Gautam Kamath
9.
ITCS 2022 Session 8
Chair: Eylon Yogev
10.
ITCS 2022 Session 9
Chair: Rotem Oshman
11.
ITCS 2022 Session 10
Chair: Ariel Schvartzman
12.
ITCS 2022 Session 11
Chair: Aditya Bhaskara
13.
ITCS 2022 Session 12
Chair: Omri Ben-Eliezer
14.
ITCS 2022 Graduating Bits
Chair: Gautam Kamath
15.
ITCS 2022 Session 13
Chair: Josh Alman
16.
ITCS 2022 Session 14
Chair: Eylon Yogev
17.
ITCS 2022 Session 15
Chair: Rafael Oliveira
18.
ITCS 2022 Session 16
Chair: Raghuvansh R. Saxena
19.
ITCS 2022 Session 17
Chair: Nicole Wein
20.
ITCS 2022 Session 18
Chair: Xue Chen
21.
ITCS 2022 Session 19
Chair: Maryam Aliakbarpour
22.
ITCS 2022 Session 21
Chair: Antonina Kolokolova
23.
ITCS 2022 Session 22
Chair: Makrand Sinha
24.
ITCS 2022 Session 23
Chair: Yuval Filmus
25.
ITCS 2022 Session 24
Chair: Noga Ron-Zewi
26.
ITCS 2022 Session 20
Chair: Alex Grilo
Scalable And Reliable Inference For Probabilistic Modeling
Nov. 2021
Ruqi Zhang (UT Austin)
https://simons.berkeley.edu/talks/scalable-and-reliable-inference-probabilistic-modeling
Joint IFML/CCSI Symposium
Until the Sun Engulfs the Earth: Lower Bounds in Computational Complexity | Theory Shorts
Jul. 2021
Theory Shorts is a documentary web series that explores topics from the Simons Institute’s research programs.

The second short film in the series, “Until the Sun Engulfs the Earth: Lower Bounds in Computational Complexity,” explores how we know that a problem is impossible to solve.

FURTHER READING
Fruit game optimal algorithm: Hossein Jowhari, Mert Saglam, Gábor Tardos. "Tight bounds for Lp
samplers, finding duplicates in streams, and related problems." PODS 2011: 49-58.

Fruit game optimal lower bound: Michael Kapralov, Jelani Nelson, Jakub Pachocki, Zhengyu Wang, David P. Woodruff, Mobin Yahyazadeh. "Optimal Lower Bounds for Universal Relation, and for Samplers and Finding Duplicates in Streams." FOCS 2017: 475-486.

FEATURING
Paul Beame
Faith Ellen
Jelani Nelson
Manuel Sabin
Madhu Sudan

DIRECTORS
Anil Ananthaswamy
Kristin Kane

SCIENTIFIC ADVISOR
Shafi Goldwasser

HOST/WRITER
Anil Ananthaswamy

EDITOR/PRODUCER
Kristin Kane

GRAPHIC AND ANIMATION DESIGNER
Barry Bödeker

ANIMATORS
Caresse Haaser
Kristin Kane

VIDEOGRAPHER
Drew Mason

PRODUCTION ASSISTANTS
Kevin Hung
Bexia Shi

COPY EDITOR
Preeti Aroon

TECH SUPPORT
Adriel Olmos

SPECIAL THANKS
Ryan Adams
Wesley Adams
Marco Carmosino
Kani Ilangovan
Sampath Kannan
Richard Karp
David Kim
Bryan Nelson
Jeremy Perlman
Kat Quigley
Siobhan Roberts
Amelia Saul
Umesh Vazirani

MUSIC
Dill Pickles (Heftone Banjo Orchestra)
Flamenco Rhythm (Sunsearcher)
Place Pigalle (Uncle Skeleton)
Plastic (Purple Moons)

SOUND EFFECTS
Courtesy of byxorna, inspectorj, janbezouska, jorickhoofd, kash15, kyster, robinhood76, smotasmr, svarvarn, and vandrandepinnen via Freesound.org

OTHER MEDIA
Becoming (Jan van IJken)
A Decade of Sun (Solar Dynamics Observatory, NASA)
Move Mountain (Kirsten Lepore)

© Simons Institute for the Theory of Computing, 2021
Belief and Survey Propagation
Mar. 2021
Amin Coja-Oghlan (Goethe University)
https://simons.berkeley.edu/talks/tbd-283
50 Years of Satisfiability: The Centrality of SAT in the Theory of Computing
WIT: Women in Theory (of Computer Science) — I Will Survive!
May. 2020
The Women of Theory of Computer Science rock to our version of I Will Survive!
WIT: https://womenintheory.wordpress.com/


I Will Survive
Lyrics: Avi Wigderson (IAS)

At first I was afraid, I was petrified
I worried I could never fit this proof on just one slide
But then I spent so many nights thinking why it is so long
And I grew strong
And learned exactly what went wrong

A problem wor-thy, of attack
Just proves its worth by vigorously fighting back
I should have used error correction, should have sampled yet again
I should have stayed the course and found there is so much that I can gain

So do come back, problems galore
I am much more ready to attack you than I was before
I’ll fight you guiltless when at work, forget you guiltless when at home
And if you’re fun then in the pastures of the TCS we’ll roam

So I’ll survive, and I will thrive,
By Nash’s equilibrium, there must be balance to my life
I’ve got all my life to live,
And I’ve got all my Math to give
So I’ll survive,
and I will thrive, hey, hey

It took all the strength I had, I was nearly spent,
Trying hard to mend, the errors, in my argument
I put each pigeon in its hole, consulted every oracle
My upper bound
Turned up below my lower bound

Then I came up, with something new
I thought outside the blackbox, found what others never knew
That polynomials with a small degree have small number of roots
That few cryptogra-phic assumptions no one’s likely to dispute

So do come back, problems galore
I am much more ready to attack you than I was before
As I have wit and I have WIT and having both is pretty neat
Indeed a convex combination that is very hard to beat

So I’ll survive, and I will thrive,
Because (in theory, at least) this is a perfect life
You pick the problems that you love
To fit your brain just like a glove
So I’ll survive,
and I will thrive, hey, hey

Singers:
Dahlia Malkhi (Calibra, Facebook)
Elette Boyle (IDC, Israel)
Irit Dveer Dinur (Weizmann Institute, Israel)
Julia Chuzhoy (Toyota Technological Institute at Chicago, USA)
Katrina Ligett (Hebrew University, Israel)
Keren Censor-Hillel (Technion, Israel)
Lisa Zhang (Bell-Labs, USA)
Mary Wooters (Stanford University, USA)
Michal Feldman (Tel-Aviv University, Israel)
Nicole Immorlica (Microsoft Research, New England, USA)
Orna Kupferman (Hebrew University, Israel)
Rebecca Wright (Barnard College, USA)
Ronitt Rubinfeld (MIT, USA)
Shafi Goldwasser (Simons Institute at UC Berkeley, USA)
Shubhangi Saraf (Rutgers University, USA)
Shuchi Chawla (University of Wisconsin, Madison, USA)
Sofya Raskhodnikova (Boston University, USA)
Tal Malkin (Columbia University, USA)
Tal Rabin (Algorand Foundation, USA)
Yael Tauman Kalai (Microsoft Research, New England, USA)
Lower Bounds in Computational Complexity Boot Camp
Playlist: 20 videos
1.
Circuit Lower Bounds from Algorithm Design: An Overview I (Partial)
Ryan Williams, MIT
2.
Circuit Lower Bounds from Algorithm Design: An Overview II
Ryan Williams, MIT
3.
Restriction-based Methods I
Ben Rossman, University of Toronto
4.
Restriction-based Methods II
Ben Rossman, University of Toronto
5.
Lower Bounds Techniques in Proof Complexity I
Pavel Hrubes, Academy of Sciences of the Czech Republic
6.
Lower Bounds Techniques in Proof Complexity II
Pavel Hrubes, Academy of Sciences of the Czech Republic
7.
Derandomization from Circuit Lower Bounds I
Russell Impagliazzo, UC San Diego
8.
Derandomization from Circuit Lower Bounds II
Russell Impagliazzo, UC San Diego
9.
Geometric Complexity Theory I: Complexity Lower Bounds...
Christian Ikenmeyer, Max Planck Institute for Informatics
10.
Geometric Complexity Theory II: Complexity Lower Bounds...
Christian Ikenmeyer, Max Planck Institute for Informatics
11.
Lower Bounds in Arithmetic Circuit Complexity I
Srikanth Srinivasan, Indian Institute of Technology Bombay
12.
Lower Bounds in Arithmetic Circuit Complexity II
Srikanth Srinivasan, Indian Institute of Technology Bombay
13.
Communication Complexity I
Anup Rao, University of Washington
14.
Communication Complexity II
Anup Rao, University of Washington
15.
Lower Bounds for Dynamic Data Structures I
Kasper Green Larsen, Aarhus University
16.
Lower Bounds for Dynamic Data Structures II
Kasper Green Larsen, Aarhus University
17.
Time-Space Lower Bounds for Learning I
Avishay Tal, Stanford University
18.
Time-Space Lower Bounds for Learning II
Avishay Tal, Stanford University
19.
Impossibility Results for Distributed Computing I
Faith Ellen, University of Toronto
20.
Impossibility Results for Distributed Computing II
Faith Ellen, University of Toronto
Cal Day Lecture: Can a Machine be Conscious? Towards a Conscious AI
Apr. 2018
Manuel Blum, Carnegie Mellon University
https://simons.berkeley.edu/events/can-machine-be-conscious-towards-conscious-ai#
A Marketplace for Data: An Algorithmic Solution
Mar. 2018
Munther Dahleh, Massachusetts Institute of Technology
https://simons.berkeley.edu/talks/munther-dahleh-3-28-18
Societal Networks
Targeted Discovery in Brain Data
This workshop will focus on the problem of inferring structure from neuroscience data, including the following specific themes:
Playlist: 13 videos
1.
Three Principles of Data Science: Predictability, Stability, and Computability
Bin Yu, UC Berkeley
2.
Private video
3.
Decoding and Modeling the Brain’s Navigational Circuits
Ila Fiete, University of Texas at Austin
4.
Cortical Travelling Waves: Mechanisms and Computational Principles
Terry Sejnowski, Salk Institute
5.
Computational Geometry of Cortical Networks: Manifold-Embedding Analysis of Multi-Site Recordings...
Clay Reid, Allen Institute for Brain Science
6.
Private video
7.
Automated Reconstruction of Synaptic-Resolution Neural Wiring Diagrams Using...
Viren Jain, Google
8.
Private video
9.
The Information Bottleneck Theory of Deep Neural Networks...
Naftali Tishby, Hebrew University of Jerusalem
10.
Cortical Areas Interact through a Communication Subspace
Christian Machens, Champalimaud Research
11.
Similarity Alignment: A Missing Link Between Structure, Function and Algorithms
Mitya Chklovskii, Simons Foundation
12.
Tracing, Intercepting and Modeling Communication in the Brain
Fritz Sommer, UC Berkeley
13.
Inferring Single-Trial Neural Population Dynamics Using Sequential Auto-Encoders
David Sussillo, Google
Power of Active Sampling for Unsupervised Learning
Feb. 2017
Aarti Singh, Carnegie Mellon University
https://simons.berkeley.edu/talks/aarti-singh-02-16-2017
Interactive Learning
Network Biology
Apr. 11 – Apr. 15, 2016
Playlist: 28 videos
1.
Using Molecular Networks to Seed Predictive Hierarchies of Cell Systems
Trey Ideker, UC San Diego
2.
Uncertainty in Biological Networks; Challenges and Opportunities
Tamer Kahveci, University of Florida
3.
Diffusion-Based Metrics for Biological Network Analysis
Lenore Cowen, Tufts University
4.
Sampling the Low End of Affinity
Marcus Noyes, New York University
5.
Systematic Functional Annotation of the 2016 Yeast Genetic Interaction Network
Anastasia Baryshnikova, Princeton University
6.
Pathways, Centrality, and Regulation in Developmental Disorders
Donna Slonim, Tufts University
7.
On Beyond Genome: Opportunities and Challenges Using the Other Omics for Precision Medicine
Ernest Fraenkel, Massachusetts Institute of Technology
8.
Algorithms for Combinatorial Problems Arising in the Analysis of Cancer Mutation Networks
Fabio Vandin, University of Padova
9.
Network Analysis of Cancer Mutations
Ben Raphael, Brown University
10.
Fathoming Cancer by Interrogating Integrated Interactomes
Igor Jurisica, Princess Margaret Cancer Centre
11.
Network Data Integration Enables Precision Medicine
Natasa Przulj, University College London
12.
Transcriptional Enhancers - Looking out for the Genes and Each Other
Sridhar Hannenhalli, University of Maryland
13.
Dynamics of 3D Enhancer-Gene Associations Across Diverse Human Cell Types and Tissues
Anshul Kundaje, Stanford University
14.
Profiling Cell/Tissue Specific Gene Regulatory Networks
Louxin Zhang, National University of Singapore
15.
Variation of Regulatory Networks Across Organisms
Mona Singh, Princeton University
16.
Spatial Gene Expression Patterns in Drosophila
Bin Yu, UC Berkeley
17.
Network Perspective on Expression Changes and Expression Noise in D. melanogaster Chromosomal Deleti
Teresa Przytycka, National Institutes of Health
18.
Cross-Species Interactome Mapping Reveals Network Evolution Principles from Yeasts to Human
Haiyuan Yu, Cornell University
19.
Moving Beyond Local Patterns: New Ways to Reason about Biological Network Comparisons
Ben Hescott, Tufts University
20.
Data Driven "Pathway" Analysis with ADAGE
Casey Greene, University of Pennsylvania
21.
Synthesis, Simplification and Analysis of Biological Networks Using Higher Order Topological Connect
Bhaskar DasGupta, University of Illinois at Chicago
22.
Network Propagation as a Tool for Deciphering Disease Mechanisms
Roded Sharan, Tel-Aviv University
23.
Dynamic and Integrative Biological Network Research of Aging
Tijana Milenkovic, University of Notre Dame
24.
Efficiently Enumerating All Connected Induced Subgraphs of a Large Molecular Network
Mehmet Koyuturk, Case Western Reserve University
25.
Identifying Disease Mechanisms Using Gene Networks as Priors
Anna Goldberg, University of Toronto
26.
Simple Models and Exact Algorithms for Computing Network Modules
Gunnar Klau, CWI, Amsterdam
27.
Local Similarity Analysis (LSA) of Time Series Data and Applications to Metagenomics
Fengzhu Sun, University of Southern California
28.
Module Discovery in 3-way Data
Ron Shamir, Tel-Aviv University
From the Inside: Economics and Computation
Dec. 2015
Richard Karp sat down with Tim Roughgarden to discuss the Fall 2015 program on Economics and Computation.

https://simons.berkeley.edu/programs/economics2015
Security Games: Key Algorithmic Principles, Deployed Applications and Research Challenges(*)
Nov. 2015
Milind Tambe, University of Southern California
Algorithmic Game Theory and Practice
https://simons.berkeley.edu/talks/milind-tambe-2015-11-18
Algorithmic Game Theory and Practice
Nov. 16 – Nov. 20, 2015
Playlist: 23 videos
1.
Kidney Exchange: Algorithms and Incentives
Alvin Roth, Stanford University
2.
Designing Online Advertising Markets
Susan Athey, Stanford University
3.
Outsourcing Tasks Online: Matching Supply and Demand on Peer-to-Peer Internet
Chiara Farronato, Harvard University
4.
Business Model Analysis
Kamal Jain, Faira.com
5.
The Limits of Reputation in Platform Markets
Steve Tadelis, UC Berkeley
6.
Adverse Selection and Auction Design for Internet Display Advertising
Paul Milgrom, Stanford University
7.
Machine Learning in an Exchange Environment
R. Preston McAfee, Microsoft
8.
Online Advertisements and Online Algorithms
Nikhil Devanur, Microsoft Research
9.
On How Machine Learning and Auction Theory Power Facebook Advertising
Eric Sodomka, Facebook
10.
On-Line Systems with Long-Range Goals
Jon Kleinberg, Cornell University
11.
Decision Making at Scale: Platforms and Problems
Ashish Goel, Stanford University
12.
Strong Truthfulness in Multi-signal Peer Prediction with Overlapping Tasks
David Parkes, Harvard University
13.
The State of Techniques for Solving Large Imperfect-Information Games
Tuomas Sandholm, Carnegie Mellon University
14.
Security Games: Key Algorithmic Principles, Deployed Applications and Research Challenges(*)
Milind Tambe, University of Southern California
15.
Robust Inference for Games via Theoretical Guarantees
Denis Nekipelov, University of Virginia
16.
An Evolutionary Model of Economic Behavior, Bounded Rationality, and Intelligence
Andrew Lo, Massachusetts Institute of Technology
17.
The Design of Financial Exchanges: Some Open Questions at the Intersection of Econ and CS
Eric Budish, University of Chicago
18.
Algorithmic Trading and Machine Learning
Michael Kearns, University of Pennsylvania
19.
Incentive Auctions and Spectrum Repacking
Kevin Leyton-Brown, University of British Columbia
20.
Informational Substitutes and Complements for Prediction
Yiling Chen, Harvard University
21.
AGT and Machine Learning
Christos Papadimitriou, UC Berkeley
22.
Bitcoin's Incentive Structure
Aviv Zohar, Hebrew University of Jerusalem
23.
Dynamic Pricing in Ride-Sharing Platforms
Ramesh Johari, Stanford University
Securing Computation
Jun. 8 – Jun. 12, 2015
Playlist: 32 videos
1.
Obfuscation: Past, Present, and Possible Futures
Amit Sahai, UCLA
2.
New Developments in Multilinear Maps: Zeroizing Attacks, Defenses, and Post-Zeroizing Obfuscation
Eric Miles, UCLA
3.
Indistinguishability Obfuscation for Turing Machines with Unbounded Memory
Brent Waters, University of Texas, Austin
4.
Obfuscation with Constant Multiplicative Size Overhead
Prabhanjan Ananth, UCLA
5.
Cryptocurrencies and Smart Contracts
Elaine Shi, University of Maryland
6.
Sequential Composition of Rational Proofs
Rosario Gennaro, City University of New York
7.
Rethinking Secure Computation - A Greedy Approach
Muthuramakrishnan Venkitasubramaniam, University of Rochester
8.
A Brief History of Practical Garbled Circuit Optimizations
Mike Rosulek, Oregon State University
9.
Fast Garbling of Circuits Under Standard Assumptions
Yehuda Lindell, Bar-Ilan University
10.
A Framework for Efficient Mixed-Protocol Secure Two-Party Computation
Thomas Schneider, Technische Universität Darmstadt
11.
Lower Bounds for Information-Theoretic MPC
Ivan Damgård, Aarhus University
12.
Capacity Inversion and MPC over Elastic Noisy Channels
Hemanta Maji, UCLA
13.
Upending Stock Market Structure Using Secure Computation
Charanjit Jutla, IBM T.J. Watson Research Center
14.
Practical Private DB Querying
Vlad Kolesnikov, Bell Labs
15.
A Wishlist for Verifiable Computation: An Applied CS Perspective
Mike Walfish, New York University
16.
SNARKs and their Practical Applications
Eran Tromer, Tel Aviv University
17.
How to use Bitcoin to Enhance Secure Computation
Ranjit Kumaresan, Massachusetts Institute of Technology
18.
Provably Secure Blockchain Protocols and Applications to Secure Computation
Aggelos Kiayias, University of Athens
19.
The Simplest Oblivious Transfer Protocol
Claudio Orlandi, Aarhus University
20.
The Whole is Greater than the Sum of its Parts: Linear Garbling and Applications
Valerio Pastro, Columbia University
21.
Contention in Cryptography: Obfuscation, Leakage, UCE and the AI-DHI Assumptions
Stefano Tessaro, UC Santa Barbara
22.
How to Construct Indistinguishability Obfuscation from Compact Functional Encryption
Abhishek Jain, Johns Hopkins University
23.
Public-Coin Differing-Inputs Obfuscation and its Applications
Omkant Pandey, UCLA
24.
Obfuscation of Probabilistic Circuits and Applications
Huijia Lin, UC Santa Barbara
25.
Two Round MPC via Multi-Key FHE
Daniel Wichs, Northeastern University
26.
Efficient Multiparty Protocols via Log-Depth Threshold Formulae
Ron Rothblum, Weizmann Institute
27.
Oblivious RAM for MPC
Stanislaw Jarecki, UC Irvine
28.
Provably Secure Virus Detection: Using the Uncertainty to End Computer Malware
Vassilis Zikas, ETH Zürich
29.
On the Cryptographic Hardness of Finding a Nash Equilibrium
Omer Paneth, Boston University
30.
How Fair is your Protocol? A Utility-Based Approach to Protocol Optimality
Bjoern Tackmann, UC San Diego
31.
Cryptographic Agents: Towards a Unified Theory of Computing on Encrypted Data
Manoj Prabhakaran, University of Illinois, Urbana‑Champaign
32.
New Advances in Secure RAM Computation
Sanjam Garg, UC Berkeley
Quantum Hamiltonian Complexity Boot Camp
Jan. 15 – Jan. 18, 2014
Playlist: 16 videos
1.
Introduction to Quantum Hamiltonian Complexity
Umesh Vazirani, UC Berkeley
2.
Delegated Quantum Computation
Anne Broadbent, University of Waterloo
3.
Untrusted Quantum Devices
Yaoyun Shi, University of Michigan
4.
Mini Crash Course: Quantum Games and Semi-Definite Programming
Thomas Vidick, Massachusetts Institute of Technology
5.
Many-body Physics and Complexity I
Daniel Nagaj, University of Vienna
6.
The Complexity of Ground States
Zeph Landau, UC Berkeley
7.
Mini Crash Course: Quantum Information Theory
Ashwin Nayak, University of Waterloo
8.
Application of Quantum Information Theory in QHC
Aram Harrow, Massachusetts Institute of Technology
9.
Quantum Information Measures and Black Holes
Patrick Hayden, Stanford University
10.
Mini Crash Course: The Classical PCP Theorem
Luca Trevisan, Stanford University
11.
The Quantum PCP Theorem
Thomas Vidick, Massachusetts Institute of Technology
12.
SDP Hierarchies and Quantum States
Aram Harrow, Massachusetts Institute of Technology
13.
Mini Crash Course: Quantum Error Correction
Ben Reichardt, University of Southern California
14.
Mini Crash Course: Tensor Networks
Zeph Landau, UC Berkeley
15.
Many-body Physics and Complexity II
Daniel Nagaj, University of Vienna
16.
Simulating Quantum Field Theory with a Quantum Computer
John Preskill, California Institute of Technology