Skip to content

Commit f7d5a63

Browse files
committed
Updating more information
1 parent d95337d commit f7d5a63

File tree

6 files changed

+126
-24
lines changed

6 files changed

+126
-24
lines changed

assignment1.html

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
<!DOCTYPE html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="UTF-8">
5+
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6+
<title>Assignment 1 - Machine Programming</title>
7+
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.3/dist/css/bootstrap.min.css" rel="stylesheet">
8+
<link rel="stylesheet" href="css/styles.css">
9+
</head>
10+
<body>
11+
<header>
12+
<h1>Assignment 1: Traditional program synthesis</h1>
13+
<p>Johns Hopkins University &mdash; Fall 2025</p>
14+
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> ziyang@cs.jhu.edu</p>
15+
</header>
16+
<nav>
17+
<a href="index.html">Home</a>
18+
<a href="assignments.html">Assignments</a>
19+
<a href="index.html#calendar">Calendar</a>
20+
</nav>
21+
<main>
22+
<section>
23+
<h2>Assignment Details</h2>
24+
<p>Details for Assignment 1 will be provided here.</p>
25+
</section>
26+
</main>
27+
</body>
28+
</html>

assignment2.html

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
<!DOCTYPE html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="UTF-8">
5+
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6+
<title>Assignment 2 - Machine Programming</title>
7+
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.3/dist/css/bootstrap.min.css" rel="stylesheet">
8+
<link rel="stylesheet" href="css/styles.css">
9+
</head>
10+
<body>
11+
<header>
12+
<h1>Assignment 2: Evaluating LLMs on program synthesis</h1>
13+
<p>Johns Hopkins University &mdash; Fall 2025</p>
14+
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> ziyang@cs.jhu.edu</p>
15+
</header>
16+
<nav>
17+
<a href="index.html">Home</a>
18+
<a href="assignments.html">Assignments</a>
19+
<a href="index.html#calendar">Calendar</a>
20+
</nav>
21+
<main>
22+
<section>
23+
<h2>Assignment Details</h2>
24+
<p>Details for Assignment 2 will be provided here.</p>
25+
</section>
26+
</main>
27+
</body>
28+
</html>

assignment3.html

Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
<!DOCTYPE html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="UTF-8">
5+
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6+
<title>Assignment 3 - Machine Programming</title>
7+
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.3/dist/css/bootstrap.min.css" rel="stylesheet">
8+
<link rel="stylesheet" href="css/styles.css">
9+
</head>
10+
<body>
11+
<header>
12+
<h1>Assignment 3: Iterative program synthesis</h1>
13+
<p>Johns Hopkins University &mdash; Fall 2025</p>
14+
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> ziyang@cs.jhu.edu</p>
15+
</header>
16+
<nav>
17+
<a href="index.html">Home</a>
18+
<a href="assignments.html">Assignments</a>
19+
<a href="index.html#calendar">Calendar</a>
20+
</nav>
21+
<main>
22+
<section>
23+
<h2>Assignment Details</h2>
24+
<p>Details for Assignment 3 will be provided here.</p>
25+
</section>
26+
</main>
27+
</body>
28+
</html>

assignments.html

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@
1111
<header>
1212
<h1>Machine Programming</h1>
1313
<p>Johns Hopkins University &mdash; Fall 2025</p>
14+
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> ziyang@cs.jhu.edu</p>
1415
</header>
1516
<nav>
1617
<a href="index.html">Home</a>
@@ -21,8 +22,9 @@ <h1>Machine Programming</h1>
2122
<section>
2223
<h2>Assignments</h2>
2324
<ul class="assignments">
24-
<li><strong>Assignment 1:</strong> [Title/Description] <em>(Due: [Due Date])</em></li>
25-
<!-- Add more assignments as needed -->
25+
<li><a href="assignment1.html"><strong>Assignment 1:</strong> Traditional program synthesis</a> <em>(Due: TBD)</em></li>
26+
<li><a href="assignment2.html"><strong>Assignment 2:</strong> Evaluating LLMs on program synthesis</a> <em>(Due: TBD)</em></li>
27+
<li><a href="assignment3.html"><strong>Assignment 3:</strong> Iterative program synthesis</a> <em>(Due: TBD)</em></li>
2628
</ul>
2729
</section>
2830
</main>

