Ik-Soon Kim

A Study on Development of Intelligent CCTV Security System based on BIM

Hyun-Shik Shin, Ik-Soon Kim, Hyun-Shik Shin, 2011 .

Type and Effect System for Multi-staged Exceptions

Kwangkeun Yi, Hyunjun Eo, Ik-Soon Kim, 2006, APLAS.

A polymorphic modal type system for lisp-like multi-staged languages

Kwangkeun Yi, Cristiano Calcagno, Ik-Soon Kim, 2006, POPL '06.

A method for prompt dynamic memory reclamation

Ohseok Kwon, Sunja Kim, Ik-Soon Kim, 2012, 2012 6th International Conference on New Trends in Information Science, Service Science and Data Mining (ISSDM2012).

Error repair with validation in LR-based parsing

Kwang-Moo Choe, Ik-Soon Kim, K. Choe, 2001, TOPL.