Synthesis of Models and Systems

Program

Theoretical Foundations of Computer Systems

Location

Zoom webinar

Date

Monday, May 10, 2021

Back to calendar

8:30 – 10:30 a.m.

Reactive Synthesis

Bernd Finkbeiner (CISPA Helmholtz Center for Information Security)

8:30 – 10:30 a.m.

Syntax-Guided Program Synthesis

Rajeev Alur (University of Pennsylvania)

8:30 – 9 a.m.

Data-Driven Inference of Representation Invariants

Todd Millstein (UCLA)

9 – 9:10 a.m.

Q&A

9:10 – 9:40 a.m.

CounterExample Guided Inductive Synthesis Modulo Theories

Elizabeth Polgreen (University of Edinburgh)

9:40 – 9:50 a.m.

Q&A

9:50 – 10:10 a.m.

Syntax-Guided Synthesis in SMT: A View from Inside the Solver

Andrew J. Reynolds (University of Iowa)

10:10 – 10:20 a.m.

Q&A

10:20 – 10:25 a.m.

Neural Network guided Grammar Filtering For Syntax-Guided Synthesis

Mark Santolucito (Barnard College)

10:25 – 10:30 a.m.

Q&A

6 a.m. PT

Reactive Synthesis - Current and Future Directions

8:30 – 9 a.m.

Shield Synthesis for Safe Reinforcement Learning

Roderick Bloem (IAIK)

9 – 9:20 a.m.

Reconfigurable Interaction for MAS Modeling

Nir Piterman (University of Gothenberg)

9:20 – 9:40 a.m.

Control Synthesis and its Magical Futures

Anna Lukina (IST Austria)

9:40 – 10 a.m.

Synthesizing Approximate Implementations for Reactive Systems

Hazem Torfah (UC Berkeley)

10 – 10:20 a.m.

Synthesis of Coordination Programs from Linear Temporal Specifications

Suguman Bansal (University of Pennsylvania)

10:20 – 10:30 a.m.

Synthesis of Functional Reactive Programs via a Reduction of Asynchronous Inputs to Lists

Julie Newcomb (University of Washington)

8:30 – 10:30 a.m.

A Brief Introduction to Theoretical Foundations of Machine Learning and Machine Teaching

Jerry Zhu (University of Wisconsin-Madison)

9 – 9:30 a.m.

Liquid Time Constant Networks

Ramin Hasani (MIT)

9:30 – 10 a.m.

Program Synthesis via Deep Learning over Graph Structured Data

Mayur Naik (University of Pennsylvania)

10 – 10:30 a.m.

Dreamcoder: Bootstrapping Inductive Program Synthesis With Wake-Sleep Library Learning

Kevin Ellis (Cornell)

8:30 – 9 a.m.

Formal Synthesis: Oracle-guided Learning of Compositional Concepts

Susmit Jha (SRI)

9 – 9:30 a.m.

On Optimal Collusion-Free Teaching

Sandra Zilles (University of Regina)

9:30 – 10 a.m.

Towards a Theory of Learning Inductive Invariants

Yotam Feldman (Tel Aviv University)

10 – 10:30 a.m.

Inferring Specifications From Demonstrations; A Maximum (Causal) Entropy Approach

Marcell Vazquez-Chanlatte (UC Berkeley)

8:30 – 9 a.m.

Guarantees in Syntax-Guided Synthesis

Loris D'Antoni (University of Wisconsin-Madison)

9 – 9:30 a.m.

Counterexample-guided Repair in Boolean Functional Synthesis

Supratik Chakraborty (IIT Bombay)

9:30 – 10 a.m.

Visualization By Example

Chenglong Wang (University of Washington)

10 – 10:30 a.m.

Counterexample Guided Inference of Modular Specifications

Bill Hallahan (Yale University)

8:30 – 9 a.m.

Towards the Automated Synthesis of Probabilistic Programs

Joost-Pieter Katoen (RWTH Aachen University)

9 – 9:30 a.m.

Synthesis of Safe, Small and Optimal Strategies for Cyber-Physical Systems

Kim Larsen (Aalborg University)

9:30 – 10 a.m.

Automated Verification and Control Synthesis for CPS Models

Alessandro Abate (University of Oxford)

10 – 10:30 a.m.

Synthesizing Randomized Systems with Algorithmic Improvisation

Daniel Fremont (UC Santa Cruz)

8:30 – 9 a.m.

Optimization-based Formal Synthesis of Control Strategies for Dynamical Systems

Calin Belta (Boston University)

9 – 9:30 a.m.

Synthesis for Correctness Is Not Enough: How to Specify, Verify, and Synthesize Robust Systems

Paulo Tabuada (UCLA)

9:30 – 10 a.m.

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

Necmiye Ozay (University of Michigan)

10 – 10:30 a.m.

Provably Correct Training of Neural Network Controllers

Yasser Shoukry (UC Irvine)

8:30 – 9 a.m.

Synthesizing Network Configuration Updates

Nate Foster (Cornell)

9 – 9:30 a.m.

Using Program Synthesis to Build Compilers

Alvin Cheung (UC Berkeley)

9:30 – 10 a.m.

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

Chao Wang (University of Southern California)

10 – 10:30 a.m.

Managing Data Plane Diversity with Control Plane Synthesis

Eric Hayden Campbell (Cornell)

8:30 – 10:30 a.m.

Panel Discussion on Challenges and Opportunities in Synthesis

Ezio Bartocci (TU Wien),
Sumit Gulwani (Microsoft),
Hadas Kress-Gazit (Cornell),
Orna Kupferman (Hebrew University),
Armando Solar-Lezama (MIT)