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]