Automatic Construction of Hoare Proofs from Abstract Interpretation Results. - Sunae Seo; Hongseok Yang; Kwangkeun Yi (APLAS, 2003)

A Static Bug Detector for Uninitialized Field References in Java Programs. - Sunae Seo; Youil Kim; Hyun-Goo Kang; Taisook Han (IEICE Trans. Inf. Syst., 2007)

Goal-directed weakening of abstract interpretation results. - Sunae Seo; Hongseok Yang; Kwangkeun Yi; Taisook Han (ACM Trans. Program. Lang. Syst., 2007)

Refining schizophrenia via graph reachability in Esterel. - Jeong-Han Yun; Chul-Joo Kim; Sunae Seo; Taisook Han; Kwang-Moo Choe (MEMOCODE, 2009)