Hyun-Goo Kang

Publication Activity (10 Years)

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

Publications

Hyun-Goo Kang, Taisook Han
A bottom-up pointer analysis using the update history. Inf. Softw. Technol. 51 (4) (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)
Choonho Son, Jeong-Han Yun, Hyun-Goo Kang, Taisook Han
Automatic Hardware/Software Interface Generation for Embedded System. J. Inf. Process. Syst. 2 (3) (2006)
Hyun-Goo Kang, Youil Kim, Taisook Han, Hwansoo Han
A Path Sensitive Type System for Resource Usage Verification of C Like Languages. APLAS (2005)