Jong-Deok Choi, Keunwoo Lee, et al.
PLDI 2002
Jong-Deok Choi, Keunwoo Lee, et al.
PLDI 2002
Jong-Deok Choi, Barton P. Miller, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)
Sang Jeong Lee, Kyung Dong Ryu, et al.
ICWS 2007
Jong-Deok Choi, Janice M. Stone
WPADD 1991