Skip to content

Commit 37acc4c

Browse files
committed
Adding lecture 5; updating assignment due date
1 parent 0b4a392 commit 37acc4c

File tree

3 files changed

+7
-7
lines changed

3 files changed

+7
-7
lines changed

assignments.html

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -57,7 +57,7 @@ <h2>Assignments</h2>
5757
Please refer to the detailed instruction in each assignment.
5858
</p>
5959
<ul class="assignments">
60-
<li><a href="https://github.com/machine-programming/assignment-1" target="_blank"><strong>Assignment 1:</strong> Enumerative program synthesis</a> <em>(Due: Sep 11, 2025; Late Due: Sep 14, 2025)</em></li>
60+
<li><a href="https://github.com/machine-programming/assignment-1" target="_blank"><strong>Assignment 1:</strong> Enumerative program synthesis</a> <em>(Due: <s>Sep 11, 2025</s> Sep 16, 2025; Late Due: <s>Sep 14, 2025</s> Sep 19, 2025)</em></li>
6161
<li><a href="https://github.com/machine-programming/assignment-2" target="_blank"><strong>Assignment 2:</strong> Evaluating Coding LLMs</a> <em>(Due: Sep 25, 2025; Late Due: Sep 28, 2025)</em></li>
6262
<li><a href="https://github.com/machine-programming/assignment-3" target="_blank"><strong>Assignment 3:</strong> Coding Agents</a> <em>(Due: Oct 9, 2025; Late Due: Oct 12, 2025)</em></li>
6363
</ul>

index.html

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -103,14 +103,14 @@ <h2>Course Calendar</h2>
103103
<td>Sep 2 (Tue)</td><td><a target="_blank" href="lectures/lecture-3.pdf">Type Systems and Top-down Enumerative Synthesis</a></td></tr>
104104
<tr><td>Sep 4 (Thu)</td><td><a target="_blank" href="lectures/lecture-4.pdf">Functional Specifications and Synthesis</a></td></tr>
105105
<tr><td rowspan="2">3</td>
106-
<td>Sep 9 (Tue)</td><td>Lecture (Language Model for Code: Prompting)</td></tr>
107-
<tr><td>Sep 11 (Thu)</td><td>Lecture (Iterative Refinement and Evolutionary Search)</td></tr>
106+
<td>Sep 9 (Tue)</td><td><a target="_blank" href="lectures/lecture-5.pdf">Language Modeling for Synthesis</a></td></tr>
107+
<tr><td>Sep 11 (Thu)</td><td>Prompting and Iterative Refinement for Synthesis</td></tr>
108108
<tr><td rowspan="2">4</td>
109-
<td>Sep 16 (Tue)</td><td>Lecture (Pre-training, Fine-tuning, and Reinforcement Learning for Program Synthesis) | <a target="_blank" href="https://github.com/machine-programming/assignment-1">[Assignment 1 Due]</a></td></tr>
110-
<tr><td>Sep 18 (Thu)</td><td>Lecture (Steering and Constraint Decoding)</td></tr>
109+
<td>Sep 16 (Tue)</td><td>Pre-training, Fine-tuning, and Reinforcement Learning for Synthesis | <a target="_blank" href="https://github.com/machine-programming/assignment-1">[Assignment 1 Due]</a></td></tr>
110+
<tr><td>Sep 18 (Thu)</td><td>Steering and Constraint Decoding for Synthesis</td></tr>
111111
<tr><td rowspan="2">5</td>
112-
<td>Sep 23 (Tue)</td><td>Lecture (Model Context Protocol & Language Server Protocol)</td></tr>
113-
<tr><td>Sep 25 (Thu)</td><td>Lecture (Agentic Programming Frameworks)</td></tr>
112+
<td>Sep 23 (Tue)</td><td>Agentic Programming Framework, MCP, and LSP</td></tr>
113+
<tr><td>Sep 25 (Thu)</td><td>Lecture</td></tr>
114114
<tr><td rowspan="2">6 <br/> Testing</td>
115115
<td>Sep 30 (Tue)</td><td>Lecture</td></tr>
116116
<tr><td>Oct 2 (Thu)</td><td>Lecture</td></tr>

lectures/lecture-5.pdf

2.43 MB
Binary file not shown.

0 commit comments

Comments
 (0)