Sunho Park (박선호)

I am an Undergraduate Student at KAIST School of Computing and Department of Mathematical Sciences. I am interested in developing and reasoning about safe algorithms, and I have been doing formal verification of concurrent objects with Iris framework on Coq proof assistant. I have particular interest in verification under realistic situation, e.g. weak memory models.

Contact

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

Education

• (2024) B.S. in Computer Science. KAIST (expected).

Publications

• (OOPSLA 2023) Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic.
  Jaehwang Jung, Janggun Lee, Jaemin Choi, Jaewoo Kim, Sunho Park, Jeehoon Kang.
  Object-oriented Programming, Systems, Languages, and Applications.
  [paper: doi, local] ​ [artifact: Coq proofs] ​ ​