Add 2016 courses

kupl · Oct 12, 2023 · 2002bfd · 2002bfd
1 parent 7ce346a
commit 2002bfd
Show file tree

Hide file tree

Showing 90 changed files with 155 additions and 4 deletions.
diff --git a/content/courses/_index.md b/content/courses/_index.md
@@ -62,14 +62,14 @@ weight = 60
 
 ## 2016 Fall
 
-- COSE 212: Programming Languages
-- AAA 616: Program Analysis
+- [COSE 212: Programming Languages]({{< relref "cose212/2016/_index.md" >}})
+- [AAA 616: Program Analysis]({{< relref "aaa616/2016/_index.md" >}})
 - CVO 103: Programming Languages
 
 ## 2016 Spring
 
-- COSE 215: Theory of Computation
-- AAA 551: Programming Language Theory
+- [COSE 215: Theory of Computation]({{< relref "cose215/2016/_index.md" >}})
+- [AAA 551: Programming Language Theory]({{< relref "aaa551/2016/_index.md" >}})
 - CVS 107: Analysis of Software Vulnerability
 
 ## 2015 Fall

diff --git a/content/courses/aaa551/2016/_index.md b/content/courses/aaa551/2016/_index.md
@@ -0,0 +1,23 @@
++++
+draft = false
+title = 'AAA551-16S'
++++
+
+# Programming Language Theory, 2016 Spring
+
+## Course Information
+
+- Instructor: [Hakjoo Oh]({{< ref "/members/hakjoo-oh.md" >}})
+- Lecture: 9:00-11:30 on Mondays
+
+## References
+
+- [Software Foundations](https://www.cis.upenn.edu/~bcpierce/sf/current/index.html)
+- [Semantics of Programming Languages](http://www.inf.ed.ac.uk/teaching/courses/lsi/sempl.pdf)
+- [Lecture Notes on Denotional Semantics](https://ropas.snu.ac.kr/~kwang/520/pitt-lecture-denotational-semantics-1998.ps)
+
+## Slides
+
+- [Induction](./slides/induction.pdf)
+- [Hoare Logic](./slides/Hoare.pdf)
+- [Type Safety of STLC](./slides/proofs.pdf)
diff --git a/content/courses/aaa551/2016/slides/Hoare.pdf b/content/courses/aaa551/2016/slides/Hoare.pdf
diff --git a/content/courses/aaa551/2016/slides/induction.pdf b/content/courses/aaa551/2016/slides/induction.pdf
diff --git a/content/courses/aaa551/2016/slides/proofs.pdf b/content/courses/aaa551/2016/slides/proofs.pdf
diff --git a/content/courses/aaa616/2016/_index.md b/content/courses/aaa616/2016/_index.md
@@ -0,0 +1,33 @@
++++
+draft = false
+title = 'AAA616-16F'
++++
+
+# Program Analysis, 2016 Fall
+
+## Course Information
+
+- Instructor: [Hakjoo Oh]({{< ref "/members/hakjoo-oh.md" >}})
+- Lecture: 14:00-16:45 on Tuesdays
+- Reference:
+    {{< figure src="./semantics.png" width="100px" link="https://www.amazon.com/Semantics-Applications-Appetizer-Undergraduate-Computer/dp/1846286913" target="_blank" style="display: table;" >}} {{< figure src="./popa.png" width="100px" link="https://www.amazon.com/Principles-Program-Analysis-Flemming-Nielson/dp/3540654100" target="_blank" style="display: table;" >}}
+
+## Slides
+
+- Overview: [lec0.pdf](./slides/lec0.pdf)
+- Formal Semantics: [lec1.pdf](./slides/lec1.pdf) [lec2.pdf](./slides/lec2.pdf)
+- Introduction to Static analysis: [lec3.pdf](./slides/lec3.pdf)
+- Abstract Interpretation Framework: [lec4.pdf](./slides/lec4.pdf) ([proofs](./slides/ai-proofs.pdf))
+- Numerical Analysis: [lec5.pdf](./slides/lec5.pdf), [lec7.pdf](./slides/lec7.pdf)
+- Localization, Sparse Analysis: [lec6.pdf](./slides/lec6.pdf)
+- Parametric Static Analysis: [lec8.pdf](./slides/lec8.pdf), [lec9.pdf](./slides/lec9.pdf)
+- Pointer Analysis: [pointer.pdf](./slides/pointer.pdf)
+- Data-flow Analysis: [dfa.pdf](./slides/dfa.pdf)
+- Symbolic Analysis: [lec10.pdf](./slides/lec10.pdf), [Symbolic Execution](http://www.srl.inf.ethz.ch/pa2015/Lecture8.pdf)
+- Model Checking: [CEGAR](./slides/absrefine.pdf)
+
+## Homework
+- Homework 1 (due 9/27) [hw1.pdf](./hw/hw1.pdf)
+- Homework 2 (due 10/11) [hw2.pdf](./hw/hw2.pdf)
+- Homework 3 (due 11/29) [hw3.pdf](./hw/hw3.pdf)
+- Homework 4 (due 12/6) [hw4.pdf](./hw/hw4.pdf)
diff --git a/content/courses/aaa616/2016/hw/hw1.pdf b/content/courses/aaa616/2016/hw/hw1.pdf
diff --git a/content/courses/aaa616/2016/hw/hw2.pdf b/content/courses/aaa616/2016/hw/hw2.pdf
diff --git a/content/courses/aaa616/2016/hw/hw3.pdf b/content/courses/aaa616/2016/hw/hw3.pdf
diff --git a/content/courses/aaa616/2016/hw/hw4.pdf b/content/courses/aaa616/2016/hw/hw4.pdf
diff --git a/content/courses/aaa616/2016/popa.png b/content/courses/aaa616/2016/popa.png
diff --git a/content/courses/aaa616/2016/semantics.png b/content/courses/aaa616/2016/semantics.png
diff --git a/content/courses/aaa616/2016/slides/absrefine.pdf b/content/courses/aaa616/2016/slides/absrefine.pdf
diff --git a/content/courses/aaa616/2016/slides/ai-proofs.pdf b/content/courses/aaa616/2016/slides/ai-proofs.pdf
diff --git a/content/courses/aaa616/2016/slides/dfa.pdf b/content/courses/aaa616/2016/slides/dfa.pdf
diff --git a/content/courses/aaa616/2016/slides/lec0.pdf b/content/courses/aaa616/2016/slides/lec0.pdf
diff --git a/content/courses/aaa616/2016/slides/lec1.pdf b/content/courses/aaa616/2016/slides/lec1.pdf
diff --git a/content/courses/aaa616/2016/slides/lec10.pdf b/content/courses/aaa616/2016/slides/lec10.pdf
diff --git a/content/courses/aaa616/2016/slides/lec2.pdf b/content/courses/aaa616/2016/slides/lec2.pdf
diff --git a/content/courses/aaa616/2016/slides/lec3.pdf b/content/courses/aaa616/2016/slides/lec3.pdf
diff --git a/content/courses/aaa616/2016/slides/lec4.pdf b/content/courses/aaa616/2016/slides/lec4.pdf
diff --git a/content/courses/aaa616/2016/slides/lec5.pdf b/content/courses/aaa616/2016/slides/lec5.pdf
diff --git a/content/courses/aaa616/2016/slides/lec6.pdf b/content/courses/aaa616/2016/slides/lec6.pdf
diff --git a/content/courses/aaa616/2016/slides/lec7.pdf b/content/courses/aaa616/2016/slides/lec7.pdf
diff --git a/content/courses/aaa616/2016/slides/lec8.pdf b/content/courses/aaa616/2016/slides/lec8.pdf
diff --git a/content/courses/aaa616/2016/slides/lec9.pdf b/content/courses/aaa616/2016/slides/lec9.pdf
diff --git a/content/courses/aaa616/2016/slides/pointer.pdf b/content/courses/aaa616/2016/slides/pointer.pdf
diff --git a/content/courses/cose212/2016/_index.md b/content/courses/cose212/2016/_index.md
@@ -0,0 +1,52 @@
++++
+draft = false
+title = 'COSE212-16F'
++++
+
+# Programming Languages, 2016 Fall
+
+## Course Information
+
+- Instructor: [Hakjoo Oh]({{< ref "/members/hakjoo-oh.md" >}})
+- Lecture: 10:30-11:45 on Mondays and Wednesdays
+- Reference:
+    {{< figure src="./eopl.jpg" width="100px" link="http://www.amazon.com/gp/product/0262062798?ie=UTF8&tag=ucmbread-20&linkCode=as2&camp=1789&creative=9325&creativeASIN=0262062798" target="_blank" >}}
+
+## 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), implementation: [let.zip](./let.zip)
+    - Procedures: [lec6.pdf](./slides/lec6.pdf)
+    - Scoping and Binding: [lec7.pdf](./slides/lec7.pdf)
+    - States: [lec8.pdf](./slides/lec8.pdf)
+- (Part 3) Advanced Concepts
+    - Static Type System: [lec9.pdf](./slides/lec9.pdf), lec9-[2.pdf](./slides/2.pdf)
+    - Automatic Type Inference: [lec10.pdf](./slides/lec10.pdf), [lec11.pdf](./slides/lec11.pdf), [lec12.pdf](./slides/lec12.pdf)
+    - Lambda Calculus: [lec13.pdf](./slides/lec13.pdf)
+- (Part 4) Misc
+    - Compilation: [lec14.pdf](./slides/lec14.pdf)
+    - Synthesis: [lec15.pdf](./slides/lec15.pdf)
+- Review: [lec16.pdf](./slides/lec16.pdf)
+
+## Homework
+
+- Homework 1 (Basic Problems 1) [hw1.pdf](./hw/hw1.pdf) (due 9/30 24:00)
+- Homework 2 (Basic Problems 2) [hw2.pdf](./hw/hw2.pdf) (due 10/14 24:00)
+- Homework 3 (Basic Problems 3) [hw3.pdf](./hw/hw3.pdf) (due 11/4 24:00)
+- Homework 4 (Interpreter) [hw4.pdf](./hw/hw4.pdf), [Project Page (GitHub)](https://github.com/kupl/ProgrammingLanguages2016_HW4) (due 11/18 24:00)
+- Homework 5 (Static Type Checker) [hw5.pdf](./hw/hw5.pdf), [Project Page (GitHub)](https://github.com/kupl/PL2016-HW5) (due 12/2 24:00)
+
+## Previous Exams
+
+- [Final Exam (2015)](./final15.pdf)
+
+## OCaml Reference
+
+- How to install
+    - [Installing the Programming Environment (for Windows users)](./guide_ocaml_install.pdf)
+    - VirtualBox Image (Ubuntu system with OCaml installed)
+    - [Download VirtualBox](https://www.virtualbox.org/)
diff --git a/content/courses/cose212/2016/eopl.jpg b/content/courses/cose212/2016/eopl.jpg
diff --git a/content/courses/cose212/2016/final15.pdf b/content/courses/cose212/2016/final15.pdf
diff --git a/content/courses/cose212/2016/guide_ocaml_install.pdf b/content/courses/cose212/2016/guide_ocaml_install.pdf
diff --git a/content/courses/cose212/2016/hw/hw1.pdf b/content/courses/cose212/2016/hw/hw1.pdf
diff --git a/content/courses/cose212/2016/hw/hw2.pdf b/content/courses/cose212/2016/hw/hw2.pdf
diff --git a/content/courses/cose212/2016/hw/hw3.pdf b/content/courses/cose212/2016/hw/hw3.pdf
diff --git a/content/courses/cose212/2016/hw/hw4.pdf b/content/courses/cose212/2016/hw/hw4.pdf
diff --git a/content/courses/cose212/2016/hw/hw5.pdf b/content/courses/cose212/2016/hw/hw5.pdf
diff --git a/content/courses/cose212/2016/let.zip b/content/courses/cose212/2016/let.zip
diff --git a/content/courses/cose212/2016/slides/lec0.pdf b/content/courses/cose212/2016/slides/lec0.pdf
diff --git a/content/courses/cose212/2016/slides/lec1.pdf b/content/courses/cose212/2016/slides/lec1.pdf
diff --git a/content/courses/cose212/2016/slides/lec10.pdf b/content/courses/cose212/2016/slides/lec10.pdf
diff --git a/content/courses/cose212/2016/slides/lec11.pdf b/content/courses/cose212/2016/slides/lec11.pdf
diff --git a/content/courses/cose212/2016/slides/lec12.pdf b/content/courses/cose212/2016/slides/lec12.pdf
diff --git a/content/courses/cose212/2016/slides/lec13.pdf b/content/courses/cose212/2016/slides/lec13.pdf
diff --git a/content/courses/cose212/2016/slides/lec14.pdf b/content/courses/cose212/2016/slides/lec14.pdf
diff --git a/content/courses/cose212/2016/slides/lec15.pdf b/content/courses/cose212/2016/slides/lec15.pdf
diff --git a/content/courses/cose212/2016/slides/lec16.pdf b/content/courses/cose212/2016/slides/lec16.pdf
diff --git a/content/courses/cose212/2016/slides/lec2.pdf b/content/courses/cose212/2016/slides/lec2.pdf
diff --git a/content/courses/cose212/2016/slides/lec3.pdf b/content/courses/cose212/2016/slides/lec3.pdf
diff --git a/content/courses/cose212/2016/slides/lec4.pdf b/content/courses/cose212/2016/slides/lec4.pdf
diff --git a/content/courses/cose212/2016/slides/lec5.pdf b/content/courses/cose212/2016/slides/lec5.pdf
diff --git a/content/courses/cose212/2016/slides/lec6.pdf b/content/courses/cose212/2016/slides/lec6.pdf
diff --git a/content/courses/cose212/2016/slides/lec7.pdf b/content/courses/cose212/2016/slides/lec7.pdf
diff --git a/content/courses/cose212/2016/slides/lec8.pdf b/content/courses/cose212/2016/slides/lec8.pdf
diff --git a/content/courses/cose212/2016/slides/lec9-2.pdf b/content/courses/cose212/2016/slides/lec9-2.pdf
diff --git a/content/courses/cose212/2016/slides/lec9.pdf b/content/courses/cose212/2016/slides/lec9.pdf
diff --git a/content/courses/cose215/2016/_index.md b/content/courses/cose215/2016/_index.md
@@ -0,0 +1,43 @@
++++
+draft = false
+title = 'COSE215-16S'
++++
+
+# Theory of Computation, 2016 Spring
+
+## Course Information
+
+- Instructor:- Instructor: Hakjoo Oh
+- TAs: Sungjoon Hong, Kwonsoo Chae
+- Lecture: 9:00-10:15 on Tuesdays and Thursdays
+- [Syllabus](./syllabus.pdf)
+
+## Textbook
+
+- Introduction to Automata Theory, Languages, and Computation (Third Edition)
+
+## Slides
+
+- Introduction: [lec0.pdf](./slides/lec0.pdf)
+- Preliminaries: [lec1.pdf](./slides/lec1.pdf), [lec2.pdf](./slides/lec2.pdf)
+- Finite Automata: [lec3-1.pdf](./slides/lec3-1.pdf), [lec3-2.pdf](./slides/lec3-2.pdf), [lec3-3.pdf](./slides/lec3-3.pdf)
+- Regular Expressions: [lec4.pdf](./slides/lec4.pdf), [lec5.pdf](./slides/lec5.pdf)
+- Properties of Regular Languages: [lec6.pdf](./slides/lec6.pdf), [lec7.pdf](./slides/lec7.pdf)
+- Context-free languages: [lec8.pdf](./slides/lec8.pdf), [lec9.pdf](./slides/lec9.pdf)
+- Pushdown automata: [lec10.pdf](./slides/lec10.pdf), [lec11.pdf](./slides/lec11.pdf)
+- Properties of Context-free Languages: [lec12.pdf](./slides/lec12.pdf), [lec13.pdf](./slides/lec13.pdf)
+- Turing Machines: [lec14.pdf](./slides/lec14.pdf), [lec14-examples.pdf](./slides/lec14-examples.pdf), [lec15.pdf](./slides/lec15.pdf), [lec15-examples.pdf](./slides/lec15-examples.pdf)
+- Undecidability: [lec16.pdf](./slides/lec16.pdf) [lec17.pdf](./slides/lec17.pdf)
+- Review: [lec18.pdf](./slides/lec18.pdf)
+
+## Homework
+
+- [HW 1: DFA, NFA, and e-NFA (due 3/31)](./hw/hw1.pdf)
+- [HW 2: Regular Expresssions, Properties of Regular Languages (due 4/12)](./hw/hw2.pdf)
+- [HW 3: Context-Free Languages, Pushdown Automata (due 5/12)](./hw/hw3.pdf)
+- [HW 4: Essay (due 6/2)](./hw/hw4.pdf)
+    우수에세이: [2015410126](./essay/2015410126.pdf), [2015410056](./essay/2015410056.pdf), [2015410047](./essay/2015410047.pdf), [2011160004](./essay/2011160004.pdf)
+
+## Exams
+
+- Past: [mid2015.pdf](./mid2015.pdf), [final2015.pdf](./final2015.pdf)
diff --git a/content/courses/cose215/2016/essay/2011160004.pdf b/content/courses/cose215/2016/essay/2011160004.pdf
diff --git a/content/courses/cose215/2016/essay/2015410047.pdf b/content/courses/cose215/2016/essay/2015410047.pdf
diff --git a/content/courses/cose215/2016/essay/2015410056.pdf b/content/courses/cose215/2016/essay/2015410056.pdf
diff --git a/content/courses/cose215/2016/essay/2015410126.pdf b/content/courses/cose215/2016/essay/2015410126.pdf
diff --git a/content/courses/cose215/2016/final2015.pdf b/content/courses/cose215/2016/final2015.pdf
diff --git a/content/courses/cose215/2016/hw/hw1.pdf b/content/courses/cose215/2016/hw/hw1.pdf
diff --git a/content/courses/cose215/2016/hw/hw2.pdf b/content/courses/cose215/2016/hw/hw2.pdf
diff --git a/content/courses/cose215/2016/hw/hw3.pdf b/content/courses/cose215/2016/hw/hw3.pdf
diff --git a/content/courses/cose215/2016/hw/hw4.pdf b/content/courses/cose215/2016/hw/hw4.pdf
diff --git a/content/courses/cose215/2016/mid2015.pdf b/content/courses/cose215/2016/mid2015.pdf
diff --git a/content/courses/cose215/2016/slides/lec0.pdf b/content/courses/cose215/2016/slides/lec0.pdf
diff --git a/content/courses/cose215/2016/slides/lec1.pdf b/content/courses/cose215/2016/slides/lec1.pdf
diff --git a/content/courses/cose215/2016/slides/lec10.pdf b/content/courses/cose215/2016/slides/lec10.pdf
diff --git a/content/courses/cose215/2016/slides/lec11.pdf b/content/courses/cose215/2016/slides/lec11.pdf
diff --git a/content/courses/cose215/2016/slides/lec12.pdf b/content/courses/cose215/2016/slides/lec12.pdf
diff --git a/content/courses/cose215/2016/slides/lec13.pdf b/content/courses/cose215/2016/slides/lec13.pdf
diff --git a/content/courses/cose215/2016/slides/lec14-examples.pdf b/content/courses/cose215/2016/slides/lec14-examples.pdf
diff --git a/content/courses/cose215/2016/slides/lec14.pdf b/content/courses/cose215/2016/slides/lec14.pdf
diff --git a/content/courses/cose215/2016/slides/lec15-examples.pdf b/content/courses/cose215/2016/slides/lec15-examples.pdf
diff --git a/content/courses/cose215/2016/slides/lec15.pdf b/content/courses/cose215/2016/slides/lec15.pdf
diff --git a/content/courses/cose215/2016/slides/lec16.pdf b/content/courses/cose215/2016/slides/lec16.pdf
diff --git a/content/courses/cose215/2016/slides/lec17.pdf b/content/courses/cose215/2016/slides/lec17.pdf
diff --git a/content/courses/cose215/2016/slides/lec18.pdf b/content/courses/cose215/2016/slides/lec18.pdf
diff --git a/content/courses/cose215/2016/slides/lec2.pdf b/content/courses/cose215/2016/slides/lec2.pdf
diff --git a/content/courses/cose215/2016/slides/lec3-1.pdf b/content/courses/cose215/2016/slides/lec3-1.pdf
diff --git a/content/courses/cose215/2016/slides/lec3-2.pdf b/content/courses/cose215/2016/slides/lec3-2.pdf
diff --git a/content/courses/cose215/2016/slides/lec3-3.pdf b/content/courses/cose215/2016/slides/lec3-3.pdf
diff --git a/content/courses/cose215/2016/slides/lec4.pdf b/content/courses/cose215/2016/slides/lec4.pdf
diff --git a/content/courses/cose215/2016/slides/lec5.pdf b/content/courses/cose215/2016/slides/lec5.pdf
diff --git a/content/courses/cose215/2016/slides/lec6.pdf b/content/courses/cose215/2016/slides/lec6.pdf
diff --git a/content/courses/cose215/2016/slides/lec7.pdf b/content/courses/cose215/2016/slides/lec7.pdf
diff --git a/content/courses/cose215/2016/slides/lec8.pdf b/content/courses/cose215/2016/slides/lec8.pdf
diff --git a/content/courses/cose215/2016/slides/lec9.pdf b/content/courses/cose215/2016/slides/lec9.pdf
diff --git a/content/courses/cose215/2016/syllabus.pdf b/content/courses/cose215/2016/syllabus.pdf