Kyeongmin Cho (조경민)
I am an NPU compiler engineer at Rebellions, specializing in optimizing neural processing workloads.
I received my Ph.D. in Computer Science from KAIST School of Computing, where I had the privilege of being advised by Jeehoon Kang. Before that, I completed my undergraduate studies at Inha University.
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.
news
| Sep 03, 2024 | Excited to share that today marks my first day at Rebellions as a member of the Compiler Team! |
|---|---|
| Aug 19, 2024 | Our paper “Quantum Probabilistic Model Checking for Time-Bounded Properties” has been accepted to OOPSLA 2024. |
| Aug 09, 2024 | I’ve moved from the KAIST dorms to my new place in Bundang, Seongnam. |
| Jun 10, 2024 | I will be joining Rebellions Inc. as a compiler engineer in September 2024. |
| Jun 05, 2024 | My Ph.D. defense, titled “Principles of Byte-Addressable Persistency”, was completed. |