2008 |
22 | EE | Heewan Park,
Seokwoo Choi,
Hyun-il Lim,
Taisook Han:
Detecting Java Theft Based on Static API Trace Birthmark.
IWSEC 2008: 121-135 |
21 | EE | Hyun-il Lim,
Heewan Park,
Seokwoo Choi,
Taisook Han:
Detecting Theft of Java Applications via a Static Birthmark Based on Weighted Stack Patterns.
IEICE Transactions 91-D(9): 2323-2332 (2008) |
2007 |
20 | EE | Seokwoo Choi,
Heewan Park,
Hyun-il Lim,
Taisook Han:
A Static Birthmark of Binary Executables Based on API Call Structure.
ASIAN 2007: 2-16 |
19 | EE | Sunae Seo,
Hongseok Yang,
Kwangkeun Yi,
Taisook Han:
Goal-directed weakening of abstract interpretation results.
ACM Trans. Program. Lang. Syst. 29(6): (2007) |
18 | EE | 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 |
17 | EE | Jeong-Han Yun,
Gunwoo Kim,
Choonho Son,
Taisook Han:
Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools.
EUC 2006: 742-753 |
2005 |
16 | EE | 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 |
2003 |
15 | EE | Kwanghoon Choi,
Taisook Han:
A type system for the push-enter model.
Inf. Process. Lett. 87(4): 205-211 (2003) |
2001 |
14 | | Kwanghoon Choi,
Taisook Han:
A Type System for the Push-Enter Model.
APLAS 2001: 13-27 |
13 | EE | Kwanghoon Choi,
Hyun-il Lim,
Taisook Han:
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine.
FLOPS 2001: 92-107 |
2000 |
12 | | Joonseon Ahn,
Taisook Han:
An Analytical Method for Parallelization of Recursive Functions.
Parallel Processing Letters 10(1): 87-98 (2000) |
11 | | Joonseon Ahn,
Taisook Han:
An Analytical Method for Parallelization of Recursive Functions.
Parallel Processing Letters 10(4): 359-370 (2000) |
1999 |
10 | EE | Jeonghee Kim,
Taisook Han,
Suk Kyoon Lee:
Visualization of Path Expressions in a Virtual Object-Oriented Database Query Language.
DASFAA 1999: 99-108 |
9 | | Gyun Woo,
Taisook Han:
ZG-machine: a Space-Efficient G-machine.
Scottish Functional Programming Workshop 1999: 106-115 |
1997 |
8 | EE | Sungwoo Park,
Taisook Han:
Object-Oriented VRML for Multi-User Environments.
VRML 1997: 25-32 |
7 | | Seong-Pyo Kim,
Taisook Han:
Fault-Tolerant Wormhole Routing in Mesh with Overlapped Solid Fault Regions.
Parallel Computing 23(13): 1937-1962 (1997) |
1994 |
6 | | Min-Soo Jung,
Kwang-Moo Choe,
Taisook Han:
An Efficient Computation of Right Context for LR-Based Error Repair.
Inf. Process. Lett. 49(2): 63-71 (1994) |
1993 |
5 | | Byeong-Mo Chang,
Kwang-Moo Choe,
Taisook Han:
Efficient Bottom-Up Execution of Logic Programs Using Abstract Interpretation.
Inf. Process. Lett. 47(3): 149-157 (1993) |
4 | | In-Sig Yun,
Kwang-Moo Choe,
Taisook Han:
Syntactic Error Repair Using Repair Patterns.
Inf. Process. Lett. 47(4): 189-196 (1993) |
3 | | Byeong-Mo Chang,
Kwang-Moo Choe,
Taisook Han:
Static Filtering on Stratified Programs.
Inf. Process. Lett. 47(5): 237-244 (1993) |
2 | | DongGill Lee,
Kwang-Moo Choe,
Taisook Han:
A Description of Dynamic Behavior for Compilers Based on Object Oriented Modeling.
Inf. Process. Lett. 48(4): 163-170 (1993) |
1992 |
1 | | Do-Hyung Kim,
Kwang-Moo Choe,
Taisook Han:
Refined Mark(s)-Set-Based Backtrack Literal Selection for and Parallelism in Logic Programs.
Parallel Processing Letters 2: 71-79 (1992) |