Updating calendar

Author: Liby99

index.html

@@ -157,37 +157,37 @@ <h2>Course Calendar</h2>
 
                 <tr><td colspan="3"><strong>Module 1: Foundations of Programming Languages and Synthesis</strong></td></tr>
                 <tr><td rowspan="2">1</td>
-                    <td>Aug 26 (Tue)</td><td><a target="_blank" href="lectures/lecture-1.pdf">Overview & Introduction to Synthesis</a></td></tr>
+                    <td>Aug 26 (Tue)</td><td><a target="_blank" href="lectures/lecture-1.pdf">Overview & Introduction to Machine Programming</a></td></tr>
                 <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>
                 <tr><td rowspan="2">2</td>
                     <td>Sep 2 (Tue)</td><td><a target="_blank" href="lectures/lecture-3.pdf">Type Systems and Top-down Enumerative Synthesis</a></td></tr>
                 <tr><td>Sep 4 (Thu)</td><td><a target="_blank" href="lectures/lecture-4.pdf">Functional Specifications and Synthesis</a></td></tr>
 
-                <tr><td colspan="3"><strong>Module 2: Machine Programming from Language Modeling to Agentic Systems</strong></td></tr>
+                <tr><td colspan="3"><strong>Module 2: Coding Large Language Models</strong></td></tr>
                 <tr><td rowspan="2">3</td>
                     <td>Sep 9 (Tue)</td><td><a target="_blank" href="lectures/lecture-5.pdf">Language Modeling for Synthesis</a></td></tr>
                 <tr><td>Sep 11 (Thu)</td><td><a target="_blank" href="lectures/lecture-6.pdf">Decoding and Prompting for Synthesis</a></td></tr>
                 <tr><td rowspan="2">4</td>
                     <td>Sep 16 (Tue)</td><td><a target="_blank" href="lectures/lecture-7.pdf">Iterative Refinement with Feedback</a> | <a target="_blank" href="https://github.com/machine-programming/assignment-1">[Assignment 1 Due]</a></td></tr>
-                <tr><td>Sep 18 (Thu)</td><td><a target="_blank" href="lectures/lecture-8.pdf">Controlled Decoding and Steering</a></td></tr>
+                <tr><td>Sep 18 (Thu)</td><td><a target="_blank" href="lectures/lecture-8.pdf">Controlled Decoding for Synthesis</a></td></tr>
                 <tr><td rowspan="2">5</td>
-                    <td>Sep 23 (Tue)</td><td><a target="_blank" href="lectures/lecture-9.pdf">Agentic Frameworks and Model Context Protocol</a></td></tr>
+                    <td>Sep 23 (Tue)</td><td><a target="_blank" href="lectures/lecture-9.pdf">Agentic Frameworks for Programming (1)</a></td></tr>
                 <tr><td>Sep 25 (Thu)</td><td>(Skipped)</td></tr>
                 <tr><td rowspan="3">6</td>
-                    <td>Sep 30 (Tue)</td><td><a target="_blank" href="lectures/lecture-10.pdf">Agentic Frameworks for Software Development</a></td></tr>
-                <tr><td>Oct 2 (Thu)</td><td><a target="_blank" href="lectures/lecture-11.pdf">Agentic Frameworks for Software Development (2)</a></td></tr>
+                    <td>Sep 30 (Tue)</td><td><a target="_blank" href="lectures/lecture-10.pdf">Agentic Frameworks for Programming (2)</a></td></tr>
+                <tr><td>Oct 2 (Thu)</td><td><a target="_blank" href="lectures/lecture-11.pdf">Agentic Frameworks for Programming (3)</a></td></tr>
                 <tr><td>Oct 5 (Sun)</td><td><a target="_blank" href="https://github.com/machine-programming/assignment-2">[Assignment 2 Due]</a></td></tr>
                 <tr><td rowspan="2">7</td>
-                    <td>Oct 7 (Tue)</td><td><a target="_blank" href="lectures/lecture-12.pdf">Pre-training of Coding LLMs: Architecture, Dataset, and Learning</a></td></tr>
-                <tr><td>Oct 9 (Thu)</td><td><a target="_blank" href="lectures/lecture-13.pdf">Pre-training and Evaluation of Coding LLMs: Fine-tuning and Reinforcement Learning</a></td></tr>
-
-                <tr><td colspan="3"><strong>Module 3: Applications of Machine Programming</strong></td></tr>
+                    <td>Oct 7 (Tue)</td><td><a target="_blank" href="lectures/lecture-12.pdf">Pre-training of Coding LLMs (1): Architecture and Dataset</a></td></tr>
+                <tr><td>Oct 9 (Thu)</td><td><a target="_blank" href="lectures/lecture-13.pdf">Pre-training of Coding LLMs (2): Learning and Evaluation</a></td></tr>
                 <tr><td rowspan="2">8</td>
-                    <td>Oct 14 (Tue)</td><td>Lecture</td></tr>
+                    <td>Oct 14 (Tue)</td><td><a target="_blank" href="lectures/lecture-14.pdf">Post-training of Coding LLMs: Fine-tuning and Reinforcement Learning</a></td></tr>
                 <tr><td>Oct 16 (Thu)</td><td>(Holiday, no class)</td></tr>
+
+                <tr><td colspan="3"><strong>Module 3: Applications of Machine Programming</strong></td></tr>
                 <tr><td rowspan="2">9</td>
-                    <td>Oct 21 (Tue)</td><td>Lecture | <a target="_blank" href="https://github.com/machine-programming/assignment-3">[Assignment 3 Due]</a></td></tr>
-                <tr><td>Oct 23 (Thu)</td><td>Lecture</td></tr>
+                    <td>Oct 21 (Tue)</td><td>Lecture</td></tr>
+                <tr><td>Oct 23 (Thu)</td><td>Lecture | <a target="_blank" href="https://github.com/machine-programming/assignment-3">[Assignment 3 Due]</a></td></tr>
                 <tr><td rowspan="2">10</td>
                     <td>Oct 28 (Tue)</td><td>Lecture</td></tr>
                 <tr><td>Oct 30 (Thu)</td><td>Lecture</td></tr>