Schedule (tentative)


Notes:
  • Important dates are marked in red, bold text, such as release/due for assignments, paper reviews, proposal, and reports.
  • Lectures, presentations, and discussions are marked in bold text.
  • Canceled classes/discussions are crossed out.
  • Lectures are in-person but you may also attend live via zoom. See "Location" in the schedule for details.
  • Presentations can be either in-person or via zoom. Details forthcoming.
  • All discussion sections are remote. Some of them will be convereted to office hours.


    • Week 1
    8/31, Tue. Lecture: Course overview (slides)
    Location: in-person (DOW 1010) and remote (zoom)
    Resources: Podcast, [Gottschlich18], [Gulwani17] Chapter 1, [Gulwani10]
    8/31, Tue. A0 out
    9/2, Thur. Lecture: Introduction to program synthesis, Syntax-Guided Synthesis, Context-Free Grammars (slides)
    Location: in-person (DOW 1010) and remote (zoom)
    Resources: [Alur18], [Alur13]
    9/3, Fri. Discussion Office Hour
    Location: remote (https://oh.eecs.umich.edu/courses/eecs-498-598-008)
    Week 2
    9/6, Mon. A0 due midnight, A1 out
    9/7, Tue. Lecture: Inductive synthesis, domain-specific languages, abstract syntax trees, overview of search techniques (slides)
    Resources: Solar-Lezama's IPS Lectures 2-4, [Gulwani17] Chapter 4
    Location: in-person (DOW 1010) and remote (zoom)
    9/9, Thur. Lecture: SAT/SMT solving, Part 1 (slides)
    Resources: Dillig's ALR Lectures 1, 6-7, 10-13, Solar-Lezama's IPS Lecture 14, Rosen Chapter 1
    Location: in-person (DOW 1010) and remote (zoom)
    9/10, Fri. Discussion: A1 walk-through and brief tutorial on Z3
    Location: remote (zoom)
    Week 3
    9/14, Tue. Lecture: SAT/SMT solving, Part 2 (slides)
    Resources: Dillig's ALR Lectures 1, 6-7, 10-13, Solar-Lezama's IPS Lecture 14, Rosen Chapter 1
    Location: in-person (DOW 1010) and remote (zoom)
    9/14, Tue. A1 due midnight, A2 out
    9/16, Thur. Lecture: Deduction-based pruning, observational equivalence reduction (slides)
    Resources: [Feng17], [Feser15], [Albarghouthi13], [Udupa13]
    Location: in-person (DOW 1010) and remote (zoom)
    9/17, Fri. Discussion Office Hour
    Location: remote (https://oh.eecs.umich.edu/courses/eecs-498-598-008)
    Week 4
    9/20, Mon. CFPP out
    9/21, Tue. Lecture: Search prioritization (slides)
    Resources: Polikarpova's PS Lecture 4, [Balog17], [Raychev14], [Lee18]
    Location: in-person (DOW 1010) and remote (zoom)
    9/23, Thur. Lecture: Morpheus paper (slides)
    Resources: [Feng17]
    Location: in-person (DOW 1010) and remote (zoom)
    9/24, Fri. Discussion: A2 walk-through
    Location: remote (zoom)
    Week 5
    9/27, Mon. A2 due midnight, A3 out
    9/28, Tue. Lecture: Overview of papers for presentations (slides)
    Resources: How to Design Talks by Professor Ranjit Jhala, How to Give Talks That People Can Follow by Professor Derek Dreyer
    Location: in-person (DOW 1010) and remote (zoom)
    9/28, Tue. CFP out
    9/29, Wed. CFPP due midnight
    9/30, Thur. Lecture: Generalization, interactive program synthesis, multi-modal program synthesis (slides)
    Resources: [Mayer15], [Ji20], [Chen20], [Zhang20], [Zhang21]
    Location: in-person (DOW 1010) and remote (zoom)
    9/30, Thur. Paper presentation assignment out
    10/1, Fri. Discussion: A3 walk-through
    Location: remote (zoom)
    Week 6
    10/5, Tue. Lecture: Counter-Example Guided Inductive Synthesis (CEGIS) (slides)
    Resources: Solar-Lezama's IPS Lecture 10, Solar-Lezama's PhD thesis
    Location: in-person (DOW 1010) and remote (zoom)
    10/6, Wed. A3 due midnight
    10/7, Thur. Lecture Office Hour
    Location: https://oh.eecs.umich.edu/courses/eecs-498-598-008
    10/8, Fri. Discussion: paper presentations
    Location: zoom
    Week 7
    10/11, Mon. Paper review due noon
    10/12, Tue. Presentation: Visualization by Example
    Speaker: Jinyi Wu
    Location: in-person (DOW 1010) and remote (zoom)
    10/13, Wed. Paper review due noon
    10/14, Thur. Presentation: Multi-Modal Synthesis of Regular Expressions
    Speaker: Andrew Fong
    Location: in-person (DOW 1010) and remote (zoom)
    10/15, Fri. Discussion: paper presentations
    Location: zoom
    10/15, Fri. Final Project Proposal due midnight
    Week 8
    10/19, Tue. No Class: Fall Study Break
    10/20, Wed. Paper review due noon
    10/21, Thur. Presentation: TF-Coder: Program Synthesis for Tensor Manipulations
    Speakers: Bumsik Kim and Patrick Sherry
    Location: in-person (DOW 1010) and remote (zoom)
    10/22, Fri. Discussion: paper presentations
    Location: zoom
    Week 9
    10/25, Mon. Paper review due noon
    10/26, Tue. Presentation: DIY Assistant: A Multi-Modal End-User Programmable Virtual Assistant
    Speakers: Sean Lee and Junhwan Kim
    Location: in-person (DOW 1010) and remote (zoom)
    10/27, Wed. Paper review due noon
    10/28, Thur. Presentation: SQLizer: Query Synthesis from Natural Language
    Speaker: Lingxiao Guan
    Location: in-person (DOW 1010) and remote (zoom)
    10/29, Fri. Discussion: paper presentations
    Location: zoom
    10/29, Fri. Final Project Checkpoint 1 Report due midnight
    Week 10
    11/1, Mon. Paper review due noon
    11/2, Tue. Presentation: LooPy:Interactive Program Synthesis with Control Structures
    Speaker: Yifan Pei
    Location: in-person (DOW 1010) and remote (zoom)
    11/3, Wed. Paper review due noon
    11/4, Thur. Presentation: Synthesis of Web Layouts from Examples
    Speaker: Jaehyun Shim
    Location: in-person (DOW 1010) and remote (zoom)
    11/5, Fri. Discussion: paper presentations
    Location: zoom
    Week 11
    11/8, Mon. Paper review due noon
    11/9, Tue. Presentation: Question Selection for Interactive Program Synthesis
    Speaker: Anthony Ke
    Location: in-person (DOW 1010) and remote (zoom)
    11/10, Wed. Paper review due noon
    11/11, Thur. Presentation: Semantics-Guided Synthesis
    Speaker: Andrew Wintenberg
    Location: in-person (DOW 1010) and remote (zoom)
    11/12, Fri. Discussion: paper presentations
    Location: zoom
    Week 12
    11/15, Mon. Paper review due noon
    11/16, Tue. Presentation: DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
    Speaker: Sean Anderson
    Location: in-person (DOW 1010) and remote (zoom)
    11/18, Thur. No Class: Work on Final Project Checkpoint 2 Report
    11/19, Fri. No Discussion: Work on Final Project Checkpoint 2 Report
    11/19, Fri. Final Project Checkpoint 2 Report due midnight
    Week 13
    11/23, Tue. No Class: Thanksgiving
    11/25, Thur. No Class: Thanksgiving
    11/26, Fri. No Discussion: Thanksgiving
    Week 14
    11/29, Mon. Paper review due noon
    11/30, Tue. Presentation: egg: Fast and Extensible Equality Saturation
    Speakers: Minhao Li and Rui Dong
    Location: in-person (DOW 1010) and remote (zoom)
    12/1, Wed. Paper review due noon
    12/2, Thur. Presentation: An Inductive Synthesis Framework for Verifiable Reinforcement Learning
    Speaker: Yiwei Fu
    Location: in-person (DOW 1010) and remote (zoom)
    12/3, Fri. No Discussion: Work on Final Project Presentation
    Week 15
    12/7, Tue. Final Project Presentation
    3:00-3:15: Patrick Sherry and Bumsik Kim
    3:15-3:30: Yiming Luo and Lingxiao Guan
    3:30-3:45: Minhao Li
    3:45-4:00: Andrew Wintenberg
    4:00-4:15: Rui Dong
    12/9, Thur. Final Project Presentation
    3:00-3:15: Anthony Weihao Ke and Andrew Fong
    3:15-3:30: Yifan Pei and Jinyi Wu
    3:30-3:45: Sean Anderson and Yiwei Fu
    3:45-4:00: Jaehyun Shim, Sean Lee, Junhwan Kim
    12/10, Fri. No Discussion: Work on Final Project Report
    Week 16
    12/17, Fri. Final Project Report due midnight