Kyeongmin Cho (조경민)

I received my Ph.D. in August 2024 and have since joined the startup Rebellions. This page will no longer be updated, and you can find my latest information at kyeongmincho.com.

For my Ph.D., my research primarily focused on persistent memory (PM). Specifically, I have dedicated my efforts to systematic programming principles to fully harness the potential of PM through formal abstractions, advancing the reliability and performance of PM systems.

Since joining the Concurrency and Parallelism Laboratory in 2019, I have had an incredibly fulfilling time. I was fortunate to engage in enjoyable research with Prof. Jeehoon Kang and my colleagues, achieving milestones that would have been impossible without their support and collaboration.

Below are my key accomplishments during my time in the lab:

Publications

• (Ph.D. Dissertation 2024) Principles of Byte-Addressable Persistency.
  Kyeongmin Cho.
  School of Computing, KAIST, Korea.
  [paper: local]

• (OOPSLA 2024) Quantum Probabilistic Model Checking for Time-bounded Properties.
  Seungmin Jeon, Kyeongmin Cho, Changu Kang, Janggun Lee, Hakjoo Oh, Jeehoon Kang.
  Object-oriented Programming, Systems, Languages, and Applications. (to appear).
  ​ ​ ​
  

• (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

Awards and Honors

• NAVER Ph.D. Fellowship Award, NAVER Corp., 2021.

Invited Talks

• Chasing Dragons: Persistent Memory Programming, 2023 Presented at the Korean Institute of Information Scientists and Engineers SIGPL Summer School [slide]

• Memento: A Framework for Detectable Recoverability in Persistent Memory, 2023 Presented at the Samsung Global Technology Symposium [poster]

• Revamping Hardware Persistency Models, 2021 Presented at the Korea Software Congress (KSC) [slide]

Teaching Experience

• KAIST CS220: Programming Principles, from September 2023 to December 2023. Teaching Assistant (Instructor: Jeehoon Kang)

• KAIST CS420: Compiler Design, from March 2022 to June 2022. Teaching Assistant (Instructor: Jeehoon Kang)

• KAIST CS431: Concurrent Programming, from September 2021 to December 2021. Teaching Assistant (Instructor: Jeehoon Kang)

• KAIST CS230: System Programming, from March 2021 to June 2021. Teaching Assistant (Instructor: Jeehoon Kang)