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: 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
-
(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.
[project page] -
(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] [project page] -
(PLDI 2020) A Marriage of Pointer- and Epoch-Based Reclamation.
Jeehoon Kang, Jaehwang Jung.
ACM SIGPLAN conference on Programming Languages Design and Implementation.
[paper] [artifact (Benchmark)]
Experiences
-
Intern, Runtime Verification Inc., May, 2018 - August, 2018, January, 2019 - February 2019.