Avenir: Managing Data Plane Diversity via Control Plane Synthesis

Channel:

Subscribers:

68,700

Published on May 7, 2021 3:59:53 PM ● Video Link: https://www.youtube.com/watch?v=UMfOCGefCN8

Duration: 16:10

133 views

Eric Hayden Campbell (Cornell)
https://simons.berkeley.edu/talks/tbd-323
Synthesis of Models and Systems

Other Videos By Simons Institute for the Theory of Computing

2021-05-13	A Personal History of Practical SAT Solving
2021-05-12	Constrained Gradient Descent Algorithm for Testing Neural Networks
2021-05-12	DL2: Training and Querying Neural Networks with Logic
2021-05-12	Training Neural Networks with a Little Help from Knowledge
2021-05-12	Unifying Logical and Statistical AI with Markov Logic
2021-05-12	Panel Discussion on Quantum Algorithms for Optimization \| Quantum Colloquium
2021-05-12	Quantum Algorithms for Optimization \| Quantum Colloquium
2021-05-11	The Multilinear Polytope for Acyclic Hypergraphs
2021-05-10	Panel Discussion on Challenges and Opportunities in Synthesis
2021-05-07	Formal Languages and Automata for Reward Function Specification and Efficient Reinforcement Learning
2021-05-07	Avenir: Managing Data Plane Diversity via Control Plane Synthesis
2021-05-06	Cooperative Competition: A New Way of Solving SAT and other NP-Hard Problems in AI and Beyond
2021-05-06	Using Program Synthesis to Build Compilers
2021-05-05	Preprocessing SAT, MaxSAT, and QBF 3
2021-05-05	Preprocessing SAT, MaxSAT, and QBF 2
2021-05-05	Preprocessing SAT, MaxSAT, and QBF 1
2021-05-05	Panel Discussion on The Role of Proofs in MIP* = RE \| Quantum Colloquium
2021-05-05	The Role of Proofs in MIP* = RE \| Quantum Colloquium
2021-05-04	Towards ML for Quantification in SMT
2021-05-03	Data-Driven Synthesis of a Provably Sound Side-Channel Analysis
2021-05-03	Synthesizing Network Configuration Updates

Tags:

Simons Institute

theoretical computer science

UC Berkeley

Computer Science

Theory of Computation

Theory of Computing

Synthesis of Models and Systems

Eric Hayden Campbell