Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. - Oukseh Lee; Kwangkeun Yi (ACM Trans. Program. Lang. Syst., 1998)

A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. - Oukseh Lee; Kwangkeun Yi (APLAS, 2000)

An Effect System Combining Alias and Liveness for Explicit Memory Reuse. - Oukseh Lee (APLAS, 2001)

Inserting Safe Memory Re-use Commands into ML-like Programs. - Oukseh Lee; Hongseok Yang; Kwangkeun Yi (APLAS, 2002)

A proof method for the correctness of modularized 0CFA. - Oukseh Lee; Kwangkeun Yi; Yunheung Paek (Inf. Process. Lett., 2002)

Inserting Safe Memory Reuse Commands into ML-Like Programs. - Oukseh Lee; Hongseok Yang; Kwangkeun Yi (SAS, 2003)

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

Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. - Oukseh Lee; Kwangkeun Yi (ISMM, 2004)

Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. - Oukseh Lee; Hongseok Yang; Kwangkeun Yi (ESOP, 2005)

Static insertion of safe and effective memory reuse commands into ML-like programs. - Oukseh Lee; Hongseok Yang; Kwangkeun Yi (Sci. Comput. Program., 2005)

A Practical String Analyzer by the Widening Approach. - Tae-Hyoung Choi; Oukseh Lee; Hyunha Kim; Kyung-Goo Doh (APLAS, 2006)

Automatic Extraction of Semantic Relationships from Images Using Ontologies and SVM Classifiers. - Jin-Woo Jeong; Kyung-Wook Park; Oukseh Lee; Dong-Ho Lee (MCAM, 2007)

Scalable Shape Analysis for Systems Code. - Hongseok Yang; Oukseh Lee; Josh Berdine; Cristiano Calcagno; Byron Cook; Dino Distefano; Peter W. O'Hearn (CAV, 2008)

Program Analysis for Overlaid Data Structures. - Oukseh Lee; Hongseok Yang; Rasmus Petersen (CAV, 2011)

A divide-and-conquer approach for analysing overlaid data structures. - Oukseh Lee; Hongseok Yang; Rasmus Petersen (Formal Methods Syst. Des., 2012)