Playlist: 41 videos

Synthesis of Models and Systems

0:35:16

Coordination of for Large Collections of Dynamical Systems with Constraint Satisfaction Guarantees

Necmiye Ozay (University of Michigan)
https://simons.berkeley.edu/talks/tbd-319
Synthesis of Models and Systems
Visit talk page
0:25:10

Provably Correct Training of Neural Network Controllers

Yasser Shoukry (UC Irvine)
https://simons.berkeley.edu/talks/tbd-320
Synthesis of Models and Systems
Visit talk page
0:32:55

Synthesizing Network Configuration Updates

Nate Foster (Cornell)
https://simons.berkeley.edu/talks/tbd-321
Synthesis of Models and Systems
Visit talk page
0:27:13

Using Program Synthesis to Build Compilers

Alvin Cheung (UC Berkeley)
https://simons.berkeley.edu/talks/tbd-324
Synthesis of Models and Systems
Visit talk page
0:33:10

Data-Driven Synthesis of a Provably Sound Side-Channel Analysis

Chao Wang (University of Southern California)
https://simons.berkeley.edu/talks/tbd-322
Synthesis of Models and Systems
Visit talk page
0:16:10

Managing Data Plane Diversity with Control Plane Synthesis

Eric Hayden Campbell (Cornell)
https://simons.berkeley.edu/talks/tbd-323
Synthesis of Models and Systems
Visit talk page
2:1:0

Panel Discussion on Challenges and Opportunities in Synthesis

Ezio Bartocci (TU Wien), Sumit Gulwani (Microsoft), Hadas Kress-Gazit (Cornell), Orna Kupferman (Hebrew University), and Armando Solar-Lezama (MIT)
https://simons.berkeley.edu/talks/panel-discussion-challenges-and-opportunities-synthesis
Synthesis of Models and Systems
Visit talk page