Skip to content

Commit b0a9a63

Browse files
Liby99Liby99
committed
Adding readings page
1 parent 2c9ec4e commit b0a9a63

File tree

6 files changed

+124
-5
lines changed

6 files changed

+124
-5
lines changed

‎assignment1.html‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ <h1>Assignment 1: Enumerative program synthesis</h1>
1616
<nav>
1717
<a href="index.html">Home</a>
1818
<a href="assignments.html">Assignments</a>
19+
<a href="readings.html">Readings</a>
1920
<a href="index.html#calendar">Calendar</a>
2021
</nav>
2122
<main>

‎assignment2.html‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ <h1>Assignment 2: Evaluating LLMs on program synthesis</h1>
1616
<nav>
1717
<a href="index.html">Home</a>
1818
<a href="assignments.html">Assignments</a>
19+
<a href="readings.html">Readings</a>
1920
<a href="index.html#calendar">Calendar</a>
2021
</nav>
2122
<main>

‎assignment3.html‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ <h1>Assignment 3: Iterative program synthesis</h1>
1616
<nav>
1717
<a href="index.html">Home</a>
1818
<a href="assignments.html">Assignments</a>
19+
<a href="readings.html">Readings</a>
1920
<a href="index.html#calendar">Calendar</a>
2021
</nav>
2122
<main>

‎assignments.html‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16,6 +16,7 @@ <h1>EN.601.727 Machine Programming</h1>
1616
<nav>
1717
<a href="index.html">Home</a>
1818
<a href="assignments.html">Assignments</a>
19+
<a href="readings.html">Readings</a>
1920
<a href="index.html#calendar">Calendar</a>
2021
</nav>
2122
<main>

‎index.html‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,7 @@ <h1>EN.601.727 Machine Programming</h1>
1515
<nav>
1616
<a href="index.html">Home</a>
1717
<a href="assignments.html">Assignments</a>
18+
<a href="readings.html">Readings</a>
1819
<a href="#calendar">Calendar</a>
1920
</nav>
2021
<main>
@@ -65,11 +66,12 @@ <h2>Grading Rubrics</h2>
6566
<section id="calendar">
6667
<h2>Course Calendar</h2>
6768
<div class="mb-3">
68-
<h4>Add to Calendar</h4>
69-
<p>Add the course schedule to your calendar:</p>
70-
<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 me-2" target="_blank">Google Calendar</a>
71-
<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 me-2" target="_blank">Outlook</a>
72-
<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">Download .ics</a>
69+
<p>
70+
Add the course schedule to your calendar:
71+
</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://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>
7375
</div>
7476
<table class="calendar">
7577
<tr>

‎readings.html‎

Lines changed: 113 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,113 @@
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>Readings - EN.601.727 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>EN.601.727 Machine Programming</h1>
13+
<p>Johns Hopkins University &mdash; Fall 2025</p>
14+
<p><strong>Instructor:</strong> Ziyang Li &nbsp; | &nbsp; <strong>Email:</strong> <a href="mailto:ziyang@cs.jhu.edu">ziyang@cs.jhu.edu</a></p>
15+
</header>
16+
<nav>
17+
<a href="index.html">Home</a>
18+
<a href="assignments.html">Assignments</a>
19+
<a href="readings.html">Readings</a>
20+
<a href="index.html#calendar">Calendar</a>
21+
</nav>
22+
<main>
23+
<section>
24+
<h2>Course Readings</h2>
25+
<p>This page contains relevant papers, courses, and webpages organized by topic.</p>
26+
27+
<div class="mb-4">
28+
<h3>Program Synthesis Foundations</h3>
29+
<h4>Papers</h4>
30+
<ul>
31+
<li><a href="#" target="_blank">[Paper Title]</a> - [Authors] - [Year]</li>
32+
<!-- Add more papers -->
33+
</ul>
34+
35+
<h4>Courses</h4>
36+
<ul>
37+
<li><a href="#" target="_blank">[Course Title]</a> - [Institution]</li>
38+
<!-- Add more courses -->
39+
</ul>
40+
41+
<h4>Webpages</h4>
42+
<ul>
43+
<li><a href="#" target="_blank">[Webpage Title]</a> - [Description]</li>
44+
<!-- Add more webpages -->
45+
</ul>
46+
</div>
47+
48+
<div class="mb-4">
49+
<h3>Large Language Models for Programming</h3>
50+
<h4>Papers</h4>
51+
<ul>
52+
<li><a href="#" target="_blank">[Paper Title]</a> - [Authors] - [Year]</li>
53+
<!-- Add more papers -->
54+
</ul>
55+
56+
<h4>Courses</h4>
57+
<ul>
58+
<li><a href="#" target="_blank">[Course Title]</a> - [Institution]</li>
59+
<!-- Add more courses -->
60+
</ul>
61+
62+
<h4>Webpages</h4>
63+
<ul>
64+
<li><a href="#" target="_blank">[Webpage Title]</a> - [Description]</li>
65+
<!-- Add more webpages -->
66+
</ul>
67+
</div>
68+
69+
<div class="mb-4">
70+
<h3>Interactive Program Synthesis</h3>
71+
<h4>Papers</h4>
72+
<ul>
73+
<li><a href="#" target="_blank">[Paper Title]</a> - [Authors] - [Year]</li>
74+
<!-- Add more papers -->
75+
</ul>
76+
77+
<h4>Courses</h4>
78+
<ul>
79+
<li><a href="#" target="_blank">[Course Title]</a> - [Institution]</li>
80+
<!-- Add more courses -->
81+
</ul>
82+
83+
<h4>Webpages</h4>
84+
<ul>
85+
<li><a href="#" target="_blank">[Webpage Title]</a> - [Description]</li>
86+
<!-- Add more webpages -->
87+
</ul>
88+
</div>
89+
90+
<div class="mb-4">
91+
<h3>Program Repair and Verification</h3>
92+
<h4>Papers</h4>
93+
<ul>
94+
<li><a href="#" target="_blank">[Paper Title]</a> - [Authors] - [Year]</li>
95+
<!-- Add more papers -->
96+
</ul>
97+
98+
<h4>Courses</h4>
99+
<ul>
100+
<li><a href="#" target="_blank">[Course Title]</a> - [Institution]</li>
101+
<!-- Add more courses -->
102+
</ul>
103+
104+
<h4>Webpages</h4>
105+
<ul>
106+
<li><a href="#" target="_blank">[Webpage Title]</a> - [Description]</li>
107+
<!-- Add more webpages -->
108+
</ul>
109+
</div>
110+
</section>
111+
</main>
112+
</body>
113+
</html>

0 commit comments

Comments
 (0)