Jeonghyeon Kim (김정현)

I’m currently pursuing a Master’s degree at the Graduate School of AI Semiconductor, KAIST. After earning my bachelor’s degree in Computer Science from the University of Seoul, I joined the Concurrency and Parallelism Laboratory to explore more effective methods for reasoning about concurrent and parallel systems.

I kicked off my research journey by contributing to Jaehwang’s HP++ project, an extension of Hazard pointers designed for enhanced applicability. Building on that, my current focus revolves around devising an innovative approach to further enhance the hazard pointer scheme, aiming to achieve both improved performance and robustness.

Additionally, I have a keen interest in verifying critical systems, particularly distributed systems and file systems. Presently, I am collaborating with Northeastern University on developing a framework for verifying the safety and liveness of a distributed key-value store.

Contact

• Email: jeonghyeon.kim@kaist.ac.kr
• GitHub: powergee
• Bibliography: ORCID, DBLP, Google Scholar
• Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)

Education

• (2024 - Current) M.S. student in AI Semiconductor. KAIST (supervisor: Prof. Jeehoon Kang).

• (2022) B.S. in Computer Science. University of Seoul.

Publications

• (PLDI 2025) Leveraging Immutability to Validate Hazard Pointers for Optimistic Traversals.
  Janggun Lee, Jeonghyeon Kim, Jeehoon Kang.
  ACM SIGPLAN conference on Programming Languages Design and Implementation (to appear).
  [paper: local] ​ [artifact: proof, benchmark] ​ ​
  

• (SPAA 2024) Expediting Hazard Pointers with Bounded RCU Critical Sections.
  Jeonghyeon Kim, Jaehwang Jung, Jeehoon Kang.
  ACM Symposium on Parallelism in Algorithms and Architectures (Best Paper Award).
  [paper: doi, local] ​ [artifact: benchmark] ​ ​
  

• (PLDI 2024) Concurrent Immediate Reference Counting.
  Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, Jeehoon Kang.
  ACM SIGPLAN conference on Programming Languages Design and Implementation.
  [paper: doi, local] ​ [artifact: benchmark] ​ ​
  

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

Awards and Honors

• Academic Excellence Award (Top Student in Spring 2020), University of Seoul, 2020.

• 14th place (by ICPC rules), International Collegiate Programming Contest (ICPC) Seoul Regional, 2020.

• The Special Award in Auto-driving Car, The World Embedded Software Contest 2020, Hyundai & Ministry of Trade, Industry and Energy, 2021.

• The Encouragement Award, ‘22 Hyundai Mobis Algorithm Competition, Hyundai Mobis, 2022.

• 2nd place, Goorm Algorithm Monday Challenge, Goorm, 2022.