Merge remote-tracking branch 'origin/main' into jjj

kupl · Nov 5, 2024 · 36d332f · 36d332f
2 parents 81bc297 + 73c1c21
commit 36d332f
Show file tree

Hide file tree

Showing 56 changed files with 156 additions and 77 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,23 @@
++++
+draft = false
+title = 'AAA616-24F'
++++
+
+# Program Analysis, 2024 Fall
+
+## Course Information
+
+- Instructor: [Hakjoo Oh]({{< ref "/members/hakjoo-oh.md" >}})
+
+## Slides
+
+- Lecture 0: Course Overview [lec0.pdf](./slides/lec0.pdf)
+- Lecture 1: Introduction to Program Analysis [lec1.pdf](./slides/lec1.pdf)
+- Lecture 2: Static Analysis Examples [lec2.pdf](./slides/lec2.pdf)
+- Lecture 3: Operational Semantics [lec3.pdf](./slides/lec3.pdf)
+- Lecture 4: Denotational Semantics [lec4.pdf](./slides/lec4.pdf)
+- Lecture 5: Axiomatic Semantics [lec5.pdf](./slides/lec5.pdf)
+- Lecture 6: Abstract Interpretation [lec6.pdf](./slides/lec6.pdf)
+- Lecture 7: Abstract Interpretation Example (1) [lec7.pdf](./slides/lec7.pdf)
+- Lecture 8: Abstract Interpretation Example (2) [lec8.pdf](./slides/lec8.pdf)
+
diff --git a/content/courses/aaa616/2024/slides/lec0.pdf b/content/courses/aaa616/2024/slides/lec0.pdf
diff --git a/content/courses/aaa616/2024/slides/lec1.pdf b/content/courses/aaa616/2024/slides/lec1.pdf
diff --git a/content/courses/aaa616/2024/slides/lec2.pdf b/content/courses/aaa616/2024/slides/lec2.pdf
diff --git a/content/courses/aaa616/2024/slides/lec3.pdf b/content/courses/aaa616/2024/slides/lec3.pdf
diff --git a/content/courses/aaa616/2024/slides/lec4.pdf b/content/courses/aaa616/2024/slides/lec4.pdf
diff --git a/content/courses/aaa616/2024/slides/lec5.pdf b/content/courses/aaa616/2024/slides/lec5.pdf
diff --git a/content/courses/aaa616/2024/slides/lec6.pdf b/content/courses/aaa616/2024/slides/lec6.pdf
diff --git a/content/courses/aaa616/2024/slides/lec7.pdf b/content/courses/aaa616/2024/slides/lec7.pdf
diff --git a/content/courses/aaa616/2024/slides/lec8.pdf b/content/courses/aaa616/2024/slides/lec8.pdf
diff --git a/content/courses/cose212/2024/_index.md b/content/courses/cose212/2024/_index.md
@@ -0,0 +1,47 @@
++++
+draft = false
+title = 'COSE212-24F'
++++
+
+# 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
+- Homework 1 (Functional Programming) [hw1.pdf](./hw/hw1.pdf) (Due: 9/22 23:59)
+- Homework 2 (Interpreter for Functional Language) [hw2.pdf](./hw/hw2.pdf) (Due: 10/6 23:59)
+- Homework 3 (Interpreter for Imperative Language) [hw3.pdf](./hw/hw3.pdf) (Due: 10/27 23:59)
+- Homework 4 (Static Type System) [hw4.pdf](./hw/hw4.pdf) (Due: 11/17 23:59)
+
+## Programming Environments
+- [실습환경 안내: TryML](./howtotryml.pdf)
+- [실습환경 안내: Local (Docker)](https://github.com/kupl-courses/COSE212-2024fall)
+
+
diff --git a/content/courses/cose212/2024/howtotryml.pdf b/content/courses/cose212/2024/howtotryml.pdf
diff --git a/content/courses/cose212/2024/hw/hw1.pdf b/content/courses/cose212/2024/hw/hw1.pdf
diff --git a/content/courses/cose212/2024/hw/hw2.pdf b/content/courses/cose212/2024/hw/hw2.pdf
diff --git a/content/courses/cose212/2024/hw/hw3.pdf b/content/courses/cose212/2024/hw/hw3.pdf
diff --git a/content/courses/cose212/2024/hw/hw4.pdf b/content/courses/cose212/2024/hw/hw4.pdf
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
diff --git a/content/gallery/2024/SIGPL24S.jpg b/content/gallery/2024/SIGPL24S.jpg
diff --git a/content/members/_index.md b/content/members/_index.md
@@ -54,7 +54,6 @@ weight = 20
 {{< cfg/item >}}{{< name-card id="jisuk-byun">}}{{< /cfg/item >}}
 {{< cfg/item >}}{{< name-card id="doyeon-hwang">}}{{< /cfg/item >}}
 {{< cfg/item >}}{{< name-card id="minsu-kim">}}{{< /cfg/item >}}
-{{< cfg/item >}}{{< name-card id="seungwon-han">}}{{< /cfg/item >}}
 {{< cfg/item >}}{{< name-card id="wonseok-oh">}}{{< /cfg/item >}}
 {{< cfg/item >}}{{< name-card id="haesojin-shin">}}{{< /cfg/item >}}
 {{< /cfg/items >}}
@@ -69,6 +68,7 @@ weight = 20
 {{< cfg/items >}}
 {{< cfg/item >}}{{< name-card id="hayeong-lee">}}{{< /cfg/item >}}
 {{< cfg/item >}}{{< name-card id="donguk-kim">}}{{< /cfg/item >}}
+{{< cfg/item >}}{{< name-card id="miryeong-kang">}}{{< /cfg/item >}}
 {{< /cfg/items >}}
 
 {{< /cfg >}}
@@ -79,12 +79,9 @@ weight = 20
 {{< cfg/nonterminal id="Undergrad. Interns" >}}
 
 {{< cfg/items >}}
-{{< cfg/item >}}{{< name-card id="jisoo-lee">}}{{< /cfg/item >}}
-{{< cfg/item >}}{{< name-card id="miryeong-kang">}}{{< /cfg/item >}}
-{{< cfg/item >}}{{< name-card id="seunghyun-park">}}{{< /cfg/item >}}
+{{< cfg/item >}}{{< name-card id="junyong-heo" >}}{{< /cfg/item >}}
 {{< cfg/item >}}{{< name-card id="joonghoon-lee">}}{{< /cfg/item >}}
 {{< cfg/item >}}{{< name-card id="jiho-shinn" >}}{{< /cfg/item >}}
-{{< cfg/item >}}{{< name-card id="sangwoon-lee">}}{{< /cfg/item >}}
 {{< cfg/item >}}{{< name-card id="mingyu-jo">}}{{< /cfg/item >}}
 {{< cfg/item >}}{{< name-card id="seokho-lee">}}{{< /cfg/item >}}
 {{< /cfg/items >}}
@@ -125,9 +122,9 @@ weight = 20
 {{< cfg/nonterminal id="MS" >}}
 
 {{< cfg/items vertical=true >}}
-{{< cfg/item markdown=true >}}Chan-Gu Kang / 강찬구 (2023.02): KIST{{< /cfg/item >}}
+{{< cfg/item markdown=true >}}Chan-Gu Kang / 강찬구 (2023.02): Furiosa AI{{< /cfg/item >}}
 {{< cfg/item markdown=true >}}Yunji Seo / 서윤지 (2023.02): Hyundai AutoEver{{< /cfg/item >}}
-{{< cfg/item markdown=true >}}Jiseong Bak / 박지성 (2023.02): Labradoh Labs{{< /cfg/item >}}
+{{< cfg/item markdown=true >}}Jiseong Bak / 박지성 (2023.02): Labrador Labs{{< /cfg/item >}}
 {{< cfg/item markdown=true >}}Jongwook Kim / 김종욱 (2023.02): Furiosa AI{{< /cfg/item >}}
 {{< cfg/item markdown=true >}}Jinkook Kim / 김진국 (2023.02): Samsung Electronics{{< /cfg/item >}}
 {{< cfg/item markdown=true >}}Taeyeun Yang / 양태연 (2022.08): Coupang{{< /cfg/item >}}

diff --git a/content/members/dowon-song/index.md b/content/members/dowon-song/index.md
@@ -7,7 +7,7 @@ portrait = 'portrait.jpg'
 
 [[affiliation]]
 name = 'Software Analysis Laboratory'
-url = '/'
+url = 'https://prl.korea.ac.kr'
 [[affiliation]]
 name = 'Dept. of Computer Science and Engineering'
 url = 'https://cs.korea.ac.kr'

diff --git a/content/members/hayeong-lee/index.md b/content/members/hayeong-lee/index.md
@@ -18,3 +18,6 @@ url = 'https://info.korea.ac.kr'
 name = 'Korea University'
 url = 'https://korea.ac.kr'
 +++
+
+# Research Interest
+- Program Synthesis
diff --git a/content/members/jisoo-lee/portrait.jpg b/content/members/jisoo-lee/portrait.jpg
diff --git a/content/members/jisoo-lee/index.md → content/members/junyong-heo/index.md b/content/members/jisoo-lee/index.md → content/members/junyong-heo/index.md
@@ -1,9 +1,9 @@
 +++
 draft = false
-title = 'Jisoo Lee'
-ko = '이지수'
+title = 'Junyong Heo'
+ko = '허준용'
 role = 'Undergraduate Intern'
-portrait = 'portrait.jpg'
+portrait = 'portrait.jpeg'
 
 [[affiliation]]
 name = 'Software Analysis Lab'

diff --git a/content/members/junyong-heo/portrait.jpeg b/content/members/junyong-heo/portrait.jpeg
diff --git a/content/members/minsu-kim/portrait.jpg b/content/members/minsu-kim/portrait.jpg
diff --git a/content/members/miryeong-kang/index.md b/content/members/miryeong-kang/index.md
@@ -2,7 +2,7 @@
 draft = false
 title = 'Miryeong Kang'
 ko = '강미령'
-role = 'Undergraduate Intern'
+role = 'M.S. Student'
 portrait = 'portrait.jpg'
 
 [[affiliation]]

diff --git a/content/members/sangwoon-lee/index.md b/content/members/sangwoon-lee/index.md
diff --git a/content/members/sangwoon-lee/portrait.jpg b/content/members/sangwoon-lee/portrait.jpg
diff --git a/content/members/seunghyun-park/index.md b/content/members/seunghyun-park/index.md
diff --git a/content/members/seunghyun-park/portrait.jpeg b/content/members/seunghyun-park/portrait.jpeg
diff --git a/content/members/seungwon-han/index.md b/content/members/seungwon-han/index.md
diff --git a/content/members/seungwon-han/portrait.jpg b/content/members/seungwon-han/portrait.jpg
diff --git a/data/publications.yaml b/data/publications.yaml
@@ -28,6 +28,43 @@
 #         ko: https://www.media2.com
 
 2024:
+  - title: "Towards Effective Static Type-Error Detection for Python"
+    authors:
+      - Wonseok Oh
+      - Hakjoo Oh
+    target: 
+      name: "ASE 2024: IEEE/ACM International Conference on Automated Software Engineering"
+      url: https://conf.researchr.org/home/ase-2024
+    materials:
+      pdf: /papers/ase24_wonseok.pdf
+
+  - title: "Effective Unit Test Generation for Java Null Pointer Exceptions"
+    authors:
+      - Myungho Lee
+      - Jiseong Bak
+      - Seokhyeon Moon
+      - Yoon-Chan Jhi
+      - Hakjoo Oh
+    target: 
+      name: "ASE 2024: IEEE/ACM International Conference on Automated Software Engineering"
+      url: https://conf.researchr.org/home/ase-2024
+    materials:
+      pdf: 
+
+  - title: "Quantum Probabilistic Model Checking"
+    authors:
+      - Seungmin Jeon
+      - Kyeongmin Cho
+      - Chan Gu Kang 
+      - Janggun Lee
+      - Hakjoo Oh
+      - Jeehoon Kang
+    target: 
+      name: "OOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications"
+      url: https://2024.splashcon.org/track/splash-2024-oopsla
+    materials:
+      pdf: 
+
   - title: "Statistical Testing of Quantum Programs via Fixed-Point Amplitude Amplification"
     authors:
       - Chan Gu Kang 
@@ -37,7 +74,10 @@
       name: "OOPSLA 2024: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications"
       url: https://2024.splashcon.org/track/splash-2024-oopsla
     materials:
-      pdf: 
+      pdf: https://dl.acm.org/doi/pdf/10.1145/3689716
+      appendix: https://zenodo.org/records/13335928
+      artifact: https://zenodo.org/records/13370788
+
 
   - title: "PL4XGL: A Programming Language Approach to Explainable Graph Learning"
     authors:

diff --git a/data/trips.yaml b/data/trips.yaml
@@ -18,6 +18,28 @@
 #           link: /reports/report_name2.pdf
 
 2024:
+  - name: ASE 2024
+    from: 2024-10-27
+    to: 2024-11-01
+    where: Sacramento, California, United States
+    materials:
+      reports:
+        - name: Myungho
+          link: /
+        - name: Wonseok
+          link: /
+
+  - name: SPLASH 2024
+    from: 2024-10-20
+    to: 2024-10-25
+    where: Pasadena, California, United States
+    materials:
+      reports:
+        - name: Joonghoon
+          link: /
+        - name: Jiho
+          link: /
+
   - name: PLDI 2024
     from: 2024-06-24
     to: 2024-06-30
@@ -40,6 +62,7 @@
     to: 2024-05-16
     where: Lugano, Switzerland
     materials:
+      photos: https://photos.app.goo.gl/VVuUmjXLVr2oNTBaA
       slides: /slides/ifip24.pdf
 
 2023:

diff --git a/layouts/partials/publication/materials.html b/layouts/partials/publication/materials.html
@@ -6,6 +6,10 @@
 [{{ partial "hook/link.html" (dict "dest" . "text" "pdf") }}]
 {{ end }}
 
+{{ with .appendix }}
+[{{ partial "hook/link.html" (dict "dest" . "text" "appendix") }}]
+{{ end }}
+
 {{ with .artifact }}
 [{{ partial "hook/link.html" (dict "dest" . "text" "artifact") }}]
 {{ end }}

diff --git a/static/papers/ase24_wonseok.pdf b/static/papers/ase24_wonseok.pdf