Kyeongmin Cho (조경민)

“I am expected to graduate with a Ph.D. in August 2024 and plan to enter the job market. I am actively seeking career opportunities where I can apply my expertise in storage systems, compilers, and verification.”

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: kyeongmincho
• Bibliography: ORCID, DBLP, Google Scholar
• Place: Rm. 4441, Bldg. E3-1, KAIST (+82-42-350-7878)

Education

• (2024, expected) Ph.D. 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.

Calendar