GMeta: A Generic Formal Metatheory Framework for First-Order Representations. - Gyesik Lee; Bruno C. d. S. Oliveira; Sungkeun Cho; Kwangkeun Yi (ESOP, 2012)

Crellvm: verified credible compilation for LLVM. - Jeehoon Kang; Yoonseung Kim; Youngju Song; Juneyoung Lee; Sanghoon Park; Mark Dongyeon Shin; Yonghyun Kim; Sungkeun Cho; Joonwon Choi; Chung-Kil Hur; Kwangkeun Yi (PLDI, 2018)

Static Resource Analysis at Scale (Extended Abstract). - Ezgi Çiçek; Mehdi Bouaziz; Sungkeun Cho; Dino Distefano (SAS, 2020)