 | 2009 |
|---|
| 4 |       | Hyun-Goo Kang,
Taisook Han:
A bottom-up pointer analysis using the update history.
Information & Software Technology 51(4): 691-707 (2009) |
| 2007 |
|---|
| 3 | | Sunae Seo,
Youil Kim,
Hyun-Goo Kang,
Taisook Han:
A Static Bug Detector for Uninitialized Field References in Java Programs.
IEICE Transactions 90-D(10): 1663-1671 (2007) |
| 2006 |
|---|
| 2 | | Choonho Son,
Jeong-Han Yun,
Hyun-Goo Kang,
Taisook Han:
Automatic Hardware/Software Interface Generation for Embedded System.
JIPS 2(3): 137-142 (2006) |
| 2005 |
|---|
| 1 | | Hyun-Goo Kang,
Youil Kim,
Taisook Han,
Hwansoo Han:
A Path Sensitive Type System for Resource Usage Verification of C Like Languages.
APLAS 2005: 264-280 |
