Skip to content

Commit 542b2c5

Browse files
Liby99Liby99
committed
Adding project page
1 parent b0a9a63 commit 542b2c5

File tree

8 files changed

+398
-78
lines changed

8 files changed

+398
-78
lines changed

‎assignment1.html‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6-
<title>EN.601.727 Machine Programming</title>
6+
<title>Assignment 1 - Machine Programming - 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>
@@ -15,8 +15,9 @@ <h1>Assignment 1: Enumerative program synthesis</h1>
1515
</header>
1616
<nav>
1717
<a href="index.html">Home</a>
18-
<a href="assignments.html">Assignments</a>
18+
<a href="assignments.html" class="active">Assignments</a>
1919
<a href="readings.html">Readings</a>
20+
<a href="project.html">Final Project</a>
2021
<a href="index.html#calendar">Calendar</a>
2122
</nav>
2223
<main>

‎assignment2.html‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6-
<title>EN.601.727 Machine Programming</title>
6+
<title>Assignment 2 - Machine Programming - 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>
@@ -15,8 +15,9 @@ <h1>Assignment 2: Evaluating LLMs on program synthesis</h1>
1515
</header>
1616
<nav>
1717
<a href="index.html">Home</a>
18-
<a href="assignments.html">Assignments</a>
18+
<a href="assignments.html" class="active">Assignments</a>
1919
<a href="readings.html">Readings</a>
20+
<a href="project.html">Final Project</a>
2021
<a href="index.html#calendar">Calendar</a>
2122
</nav>
2223
<main>

‎assignment3.html‎

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6-
<title>EN.601.727 Machine Programming</title>
6+
<title>Assignment 3 - Machine Programming - 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>
@@ -15,8 +15,9 @@ <h1>Assignment 3: Iterative program synthesis</h1>
1515
</header>
1616
<nav>
1717
<a href="index.html">Home</a>
18-
<a href="assignments.html">Assignments</a>
18+
<a href="assignments.html" class="active">Assignments</a>
1919
<a href="readings.html">Readings</a>
20+
<a href="project.html">Final Project</a>
2021
<a href="index.html#calendar">Calendar</a>
2122
</nav>
2223
<main>
@@ -26,4 +27,4 @@ <h2>Assignment Details</h2>
2627
</section>
2728
</main>
2829
</body>
29-
</html>
30+
</html>

‎assignments.html‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6-
<title>Assignments - EN.601.727 Machine Programming</title>
6+
<title>Assignments - Machine Programming - 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>
@@ -15,8 +15,9 @@ <h1>EN.601.727 Machine Programming</h1>
1515
</header>
1616
<nav>
1717
<a href="index.html">Home</a>
18-
<a href="assignments.html">Assignments</a>
18+
<a href="assignments.html" class="active">Assignments</a>
1919
<a href="readings.html">Readings</a>
20+
<a href="project.html">Final Project</a>
2021
<a href="index.html#calendar">Calendar</a>
2122
</nav>
2223
<main>

‎css/styles.css‎