css/styles.css

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@ nav { background: #00509e; padding: 0.5rem 0; text-align: center; }
44
nav a { color: #fff; margin: 0 1.5rem; text-decoration: none; font-weight: bold; }
55
nav a:hover { text-decoration: underline; }
66
main { max-width: 900px; margin: 2rem auto; background: #fff; padding: 2rem; border-radius: 8px; box-shadow: 0 2px 8px rgba(0,0,0,0.05); }
7-
h1, h2 { color: #003366; }
87
table.calendar { width: 100%; border-collapse: collapse; margin-top: 1.5rem; }
98
table.calendar th, table.calendar td { border: 1px solid #ccc; padding: 0.5rem; text-align: center; }
109
table.calendar th { background: #e3eafc; }

index.html

Lines changed: 38 additions & 21 deletions
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,13 @@
33
<head>
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6-
<title>Machine Programming - Fall 2025</title>
6+
<title>EN.601.727 Machine Programming (3 credits) - Fall 2025</title>
77
<link href="https://cdn.jsdelivr.net/npm/bootstrap@5.3.3/dist/css/bootstrap.min.css" rel="stylesheet">
88
<link rel="stylesheet" href="css/styles.css">
99
</head>
1010
<body>
1111
<header>
12-
<h1>Machine Programming</h1>
12+
<h1>EN.601.727 Machine Programming</h1>
1313
<p>Johns Hopkins University &mdash; Fall 2025</p>
1414
</header>
1515
<nav>
@@ -21,6 +21,8 @@ <h1>Machine Programming</h1>
2121
<section>
2222
<h2>Course Information</h2>
2323
<ul class="info-list">
24+
<li><strong>Course Number:</strong> EN.601.727</li>
25+
<li><strong>Credits:</strong> 3</li>
2426
<li><strong>Instructor:</strong> Ziyang Li</li>
2527
<li><strong>Email:</strong> ziyang@cs.jhu.edu</li>
2628
<li><strong>Time:</strong> Tuesday and Thursday 12:00pm - 1:15pm</li>
@@ -54,9 +56,9 @@ <h2>Grading Rubrics</h2>
5456
<ol>
5557
<li>(20%) Class participation and active discussion</li>
5658
<li>(15%) Oral presentation</li>
57-
<li>(10%) Assignment 1: Traditional program synthesis</li>
58-
<li>(10%) Assignment 2: Evaluating LLMs on program synthesis</li>
59-
<li>(10%) Assignment 3: Iterative program synthesis</li>
59+
<li>(10%) <a href="assignment1.html">Assignment 1: Traditional program synthesis</a></li>
60+
<li>(10%) <a href="assignment2.html">Assignment 2: Evaluating LLMs on program synthesis</a></li>
61+
<li>(10%) <a href="assignment3.html">Assignment 3: Iterative program synthesis</a></li>
6062
<li>(35%) Final Project including proposal, report, and presentation</li>
6163
</ol>
6264
</section>
@@ -65,24 +67,39 @@ <h2>Course Calendar</h2>
6567
<table class="calendar">
6668
<tr>
6769
<th>Week</th>
68-
<th>Dates</th>
70+
<th>Date</th>
6971
<th>Topic / Event</th>
7072
</tr>
71-
<tr><td>1</td><td>Aug 26, Aug 28</td><td>Introduction & Syllabus</td></tr>
72-
<tr><td>2</td><td>Sep 2, Sep 4</td><td>Lecture</td></tr>
73-
<tr><td>3</td><td>Sep 9, Sep 11</td><td>Lecture</td></tr>
74-
<tr><td>4</td><td>Sep 16, Sep 18</td><td>Assignment 1 Released</td></tr>
75-
<tr><td>5</td><td>Sep 23, Sep 25</td><td>Lecture</td></tr>
76-
<tr><td>6</td><td>Sep 30, Oct 2</td><td>Lecture</td></tr>
77-
<tr><td>7</td><td>Oct 7, Oct 9</td><td>Assignment 1 Due / Assignment 2 Released</td></tr>
78-
<tr><td>8</td><td>Oct 14, Oct 16</td><td>Lecture</td></tr>
79-
<tr><td>9</td><td>Oct 21, Oct 23</td><td>Lecture</td></tr>
80-
<tr><td>10</td><td>Oct 28, Oct 30</td><td>Assignment 2 Due / Assignment 3 Released</td></tr>
81-
<tr><td>11</td><td>Nov 4, Nov 6</td><td>Lecture</td></tr>
82-
<tr><td>12</td><td>Nov 11, Nov 13</td><td>Lecture</td></tr>
83-
<tr><td>13</td><td>Nov 18, Nov 20</td><td>Assignment 3 Due / Project Proposal Due</td></tr>
84-
<tr><td>14</td><td>Nov 25, Nov 27</td><td>Lecture (Nov 27: Thanksgiving, no class)</td></tr>
85-
<tr><td>15</td><td>Dec 2, Dec 4</td><td>Final Project Presentations</td></tr>
73+
<tr><td rowspan="2">1</td><td>Aug 26 (Tue)</td><td>Introduction & Syllabus</td></tr>
74+
<tr><td>Aug 28 (Thu)</td><td>Introduction & Syllabus</td></tr>
75+
<tr><td rowspan="2">2</td><td>Sep 2 (Tue)</td><td>Lecture</td></tr>
76+
<tr><td>Sep 4 (Thu)</td><td>Lecture</td></tr>
77+
<tr><td rowspan="2">3</td><td>Sep 9 (Tue)</td><td>Lecture</td></tr>
78+
<tr><td>Sep 11 (Thu)</td><td>Lecture</td></tr>
79+
<tr><td rowspan="2">4</td><td>Sep 16 (Tue)</td><td>Assignment 1 Released</td></tr>
80+
<tr><td>Sep 18 (Thu)</td><td>Lecture</td></tr>
81+
<tr><td rowspan="2">5</td><td>Sep 23 (Tue)</td><td>Lecture</td></tr>
82+
<tr><td>Sep 25 (Thu)</td><td>Lecture</td></tr>
83+
<tr><td rowspan="2">6</td><td>Sep 30 (Tue)</td><td>Lecture</td></tr>
84+
<tr><td>Oct 2 (Thu)</td><td>Lecture</td></tr>
85+
<tr><td rowspan="2">7</td><td>Oct 7 (Tue)</td><td>Assignment 1 Due / Assignment 2 Released</td></tr>
86+
<tr><td>Oct 9 (Thu)</td><td>Lecture</td></tr>
87+
<tr><td rowspan="2">8</td><td>Oct 14 (Tue)</td><td>Lecture</td></tr>
88+
<tr><td>Oct 16 (Thu)</td><td>Lecture</td></tr>
89+
<tr><td rowspan="2">9</td><td>Oct 21 (Tue)</td><td>Lecture</td></tr>
90+
<tr><td>Oct 23 (Thu)</td><td>Lecture</td></tr>
91+
<tr><td rowspan="2">10</td><td>Oct 28 (Tue)</td><td>Assignment 2 Due / Assignment 3 Released</td></tr>
92+
<tr><td>Oct 30 (Thu)</td><td>Lecture</td></tr>
93+
<tr><td rowspan="2">11</td><td>Nov 4 (Tue)</td><td>Lecture</td></tr>
94+
<tr><td>Nov 6 (Thu)</td><td>Lecture</td></tr>
95+
<tr><td rowspan="2">12</td><td>Nov 11 (Tue)</td><td>Lecture</td></tr>
96+
<tr><td>Nov 13 (Thu)</td><td>Lecture</td></tr>
97+
<tr><td rowspan="2">13</td><td>Nov 18 (Tue)</td><td>Assignment 3 Due / Project Proposal Due</td></tr>
98+
<tr><td>Nov 20 (Thu)</td><td>Lecture</td></tr>
99+
<tr><td rowspan="2">14</td><td>Nov 25 (Tue)</td><td>Lecture</td></tr>
100+
<tr><td>Nov 27 (Thu)</td><td>Thanksgiving (no class)</td></tr>
101+
<tr><td rowspan="2">15</td><td>Dec 2 (Tue)</td><td>Final Project Presentations</td></tr>
102+
<tr><td>Dec 4 (Thu)</td><td>Final Project Presentations</td></tr>
86103
</table>
87104
</section>
88105
</main>

0 commit comments

Comments
 (0)