Kyeongmin Cho (조경민)
I am a Ph.D. Student at Concurrency and Parallelism Laboratory, KAIST School of Computing. I am very fortunate to be advised by Prof. Jeehoon Kang. Prior to KAIST, I received my B.S. in CSE and B.A. in Philosophy from Inha University.
My primary research interests lie in the area of concurrency, persistency and programming languages. In particular, I am interested in developing and verifying design patterns for coordinating concurrent accesses, and using the design patterns, building practical concurrent systems.
Contact
-
Email: kyeongmin.cho@kaist.ac.kr
-
GitHub: drzix
-
Bibliography: 
ORCID,
DBLP,
Google Scholar
-
Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)
Education
-
(2019 - Current) Ph.D. student in Computer Science. KAIST (supervisor: Prof. Jeehoon Kang).
-
(2019) B.S. in Computer Science and Engineering and B.A. in Philosophy. Inha University.
Publications
-
(PLDI 2023)
Memento: A Framework for Detectable Recoverability in Persistent Memory.
Kyeongmin Cho, Seungmin Jeon, Azalea Raad, Jeehoon Kang.
ACM SIGPLAN conference on Programming Languages Design and Implementation.
[paper: doi, local] [artifact: development]
-
(PLDI 2021)
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8.
Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, Jeehoon Kang.
ACM SIGPLAN conference on Programming Languages Design and Implementation.
[paper: doi, local] [artifact: proof, model checker]
Professional Activities
- 2022 POPL AEC member
Experiences
-
Director, Marketit Inc., July, 2016 - August, 2017.
-
Mentee, Software Maestro, June, 2015 – June, 2016.
Awards and Honors
-
NAVER PhD Fellowship Award, NAVER Corp., 2021.
-
Grand Prize, Capstone Project Competition, Dept. of Computer Science and Engineering, Inha University, 2018.
-
14th place, ACM International Collegiate Programming Contest (ICPC) Regional Contest—Daejeon, 2014.
-
Kiwoom Securities Financial Scholarship, Kiwoom Securities Corp., 2014 - 2015.