Sunae Seo

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Jeong-Han Yun, Chul-Joo Kim, Sunae Seo, Taisook Han, Kwang-Moo Choe
Refining schizophrenia via graph reachability in Esterel. MEMOCODE (2009)
Sunae Seo, Youil Kim, Hyun-Goo Kang, Taisook Han
A Static Bug Detector for Uninitialized Field References in Java Programs. IEICE Trans. Inf. Syst. (10) (2007)
Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han
Goal-directed weakening of abstract interpretation results. ACM Trans. Program. Lang. Syst. 29 (6) (2007)
Sunae Seo, Hongseok Yang, Kwangkeun Yi
Automatic Construction of Hoare Proofs from Abstract Interpretation Results. APLAS (2003)