Jaewoo Kim (2)

Email: jaewoo.kim.2 (at) sf.snu.ac.kr

(OOPSLA 2025) Revamping Verilog Semantics for Foundational Verification.
Joonwon Choi∗, Jaewoo Kim∗, and Jeehoon Kang.
∗Co-first authors with equal contributions.
Proceedings of the ACM on Programming Languages, Volume 9, OOPSLA2, October 2025.
Distinguished Paper Award.
[publisher page]
(PLDI 2024) A Proof Recipe for Linearizability in Relaxed Memory Separation Logic.
Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, and Jeehoon Kang.
Proceedings of the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2024.
[paper: pdf] [project page] [publisher page]
(OOPSLA 2023) Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic.
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, and Jeehoon Kang.
Proceedings of the ACM on Programming Languages, Volume 7, OOPSLA2, October 2023.
[paper: pdf] [project page] [publisher page]

Mar. 2026 – Current, Ph.D. Student, Computer Science and Engineering, Seoul National University
Mar. 2024 – Feb. 2026, M.S., Computer Science, Korea Advanced Institute of Science and Technology (KAIST)
Mar. 2019 - Feb. 2024, B.S., Computer Science, Korea Advanced Institute of Science and Technology (KAIST)

Verification of high-level synthesis (HLS) compilers for verified hardware pipelines