Jeho Yeon (연제호)

I am an Undergraduate Student at KAIST School of Computing. I am interested in concurrent programming.

Contact

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

Education

• (2025) B.S. in School of Computing. KAIST (expected).

Publications

• (PLDI 2025) Verifying General-Purpose RCU for Reclamation in Relaxed Memory Separation Logic.
  Jaehwang Jung, Sunho Park, Janggun Lee, Jeho Yeon, Jeehoon Kang.
  ACM SIGPLAN conference on Programming Languages Design and Implementation (Distinguished Paper Award).
  [paper: doi, local] ​ ​ ​