update courses

kupl · Aug 30, 2024 · c5738a1 · c5738a1
1 parent ce47d63
commit c5738a1
Show file tree

Hide file tree

Showing 23 changed files with 61 additions and 0 deletions.
diff --git a/content/courses/_index.md b/content/courses/_index.md
@@ -5,6 +5,12 @@ menu = 'main'
 weight = 60
 +++
 
+## 2024 Fall
+
+- [COSE 212: Programming Languages]({{< relref "cose212/2024/_index.md" >}})
+- [AAA 616: Program Analysis]({{< relref "aaa616/2024/_index.md" >}})
+
+
 ## 2024 Spring
 
 - [COSE 419: Software Verification]({{< relref "cose419/2024/_index.md" >}})

diff --git a/content/courses/aaa616/2024/_index.md b/content/courses/aaa616/2024/_index.md
@@ -0,0 +1,17 @@
++++
+draft = false
+title = 'AAA616-22F'
++++
+
+# Program Analysis, 2024 Fall
+
+## Course Information
+
+- Instructor: [Hakjoo Oh]({{< ref "/members/hakjoo-oh.md" >}})
+
+## Slides
+
+- Lecture 0: Course Overview 
+- Lecture 1: Introduction to Program Analysis
+
+## Homework / Quiz
diff --git a/content/courses/cose212/2024/_index.md b/content/courses/cose212/2024/_index.md
@@ -0,0 +1,38 @@
++++
+draft = false
+title = 'COSE212-23F'
++++
+
+# Programming Languages, 2024 Fall
+
+## Course Information
+
+- Instructor: [Hakjoo Oh]({{< ref "/members/hakjoo-oh" >}})
+- TAs: [Junyong Heo]({{< ref "/members/junyong-heo/" >}}), [Jiho Shinn]({{< ref "/members/jiho-shinn/" >}})
+- Lecture: 09:00-11:45 on Mondays and Wednesday (8 weeks)
+
+## Book
+
+- [프로그래밍 언어의 원리](./pl-book.pdf)
+
+## Slides
+
+- Course Overview: [lec0.pdf](./slides/lec0.pdf)
+- (Part 1) Preliminaries
+    - Inductive Definitions: [lec1.pdf](./slides/lec1.pdf), [lec2.pdf](./slides/lec2.pdf)
+    - Functional Programming: [lec3.pdf](./slides/lec3.pdf), [lec4.pdf](./slides/lec4.pdf)
+- (Part 2) Basic Concepts
+    - Expressions: [lec5.pdf](./slides/lec5.pdf), [code](./slides/let.ml)
+    - Procedures: [lec6.pdf](./slides/lec6.pdf)
+    - Lexical scoping: [lec7.pdf](./slides/lec7.pdf)
+    - States: [lec8.pdf](./slides/lec8.pdf)
+    - Records, Pointers, and garbage collection: [lec9.pdf](./slides/lec9.pdf)
+- (Part 3) Advanced Concepts
+    - Static Type System: [lec10.pdf](./slides/lec10.pdf), [lec11.pdf](./slides/lec11.pdf), [lec12.pdf](./slides/lec12.pdf)
+    - Automatic Type Inference: [lec13.pdf](./slides/lec13.pdf), [lec14.pdf](./slides/lec14.pdf), [lec15.pdf](./slides/lec15.pdf)
+    - Polymorphic Type System: [lec16.pdf](./slides/lec16.pdf)
+    - Lambda Calculus: [lec17.pdf](./slides/lec17.pdf)
+- Course Review: [lec19.pdf](./slides/lec19.pdf)
+
+## Programming Assignments
+
diff --git a/content/courses/cose212/2024/pl-book-draft.pdf b/content/courses/cose212/2024/pl-book-draft.pdf
diff --git a/content/courses/cose212/2024/pl-book.pdf b/content/courses/cose212/2024/pl-book.pdf
diff --git a/content/courses/cose212/2024/slides/lec0.pdf b/content/courses/cose212/2024/slides/lec0.pdf
diff --git a/content/courses/cose212/2024/slides/lec1.pdf b/content/courses/cose212/2024/slides/lec1.pdf
diff --git a/content/courses/cose212/2024/slides/lec10.pdf b/content/courses/cose212/2024/slides/lec10.pdf
diff --git a/content/courses/cose212/2024/slides/lec11.pdf b/content/courses/cose212/2024/slides/lec11.pdf
diff --git a/content/courses/cose212/2024/slides/lec12.pdf b/content/courses/cose212/2024/slides/lec12.pdf
diff --git a/content/courses/cose212/2024/slides/lec13.pdf b/content/courses/cose212/2024/slides/lec13.pdf
diff --git a/content/courses/cose212/2024/slides/lec14.pdf b/content/courses/cose212/2024/slides/lec14.pdf
diff --git a/content/courses/cose212/2024/slides/lec15.pdf b/content/courses/cose212/2024/slides/lec15.pdf
diff --git a/content/courses/cose212/2024/slides/lec16.pdf b/content/courses/cose212/2024/slides/lec16.pdf
diff --git a/content/courses/cose212/2024/slides/lec17.pdf b/content/courses/cose212/2024/slides/lec17.pdf
diff --git a/content/courses/cose212/2024/slides/lec2.pdf b/content/courses/cose212/2024/slides/lec2.pdf
diff --git a/content/courses/cose212/2024/slides/lec3.pdf b/content/courses/cose212/2024/slides/lec3.pdf
diff --git a/content/courses/cose212/2024/slides/lec4.pdf b/content/courses/cose212/2024/slides/lec4.pdf
diff --git a/content/courses/cose212/2024/slides/lec5.pdf b/content/courses/cose212/2024/slides/lec5.pdf
diff --git a/content/courses/cose212/2024/slides/lec6.pdf b/content/courses/cose212/2024/slides/lec6.pdf
diff --git a/content/courses/cose212/2024/slides/lec7.pdf b/content/courses/cose212/2024/slides/lec7.pdf
diff --git a/content/courses/cose212/2024/slides/lec8.pdf b/content/courses/cose212/2024/slides/lec8.pdf
diff --git a/content/courses/cose212/2024/slides/lec9.pdf b/content/courses/cose212/2024/slides/lec9.pdf