I was a Master Student at KAIST School of Computing. I studied formal verification of concurrent systems - in particular, I worked on formal verification of concurrent real-world programs.
(2023) M.S. student in Computer Science. KAIST (supervisor: Prof. Jeehoon Kang).
(2021) B.S. in Computer Science. KAIST.
Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic.
Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, Jeehoon Kang.
Object-oriented Programming, Systems, Languages, and Applications.
[paper: doi, local] [artifact: Coq proofs]
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic.
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, Derek Dreyer.
ACM SIGPLAN conference on Programming Languages Design and Implementation.
[paper: doi, local]
Awards and Honors
2nd place (by ICPC rules), International Collegiate Programming Contest (ICPC) Seoul Regional, 2020.
3rd place award, Samsung Collegiate Programming Cup (SCPC), 2020.