|
1 |
Introduction to intelligent programming techniques.
|
|
2 |
Intelligent programming synthesis.
|
|
3 |
Interactive programming synthesis.
|
|
4 |
Multi-modal programming synthesis.
|
|
5 |
Counter-example guided inductive synthesis.
|
|
6 |
Synthesis of regular expressions.
|
|
7 |
Programming synthesis for tensor manipulations.
|
|
8 |
Midterm exam
|
|
9 |
Intelligent programming project development.
|
|
10 |
Query synthesis from natural language.
|
|
11 |
Synthesis of web layouts.
|
|
12 |
Semantics-guided synthesis.
|
|
13 |
Inductive programming synthesis.
|
|
14 |
Final Project.
|
|
15 |
|
|
16 |
|
|
17 |
|
|
18 |
|
|
19 |
|
|
20 |
|