Lines changed: 85 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,85 @@
1-
body { background: #f8f9fa; }
2-
header { background: #003366; color: #fff; padding: 3.5rem 0; text-align: center; }
3-
nav { background: #00509e; padding: 0.5rem 0; text-align: center; }
4-
nav a { color: #fff; margin: 0 1.5rem; text-decoration: none; font-weight: bold; }
5-
nav a:hover { text-decoration: underline; }
6-
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-
table.calendar { width: 100%; border-collapse: collapse; margin-top: 1.5rem; }
8-
table.calendar th, table.calendar td { border: 1px solid #ccc; padding: 0.5rem; text-align: center; }
9-
table.calendar th { background: #e3eafc; }
10-
.info-list { list-style: none; padding: 0; }
11-
.info-list li { margin-bottom: 0.5rem; }
12-
ul.assignments { padding-left: 1.2rem; }
1+
body {
2+
background: #f8f9fa;
3+
}
4+
5+
header {
6+
background: #003366;
7+
color: #fff;
8+
padding: 5rem 0 4rem 0;
9+
text-align: center;
10+
}
11+
12+
header h1 {
13+
color: #fff;
14+
}
15+
16+
nav {
17+
background: #00509e;
18+
padding: 0.5rem 0;
19+
text-align: center;
20+
}
21+
22+
nav a {
23+
color: #fff;
24+
margin: 0 1.5rem;
25+
text-decoration: none;
26+
font-weight: bold;
27+
}
28+
29+
nav a:hover {
30+
text-decoration: underline;
31+
font-weight: bold;
32+
}
33+
34+
nav a.active {
35+
font-weight: bold;
36+
text-decoration: underline;
37+
}
38+
39+
main {
40+
max-width: 900px;
41+
margin: 2rem auto;
42+
background: #fff;
43+
padding: 2rem;
44+
border-radius: 8px;
45+
box-shadow: 0 2px 8px rgba(0,0,0,0.05);
46+
}
47+
48+
h1, h2, h3, h4, h5, h6 {
49+
color: #003366;
50+
}
51+
52+
h1 {
53+
font-size: 2.5rem;
54+
}
55+
56+
table.calendar {
57+
width: 100%;
58+
border-collapse: collapse;
59+
margin-top: 1.5rem;
60+
margin-bottom: 1.5rem;
61+
}
62+
63+
table.calendar th, table.calendar td {
64+
border: 1px solid #ccc; padding: 0.5rem; text-align: center;
65+
}
66+
67+
table.calendar th {
68+
background: #e3eafc;
69+
}
70+
71+
.info-list {
72+
list-style: none; padding: 0;
73+
}
74+
75+
.info-list li {
76+
margin-bottom: 0.5rem;
77+
}
78+
79+
ul.assignments {
80+
padding-left: 1.2rem;
81+
}
82+
83+
section + section {
84+
margin-top: 50px;
85+
}

‎index.html‎

Lines changed: 27 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
<head>
44
<meta charset="UTF-8">
55
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6-
<title>EN.601.727 Machine Programming (3 credits) - Fall 2025</title>
6+
<title>Machine Programming - 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>
@@ -13,9 +13,10 @@ <h1>EN.601.727 Machine Programming</h1>
1313
<p>Johns Hopkins University &mdash; Fall 2025</p>
1414
</header>
1515
<nav>
16-
<a href="index.html">Home</a>
16+
<a href="index.html" class="active">Home</a>
1717
<a href="assignments.html">Assignments</a>
1818
<a href="readings.html">Readings</a>
19+
<a href="project.html">Final Project</a>
1920
<a href="#calendar">Calendar</a>
2021
</nav>
2122
<main>
@@ -28,7 +29,7 @@ <h2>Course Information</h2>
2829
<li><strong>Email:</strong> <a href="mailto:ziyang@cs.jhu.edu">ziyang@cs.jhu.edu</a></li>
2930
<li><strong>Time:</strong> Tuesday and Thursday 12:00pm - 1:15pm</li>
3031
<li><strong>Location:</strong> TBD</li>
31-
<li><strong>Office Hours:</strong> TBD</li>
32+
<li><strong>Office Hours:</strong> TBD; also available by appointment through email</li>
3233
</ul>
3334
</section>
3435
<section>
@@ -69,9 +70,9 @@ <h2>Course Calendar</h2>
6970
<p>
7071
Add the course schedule to your calendar:
7172
</p>
72-
<a href="https://calendar.google.com/calendar/render?action=TEMPLATE&text=EN.601.727%20Machine%20Programming&dates=20250826T160000Z/20250826T171500Z&recur=RRULE:FREQ=WEEKLY;BYDAY=TU,TH;UNTIL=20251204T171500Z&location=TBD&details=Instructor:%20Ziyang%20Li%0AEmail:%20ziyang@cs.jhu.edu%0ACourse%20Number:%20EN.601.727%0ACredits:%203" class="btn btn-primary btn-sm me-2" target="_blank">Google Calendar</a>
73+
<a href="https://calendar.google.com/calendar/render?action=TEMPLATE&text=EN.601.727%20Machine%20Programming&dates=20250826T160000Z/20250826T171500Z&recur=RRULE:FREQ=WEEKLY;BYDAY=TU,TH;UNTIL=20251204T171500Z&location=TBD&details=Instructor:%20Ziyang%20Li%0AEmail:%20ziyang@cs.jhu.edu%0ACourse%20Number:%20EN.601.727%0ACredits:%203" class="btn btn-outline-primary btn-sm me-2" target="_blank">Google Calendar</a>
7374
<a href="https://outlook.live.com/calendar/0/deeplink/compose?subject=EN.601.727%20Machine%20Programming&startdt=2025-08-26T12:00:00&enddt=2025-08-26T13:15:00&recurrence=FREQ=WEEKLY;BYDAY=TU,TH;UNTIL=2025-12-04T13:15:00&location=TBD&body=Instructor:%20Ziyang%20Li%0AEmail:%20ziyang@cs.jhu.edu%0ACourse%20Number:%20EN.601.727%0ACredits:%203" class="btn btn-outline-primary btn-sm me-2" target="_blank">Outlook</a>
74-
<a href="data:text/calendar;charset=utf8,BEGIN:VCALENDAR%0AVERSION:2.0%0ABEGIN:VEVENT%0ADTSTART:20250826T160000Z%0ADTEND:20250826T171500Z%0ASUMMARY:EN.601.727 Machine Programming%0ALOCATION:TBD%0ADESCRIPTION:Instructor: Ziyang Li\nEmail: ziyang@cs.jhu.edu\nCourse Number: EN.601.727\nCredits: 3%0ARRULE:FREQ=WEEKLY;BYDAY=TU,TH;UNTIL=20251204T171500Z%0AEND:VEVENT%0AEND:VCALENDAR" download="machine_programming_schedule.ics" class="btn btn-outline-secondary btn-sm">Download .ics</a>
75+
<a href="data:text/calendar;charset=utf8,BEGIN:VCALENDAR%0AVERSION:2.0%0ABEGIN:VEVENT%0ADTSTART:20250826T160000Z%0ADTEND:20250826T171500Z%0ASUMMARY:EN.601.727 Machine Programming%0ALOCATION:TBD%0ADESCRIPTION:Instructor: Ziyang Li\nEmail: ziyang@cs.jhu.edu\nCourse Number: EN.601.727\nCredits: 3%0ARRULE:FREQ=WEEKLY;BYDAY=TU,TH;UNTIL=20251204T171500Z%0AEND:VEVENT%0AEND:VCALENDAR" download="machine_programming_schedule.ics" class="btn btn-outline-primary btn-sm">Download .ics</a>
7576
</div>
7677
<table class="calendar">
7778
<tr>
@@ -80,37 +81,49 @@ <h2>Course Calendar</h2>
8081
<th>Topic / Event</th>
8182
</tr>
8283
<tr><td rowspan="2">1</td><td>Aug 26 (Tue)</td><td>Introduction & Syllabus</td></tr>
83-
<tr><td>Aug 28 (Thu)</td><td>Introduction & Syllabus</td></tr>
84-
<tr><td rowspan="2">2</td><td>Sep 2 (Tue)</td><td>Lecture</td></tr>
85-
<tr><td>Sep 4 (Thu)</td><td>Lecture</td></tr>
84+
<tr><td>Aug 28 (Thu)</td><td>Syntax and Semantics</td></tr>
85+
<tr><td rowspan="2">2</td><td>Sep 2 (Tue)</td><td>Enumerative Program Synthesis</td></tr>
86+
<tr><td>Sep 4 (Thu)</td><td>Example Guided Synthesis</td></tr>
8687
<tr><td rowspan="2">3</td><td>Sep 9 (Tue)</td><td>Lecture</td></tr>
8788
<tr><td>Sep 11 (Thu)</td><td>Lecture</td></tr>
88-
<tr><td rowspan="2">4</td><td>Sep 16 (Tue)</td><td>Assignment 1 Released</td></tr>
89+
<tr><td rowspan="2">4</td><td>Sep 16 (Tue)</td><td>Lecture</td></tr>
8990
<tr><td>Sep 18 (Thu)</td><td>Lecture</td></tr>
9091
<tr><td rowspan="2">5</td><td>Sep 23 (Tue)</td><td>Lecture</td></tr>
9192
<tr><td>Sep 25 (Thu)</td><td>Lecture</td></tr>
9293
<tr><td rowspan="2">6</td><td>Sep 30 (Tue)</td><td>Lecture</td></tr>
9394
<tr><td>Oct 2 (Thu)</td><td>Lecture</td></tr>
94-
<tr><td rowspan="2">7</td><td>Oct 7 (Tue)</td><td>Assignment 1 Due / Assignment 2 Released</td></tr>
95+
<tr><td rowspan="2">7</td><td>Oct 7 (Tue)</td><td>Lecture</td></tr>
9596
<tr><td>Oct 9 (Thu)</td><td>Lecture</td></tr>
9697
<tr><td rowspan="2">8</td><td>Oct 14 (Tue)</td><td>Lecture</td></tr>
9798
<tr><td>Oct 16 (Thu)</td><td>Lecture</td></tr>
9899
<tr><td rowspan="2">9</td><td>Oct 21 (Tue)</td><td>Lecture</td></tr>
99100
<tr><td>Oct 23 (Thu)</td><td>Lecture</td></tr>
100-
<tr><td rowspan="2">10</td><td>Oct 28 (Tue)</td><td>Assignment 2 Due / Assignment 3 Released</td></tr>
101+
<tr><td rowspan="2">10</td><td>Oct 28 (Tue)</td><td>Lecture</td></tr>
101102
<tr><td>Oct 30 (Thu)</td><td>Lecture</td></tr>
102103
<tr><td rowspan="2">11</td><td>Nov 4 (Tue)</td><td>Lecture</td></tr>
103104
<tr><td>Nov 6 (Thu)</td><td>Lecture</td></tr>
104105
<tr><td rowspan="2">12</td><td>Nov 11 (Tue)</td><td>Lecture</td></tr>
105106
<tr><td>Nov 13 (Thu)</td><td>Lecture</td></tr>
106-
<tr><td rowspan="2">13</td><td>Nov 18 (Tue)</td><td>Assignment 3 Due / Project Proposal Due</td></tr>
107+
<tr><td rowspan="2">13</td><td>Nov 18 (Tue)</td><td>Lecture</td></tr>
107108
<tr><td>Nov 20 (Thu)</td><td>Lecture</td></tr>
108109
<tr><td rowspan="2">14</td><td>Nov 25 (Tue)</td><td>Lecture</td></tr>
109110
<tr><td>Nov 27 (Thu)</td><td>Thanksgiving (no class)</td></tr>
110-
<tr><td rowspan="2">15</td><td>Dec 2 (Tue)</td><td>Final Project Presentations</td></tr>
111-
<tr><td>Dec 4 (Thu)</td><td>Final Project Presentations</td></tr>
111+
<tr><td rowspan="2">15</td><td>Dec 2 (Tue)</td><td>Lecture</td></tr>
112+
<tr><td>Dec 4 (Thu)</td><td>Lecture</td></tr>
112113
</table>
113114
</section>
115+
<section>
116+
<h2>References</h2>
117+
<p>
118+
This course draws inspiration from the following sources:
119+
</p>
120+
<ol>
121+
<li><a href="https://sites.google.com/view/6998-generative-model-for-code" target="_blank"><strong>Generative Model for Code</strong></a> -- COMS 6998 by Baishakhi Ray, Columbia University</li>
122+
<li><a href="https://people.csail.mit.edu/asolar/SynthesisCourse/index.htm" target="_blank"><strong>Introduction to Program Synthesis</strong></a> -- 6.S981 by Armando Solar-Lezama, MIT</li>
123+
<li><a href="https://github.com/nadia-polikarpova/cse291-program-synthesis/wiki" target="_blank"><strong>Program Synthesis</strong></a> -- CSE 291 by Nadia Polikarpova, UCSD</li>
124+
<li><a href="https://homes.cs.washington.edu/~bodik/ucb/cs294fa12.html" target="_blank"><strong>Program Synthesis for Everyone</strong></a> -- CS294 by Ras Bodik and Emina Torlak, University of Washington</li>
125+
</ol>
126+
</section>
114127
</main>
115128
</body>
116129
</html>

0 commit comments

Comments
 (0)