Promising-ARM/RISC-V: a simpler and faster operational concurrency model. - Christopher Pulte; Jean Pichon-Pharabod; Jeehoon Kang; Sung-Hwan Lee 001; Chung-Kil Hur (PLDI, 2019)

Promising 2.0: global optimizations in relaxed memory concurrency. - Sung-Hwan Lee 001; Minki Cho; Anton Podkopaev; Soham Chakraborty 001; Chung-Kil Hur; Ori Lahav 001; Viktor Vafeiadis (PLDI, 2020)

Modular data-race-freedom guarantees in the promising semantics. - Minki Cho; Sung-Hwan Lee 001; Chung-Kil Hur; Ori Lahav 001 (PLDI, 2021)

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)

Sequential reasoning for optimizing compilers under weak memory concurrency. - Minki Cho; Sung-Hwan Lee 001; Dongjae Lee; Chung-Kil Hur; Ori Lahav 001 (PLDI, 2022)

Putting Weak Memory in Order via a Promising Intermediate Representation. - Sung-Hwan Lee 001; Minki Cho; Roy David Margalit; Chung-Kil Hur; Ori Lahav 001 (Proc. ACM Program. Lang., 2023)

VeriRT: An End-to-End Verification Framework for Real-Time Distributed Systems. - Yoonseung Kim; Sung-Hwan Lee 001; Yonghyun Kim; Chung-Kil Hur (Proc. ACM Program. Lang., 2025)