Jaehwang Jung (정재황)
I am a PhD student at Concurrency and Parallelism Laboratory, KAIST School of Computing. I am mainly interested in verifying programs using concurrent separation logic. Specifically, I’m focusing on concurrent programs with a complex interaction of libraries and manual memory management on weak memory models.
Contact
-
Email: jaehwang.jung@kaist.ac.kr
-
GitHub: tomtomjhj
-
Bibliography: 
ORCID,
DBLP,
Google Scholar
-
Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
Education
-
(2020 - Current) Ph.D. student in Computer Science. KAIST (supervisor: Prof. Jeehoon Kang).
-
(2020) B.S. in Computer Science. KAIST.
Publications
-
(OOPSLA 2023)
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]
-
(SPAA 2023)
Applying Hazard Pointers to More Concurrent Data Structures.
Jaehwang Jung, Janggun Lee, Jeonghyeon Kim, Jeehoon Kang.
ACM Symposium on Parallelism in Algorithms and Architectures.
[paper: doi, local] [artifact: development, benchmark]
-
(PLDI 2022)
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]
-
(PLDI 2020)
A Marriage of Pointer- and Epoch-Based Reclamation.
Jeehoon Kang, Jaehwang Jung.
ACM SIGPLAN conference on Programming Languages Design and Implementation.
[paper: doi, local] [artifact: benchmark]
Experiences
-
Intern, Runtime Verification Inc., May, 2018 - August, 2018, January, 2019 - February 2019.