| 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. |