update

content/courses/cose419/2024/_index.md

@@ -30,29 +30,32 @@ title = 'COSE419-24S'
 
 ### Part 2: Verification
 - Propositional Logic
-    - Slides [lec4.pdf](./slides/lec4.pdf)
+    - Slides: [lec4.pdf](./slides/lec4.pdf)
     - Video: [(1)](https://youtu.be/ImigmSCqyUE) [(2)](https://youtu.be/-sBjLmDF4Wk) [(3)](https://youtu.be/-fDGoz2ebb8)
 - Problem Solving using SMT Solver 
     - Slides [lec5.pdf](./slides/lec5.pdf)
     - Video: [(1)](https://youtu.be/hyebtnoNvrE) [(2)](https://youtu.be/AcWXRPhsL7E) [(3)](https://youtu.be/yhgecAwoSz0)
 - First-order Logic
-    - Slides [lec6.pdf](./slides/lec6.pdf)
+    - Slides: [lec6.pdf](./slides/lec6.pdf)
     - Video: [(1)](https://youtu.be/k6WBwBETWBU) [(2)](https://youtu.be/rJ0R_MU_pt0)
 - First-order Theories
-    - Slides [lec7.pdf](./slides/lec7.pdf)
+    - Slides: [lec7.pdf](./slides/lec7.pdf)
     - Video: [(1)](https://youtu.be/5jWD2H44u7A) [(2)](https://youtu.be/gV9IZ5Zuuc8) 
 - Program Specification
-    - Slides [lec8.pdf](./slides/lec8.pdf)
+    - Slides: [lec8.pdf](./slides/lec8.pdf)
     - Video: [(1)](https://youtu.be/qQh5UvtETuo) [(2)](https://youtu.be/nTDGG32NGiY)
 - Partial Correctness Proof
-    - Slides [lec9.pdf](./slides/lec9.pdf)
+    - Slides: [lec9.pdf](./slides/lec9.pdf)
     - Video: [(1)](https://youtu.be/LBiAxQOhSeg) [(2)](https://youtu.be/wdK23RX3L6E)
 - Total Correctness Proof
-    - Slides [lec10.pdf](./slides/lec10.pdf)
+    - Slides: [lec10.pdf](./slides/lec10.pdf)
     - Video: [(1)](https://youtu.be/TLKScRNs9Mw)
 
 
 ### Part 3: Static Analysis
+- Static Analysis Overview
+    - Slides [lec11.pdf](./slides/lec11.pdf)
+    - Video: [(1)]
 
 ## Assignments
 

data/talks.yaml

@@ -10,14 +10,33 @@
 #       link: https://www.example.com
 #       abstract: https://www.example.com
 
+2024:
+  - title: "PL4XGL: A Programming Language Approach to Explainable Graph Learning"
+    where: "IFIP WG 2.4 Meeting (Lugano)"
+    when: "2024-05-14"
+    materials:
+      slides: /slides/ifip24.pdf
 
 2023:
+  - title: "Data-Driven Static Analysis"
+    where: "IFIP WG 2.4 Meeting (York Harbor)"
+    when: "2023-04-25"
+    materials:
+      slides: /slides/ifip23.pdf
+
   - title: "양자 프로그램 자동 합성"
     where: "컴퓨터시스템소사이어티 동계학술대회."
     when: "2023-02-06"
     materials:
       slides: /slides/comsys2023_slides.pdf
 
+2022:
+  - title: "Data-Driven Static Analysis: Combining Machine Learning and Program Analysis"
+    where: "POPL tutorial"
+    when: "2022-01-28"
+    materials:
+      slides: /slides/popl22tutorial.pdf
+
 2019:
   - title: "VeriSmart: 스마트 컨트랙트 안전성 검증기"
     where: "KAIST 정보보호대학원 세미나."