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 (to appear).
  ​ ​ ​