Jaehwang Jung (정재황)

Jaehwang Jung

I am expected to graduate with a PhD in Feb. 2025. I am looking for a position in a Korean organization (industry or academia) that can host a 전문연구요원.

I am a PhD candidate at Concurrency and Parallelism Laboratory, KAIST School of Computing. I have been working on design and verification of algorithms for concurrency, especially on memory management algorithms for non-blocking concurrency and separation logics for weak memory models.

Contact

Education

  • (2025, expected) Ph.D. in Computer Science. KAIST (supervisor: Prof. Jeehoon Kang).

  • (2020) B.S. in Computer Science. KAIST.

Publications

  • (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