Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8. - Kyeongmin Cho; Sung-Hwan Lee 001; Azalea Raad; Jeehoon Kang (PLDI, 2021)

Practical Detectability for Persistent Lock-Free Data Structures. - Kyeongmin Cho; Seungmin Jeon; Jeehoon Kang (CoRR, 2022)

Memento: A Framework for Detectable Recoverability in Persistent Memory. - Kyeongmin Cho; Seungmin Jeon; Azalea Raad; Jeehoon Kang (Proc. ACM Program. Lang., 2023)

Quantum Probabilistic Model Checking for Time-Bounded Properties. - Seungmin Jeon; Kyeongmin Cho; Chan Gu Kang; Janggun Lee; Hakjoo Oh; Jeehoon Kang (Proc. ACM Program. Lang., 2024)