An Improved Differential Fixpoint Iteration Method for Program Analysis. - Hyunjun Eo; Kwangkeun Yi (APLAS, 2002)

Static Extensionality Checking for Lambda-Definable Functions Over Lattices. - Kwangkeun Yi; Hyunjun Eo (APLAS, 2002)

Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. - Hyunjun Eo; Oukseh Lee; Kwangkeun Yi (New Gener. Comput., 2003)

Static Extensivity Analysis for ?-Definable Functions over Lattices. - Hyunjun Eo; Kwangkeun Yi; Kwang-Moo Choe (New Gener. Comput., 2005)

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