Topics and Lectures
Topic 0: Overview
Lecture 1: Overview
Lecture 2: Math Preliminaries
Topic 1: Representing Designs
Learning Representations:
Lecture 3: Learning Shape Embeddings
Lecture 4: Learning Templates
Programs:
Lecture 5: DSL Design Decisions
Lecture 6: Automatic DSL design from examples
Topic 2: Instantiating Design Representations and Reverse Engineering to Match Input
Lecture 7: Design Translation
Lecture 8: Program Synthesis
Lecture 9: Neurosymbolic Synthesis
Topic 3: Performance-Driven Design
Lecture 10: Performance-Driven Design
Lecture 11: Multi-Objective Optimization
Lecture 12: Bi-level Optimization
Lecture 13: Design Space Exploration
Lecture 14: More Design Space Exploration
Lecture 15: Constraints
Lecture 16: Hierarchical/Partial Specifications
Note: Lecture slides will be polished and updated throughout the course.