diff --git a/content/courses/_index.md b/content/courses/_index.md index 3c788f5..ccfeca8 100644 --- 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 new file mode 100644 index 0000000..1a33540 --- /dev/null +++ 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 new file mode 100644 index 0000000..e8839e7 --- /dev/null +++ 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 new file mode 100644 index 0000000..78ee532 Binary files /dev/null and b/content/courses/cose212/2024/pl-book-draft.pdf differ diff --git a/content/courses/cose212/2024/pl-book.pdf b/content/courses/cose212/2024/pl-book.pdf new file mode 100644 index 0000000..9114fc7 Binary files /dev/null and b/content/courses/cose212/2024/pl-book.pdf differ diff --git a/content/courses/cose212/2024/slides/lec0.pdf b/content/courses/cose212/2024/slides/lec0.pdf new file mode 100644 index 0000000..5a5232d Binary files /dev/null and b/content/courses/cose212/2024/slides/lec0.pdf differ diff --git a/content/courses/cose212/2024/slides/lec1.pdf b/content/courses/cose212/2024/slides/lec1.pdf new file mode 100644 index 0000000..9829774 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec1.pdf differ diff --git a/content/courses/cose212/2024/slides/lec10.pdf b/content/courses/cose212/2024/slides/lec10.pdf new file mode 100644 index 0000000..6dd44d2 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec10.pdf differ diff --git a/content/courses/cose212/2024/slides/lec11.pdf b/content/courses/cose212/2024/slides/lec11.pdf new file mode 100644 index 0000000..119bac2 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec11.pdf differ diff --git a/content/courses/cose212/2024/slides/lec12.pdf b/content/courses/cose212/2024/slides/lec12.pdf new file mode 100644 index 0000000..5a325cd Binary files /dev/null and b/content/courses/cose212/2024/slides/lec12.pdf differ diff --git a/content/courses/cose212/2024/slides/lec13.pdf b/content/courses/cose212/2024/slides/lec13.pdf new file mode 100644 index 0000000..c2991c3 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec13.pdf differ diff --git a/content/courses/cose212/2024/slides/lec14.pdf b/content/courses/cose212/2024/slides/lec14.pdf new file mode 100644 index 0000000..cf257da Binary files /dev/null and b/content/courses/cose212/2024/slides/lec14.pdf differ diff --git a/content/courses/cose212/2024/slides/lec15.pdf b/content/courses/cose212/2024/slides/lec15.pdf new file mode 100644 index 0000000..0229a0e Binary files /dev/null and b/content/courses/cose212/2024/slides/lec15.pdf differ diff --git a/content/courses/cose212/2024/slides/lec16.pdf b/content/courses/cose212/2024/slides/lec16.pdf new file mode 100644 index 0000000..23942de Binary files /dev/null and b/content/courses/cose212/2024/slides/lec16.pdf differ diff --git a/content/courses/cose212/2024/slides/lec17.pdf b/content/courses/cose212/2024/slides/lec17.pdf new file mode 100644 index 0000000..d260334 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec17.pdf differ diff --git a/content/courses/cose212/2024/slides/lec2.pdf b/content/courses/cose212/2024/slides/lec2.pdf new file mode 100644 index 0000000..62800c0 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec2.pdf differ diff --git a/content/courses/cose212/2024/slides/lec3.pdf b/content/courses/cose212/2024/slides/lec3.pdf new file mode 100644 index 0000000..9455659 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec3.pdf differ diff --git a/content/courses/cose212/2024/slides/lec4.pdf b/content/courses/cose212/2024/slides/lec4.pdf new file mode 100644 index 0000000..5220e22 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec4.pdf differ diff --git a/content/courses/cose212/2024/slides/lec5.pdf b/content/courses/cose212/2024/slides/lec5.pdf new file mode 100644 index 0000000..00b2a08 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec5.pdf differ diff --git a/content/courses/cose212/2024/slides/lec6.pdf b/content/courses/cose212/2024/slides/lec6.pdf new file mode 100644 index 0000000..4f19540 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec6.pdf differ diff --git a/content/courses/cose212/2024/slides/lec7.pdf b/content/courses/cose212/2024/slides/lec7.pdf new file mode 100644 index 0000000..f729b80 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec7.pdf differ diff --git a/content/courses/cose212/2024/slides/lec8.pdf b/content/courses/cose212/2024/slides/lec8.pdf new file mode 100644 index 0000000..f2d49b8 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec8.pdf differ diff --git a/content/courses/cose212/2024/slides/lec9.pdf b/content/courses/cose212/2024/slides/lec9.pdf new file mode 100644 index 0000000..c1e5731 Binary files /dev/null and b/content/courses/cose212/2024/slides/lec9.pdf differ