Workshops

Spring 2021

Synthesis of Models and Systems

(Weekly event) Feb 08, 2021 to May 10, 2021 (ended)View all dates

All scheduled dates:

Feb 8, 2021 (ended)
Feb 15, 2021 (ended)
Feb 22, 2021 (ended)
Mar 1, 2021 (ended)
Mar 8, 2021 (ended)
Mar 15, 2021 (ended)
Mar 22, 2021 (ended)
Mar 29, 2021 (ended)
Apr 5, 2021 (ended)
Apr 12, 2021 (ended)
Apr 19, 2021 (ended)
Apr 26, 2021 (ended)
May 3, 2021 (ended)
May 10, 2021 (ended)

Return to event »

Monday, February 8th, 2021
8:30 am–10:30 am		Reactive Synthesis Bernd Finkbeiner (CISPA Helmholtz Center for Information Security)

Monday, February 22nd, 2021
8:30 am–10:30 am		Syntax-Guided Program Synthesis Rajeev Alur (University of Pennsylvania)

Monday, March 1st, 2021
8:30 am–9:00 am		Data-Driven Inference of Representation Invariants Todd Millstein (UCLA)
9:00 am–9:10 am		Q&A
9:10 am–9:40 am		CounterExample Guided Inductive Synthesis Modulo Theories Elizabeth Polgreen (University of Edinburgh)
9:40 am–9:50 am		Q&A
9:50 am–10:10 am		Syntax-Guided Synthesis in SMT: A View from Inside the Solver Andrew J. Reynolds (University of Iowa)
10:10 am–10:20 am		Q&A
10:20 am–10:25 am		Neural Network guided Grammar Filtering For Syntax-Guided Synthesis Mark Santolucito (Barnard College)
10:25 am–10:30 am		Q&A

Monday, March 8th, 2021
		Reactive Synthesis - Current and Future Directions
8:30 am–9:00 am		Shield Synthesis for Safe Reinforcement Learning Roderick Bloem (IAIK)
9:00 am–9:20 am		Reconfigurable Interaction for MAS Modeling Nir Piterman (University of Gothenberg)
9:20 am–9:40 am		Control Synthesis and its Magical Futures Anna Lukina (IST Austria)
9:40 am–10:00 am		Synthesizing Approximate Implementations for Reactive Systems Hazem Torfah (UC Berkeley)
10:00 am–10:20 am		Synthesis of Coordination Programs from Linear Temporal Specifications Suguman Bansal (University of Pennsylvania)
10:20 am–10:30 am		Synthesis of Functional Reactive Programs via a Reduction of Asynchronous Inputs to Lists Julie Newcomb (University of Washington)

Monday, March 15th, 2021
8:30 am–10:30 am		A Brief Introduction to Theoretical Foundations of Machine Learning and Machine Teaching Jerry Zhu (University of Wisconsin-Madison)

Monday, March 22nd, 2021
9:00 am–9:30 am		Liquid Time Constant Networks Ramin Hasani (MIT)
9:30 am–10:00 am		Program Synthesis via Deep Learning over Graph Structured Data Mayur Naik (University of Pennsylvania)
10:00 am–10:30 am		Dreamcoder: Bootstrapping Inductive Program Synthesis With Wake-Sleep Library Learning Kevin Ellis (Cornell)

Monday, March 29th, 2021
8:30 am–9:00 am		Formal Synthesis: Oracle-guided Learning of Compositional Concepts Susmit Jha (SRI)
9:00 am–9:30 am		On Optimal Collusion-Free Teaching Sandra Zilles (University of Regina)
9:30 am–10:00 am		Towards a Theory of Learning Inductive Invariants Yotam Feldman (Tel Aviv University)
10:00 am–10:30 am		Inferring Specifications From Demonstrations; A Maximum (Causal) Entropy Approach Marcell Vazquez-Chanlatte (UC Berkeley)

Monday, April 5th, 2021
8:30 am–9:00 am		Guarantees in Syntax-Guided Synthesis Loris D'Antoni (University of Wisconsin-Madison)
9:00 am–9:30 am		Counterexample-guided Repair in Boolean Functional Synthesis Supratik Chakraborty (IIT Bombay)
9:30 am–10:00 am		Visualization By Example Chenglong Wang (University of Washington)
10:00 am–10:30 am		Counterexample Guided Inference of Modular Specifications Bill Hallahan (Yale University)

Monday, April 12th, 2021
8:30 am–9:00 am		Towards the Automated Synthesis of Probabilistic Programs Joost-Pieter Katoen (RWTH Aachen University)
9:00 am–9:30 am		Synthesis of Safe, Small and Optimal Strategies for Cyber-Physical Systems Kim Larsen (Aalborg University)
9:30 am–10:00 am		Automated Verification and Control Synthesis for CPS Models Alessandro Abate (University of Oxford)
10:00 am–10:30 am		Synthesizing Randomized Systems with Algorithmic Improvisation Daniel Fremont (UC Santa Cruz)

Monday, April 26th, 2021
8:30 am–9:00 am		Optimization-based Formal Synthesis of Control Strategies for Dynamical Systems Calin Belta (Boston University)
9:00 am–9:30 am		Synthesis for Correctness Is Not Enough: How to Specify, Verify, and Synthesize Robust Systems Paulo Tabuada (UCLA)
9:30 am–10:00 am		Coordination of for Large Collections of Dynamical Systems with Constraint Satisfaction Guarantees Necmiye Ozay (University of Michigan)
10:00 am–10:30 am		Provably Correct Training of Neural Network Controllers Yasser Shoukry (UC Irvine)

Monday, May 3rd, 2021
8:30 am–9:00 am		Synthesizing Network Configuration Updates Nate Foster (Cornell)
9:00 am–9:30 am		Using Program Synthesis to Build Compilers Alvin Cheung (UC Berkeley)
9:30 am–10:00 am		Data-Driven Synthesis of a Provably Sound Side-Channel Analysis Chao Wang (University of Southern California)
10:00 am–10:30 am		Managing Data Plane Diversity with Control Plane Synthesis Eric Hayden Campbell (Cornell)

Monday, May 10th, 2021
8:30 am–10:30 am		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)