| Dec 12, 2025 | Our Korean patent “System and Method for Providing a Programming Framework for Designing High-Performance Non-Volatile Memory Objects with High Usability” has been registered as KR102899281B1. |
| Nov 07, 2025 | Our Korean patent “Compiling Method, Electronic Device Performing the Same, and Non-Transitory Computer-Readable Recording Medium” has been registered as KR102883220B1. |
| Feb 14, 2025 | My Ph.D. thesis, “Principles of Byte-Addressable Persistency,” has received the 2024 Outstanding Ph.D. Thesis Award from the KAIST School of Computing. |
| 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. |
| Feb 25, 2023 | Our paper “Memento: A Framework for Detectable Recoverability in Persistent Memory” has been accepted to PLDI 2023. |
| Dec 04, 2021 | I have received the NAVER Ph.D. Fellowship Award. |
| Feb 26, 2021 | Our paper “Revamping Hardware Persistency Models” has been accepted to PLDI 2021. |
| Jul 29, 2019 | I moved to Daejeon and joined the Concurrency and Parallelism lab at KAIST as a master student. I am excited to work with Prof. Jeehoon Kang and his team on various research projects. |