Skip to content

Commit 8058fe4

Browse files
committed
Adding more
1 parent a584038 commit 8058fe4

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

index.html

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -96,12 +96,16 @@ <h2>Course Calendar</h2>
9696
<th>Date</th>
9797
<th>Topic / Event</th>
9898
</tr>
99+
100+
<tr><td colspan="3"><strong>Module 1: Foundations of Programming Languages and Synthesis</strong></td></tr>
99101
<tr><td rowspan="2">1</td>
100102
<td>Aug 26 (Tue)</td><td><a target="_blank" href="lectures/lecture-1.pdf">Overview & Introduction to Synthesis</a></td></tr>
101103
<tr><td>Aug 28 (Thu)</td><td><a target="_blank" href="lectures/lecture-2.pdf">Syntax, Semantics, and Bottom-up Inductive Synthesis</a></td></tr>
102104
<tr><td rowspan="2">2</td>
103105
<td>Sep 2 (Tue)</td><td><a target="_blank" href="lectures/lecture-3.pdf">Type Systems and Top-down Enumerative Synthesis</a></td></tr>
104106
<tr><td>Sep 4 (Thu)</td><td><a target="_blank" href="lectures/lecture-4.pdf">Functional Specifications and Synthesis</a></td></tr>
107+
108+
<tr><td colspan="3"><strong>Module 2: Machine Programming from Language Modeling to Agentic Systems</strong></td></tr>
105109
<tr><td rowspan="2">3</td>
106110
<td>Sep 9 (Tue)</td><td><a target="_blank" href="lectures/lecture-5.pdf">Language Modeling for Synthesis</a></td></tr>
107111
<tr><td>Sep 11 (Thu)</td><td><a target="_blank" href="lectures/lecture-6.pdf">Decoding and Prompting for Synthesis</a></td></tr>
@@ -118,11 +122,13 @@ <h2>Course Calendar</h2>
118122
<tr><td rowspan="2">7</td>
119123
<td>Oct 7 (Tue)</td><td>Lecture</td></tr>
120124
<tr><td>Oct 9 (Thu)</td><td>Lecture</td></tr>
125+
126+
<tr><td colspan="3"><strong>Module 3: Applications of Machine Programming</strong></td></tr>
121127
<tr><td rowspan="2">8</td>
122128
<td>Oct 14 (Tue)</td><td>Lecture</td></tr>
123129
<tr><td>Oct 16 (Thu)</td><td>(Holiday, no class)</td></tr>
124130
<tr><td rowspan="2">9</td>
125-
<td>Oct 21 (Tue)</td><td>Lecture</td></tr>
131+
<td>Oct 21 (Tue)</td><td>Lecture | <a target="_blank" href="https://github.com/machine-programming/assignment-3">[Assignment 3 Due]</a></td></tr>
126132
<tr><td>Oct 23 (Thu)</td><td>Lecture</td></tr>
127133
<tr><td rowspan="2">10</td>
128134
<td>Oct 28 (Tue)</td><td>Lecture</td></tr>

0 commit comments

Comments
 (0)