update

kupl · May 3, 2024 · 97a3ad7 · 97a3ad7
1 parent ed50ec2
commit 97a3ad7
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 7 deletions.
diff --git a/content/courses/cose419/2024/_index.md b/content/courses/cose419/2024/_index.md
@@ -11,13 +11,15 @@ title = 'COSE419-24S'
 - TAs: [Jisuk Byun]({{< ref "/members/jisuk-byun" >}}), [Donguk Kim]({{< ref "/members/donguk-kim" >}})
 
 
-## Slides
-### Part 1: Introduction 
+## Lectures
+### Part 0: Overview 
 - Course Overview
     - Slides: [lec0.pdf](./slides/lec0.pdf) 
 - Introduction to Software Analysis
     - Slides: [lec1.pdf](./slides/lec1.pdf) 
     - Video: [(1)](https://www.youtube.com/watch?v=AngZAxUIIys) [(2)](https://youtu.be/xZ2yPZ-zWjY)
+
+### Part 1: Testing
 - Greybox Fuzzing
     - Slides: [lec2.pdf](./slides/lec2.pdf)
     - Code: [greybox.py](./greybox.py)
@@ -26,7 +28,7 @@ title = 'COSE419-24S'
     - Slides: [lec3.pdf](./slides/lec3.pdf) 
     - Video: [(1)](https://youtu.be/b7QWsEf-6nU)
 
-### Part 2: Program Verification
+### Part 2: Verification
 - Propositional Logic
     - Slides [lec4.pdf](./slides/lec4.pdf)
     - Video: [(1)](https://youtu.be/ImigmSCqyUE) [(2)](https://youtu.be/-sBjLmDF4Wk) [(3)](https://youtu.be/-fDGoz2ebb8)
@@ -41,12 +43,12 @@ title = 'COSE419-24S'
     - Video: [(1)](https://youtu.be/5jWD2H44u7A) [(2)](https://youtu.be/gV9IZ5Zuuc8) 
 - Program Specification
     - Slides [lec8.pdf](./slides/lec8.pdf)
-    - Video: [(1)](https://youtu.be/qQh5UvtETuo)
+    - Video: [(1)](https://youtu.be/qQh5UvtETuo) [(2)](https://youtu.be/nTDGG32NGiY)
 - Partial Correctness Proof
     - Slides [lec9.pdf](./slides/lec9.pdf)
-    - Video: 
+    - Video: [(1)](https://youtu.be/LBiAxQOhSeg)
 
-### Part 3: Abstract Interpretation 
+### Part 3: Static Analysis
 
 ## Assignments
 

diff --git a/content/members/hakjoo-oh/index.md b/content/members/hakjoo-oh/index.md
@@ -43,7 +43,7 @@ cv = 'cv.pdf'
 
 ## Program Committee (PC)
 
-- 2025: [ICSE](https://conf.researchr.org/home/icse-2025)
+- 2025: [ICSE](https://conf.researchr.org/home/icse-2025) [POPL](https://conf.researchr.org/home/POPL-2025)
 - 2024: [PLDI](https://pldi24.sigplan.org), [ISSTA](https://conf.researchr.org/home/issta-2024), [ICSE](https://conf.researchr.org/track/icse-2024/icse-2024-research-track)
 - 2023: [ISSTA](https://2023.issta.org/track/issta-2023-technical-papers), [CC](https://conf.researchr.org/home/CC-2023)
 - 2022: [OOPSLA](https://2022.splashcon.org/track/splash-2022-oopsla?), [ISSTA](https://conf.researchr.org/home/issta-2022), [PLDI](https://pldi22.sigplan.org/)