Error repair with validation in LR-based parsing. - Ik-Soon Kim; Kwang-Moo Choe (ACM Trans. Program. Lang. Syst., 2001)

Type and Effect System for Multi-staged Exceptions. - Hyunjun Eo; Ik-Soon Kim; Kwangkeun Yi (APLAS, 2006)

A polymorphic modal type system for lisp-like multi-staged languages. - Ik-Soon Kim; Kwangkeun Yi; Cristiano Calcagno (POPL, 2006)

LR error repair using the A* algorithm. - Ik-Soon Kim; Kwangkeun Yi (Acta Informatica, 2010)

Popularity and adjacency based prefetching for efficient IPTV channel navigation. - Soyoon Lee; Hyewon Moon; Hyokyung Bahn; Taeseok Kim; Ik-Soon Kim (IEEE Trans. Consumer Electron., 2011)