Search the dblp DataBase

Publications of Author

1. Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh
   A Practical String Analyzer by the Widening Approach. [Citation Graph (0, 0)][DBLP]
   APLAS, 2006, pp:374-388 [Conf]
   
2. Oukseh Lee
   An Effect System Combining Alias and Liveness for Explicit Memory Reuse. [Citation Graph (0, 0)][DBLP]
   APLAS, 2001, pp:133-145 [Conf]
   
3. Oukseh Lee, Kwangkeun Yi
   A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. [Citation Graph (0, 0)][DBLP]
   APLAS, 2000, pp:79-88 [Conf]
   
4. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
   Inserting Safe Memory Re-use Commands into ML-like Programs. [Citation Graph (0, 0)][DBLP]
   APLAS, 2002, pp:317-333 [Conf]
   
5. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
   Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. [Citation Graph (0, 0)][DBLP]
   ESOP, 2005, pp:124-140 [Conf]
   
6. Oukseh Lee, Kwangkeun Yi
   Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. [Citation Graph (0, 0)][DBLP]
   ISMM, 2004, pp:97-107 [Conf]
   
7. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
   Inserting Safe Memory Reuse Commands into ML-Like Programs. [Citation Graph (0, 0)][DBLP]
   SAS, 2003, pp:171-188 [Conf]
   
8. Oukseh Lee, Kwangkeun Yi, Yunheung Paek
   A proof method for the correctness of modularized 0CFA. [Citation Graph (0, 0)][DBLP]
   Inf. Process. Lett., 2002, v:81, n:4, pp:179-185 [Journal]
   
9. Hyunjun Eo, Oukseh Lee, Kwangkeun Yi
   Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. [Citation Graph (0, 0)][DBLP]
   New Generation Comput., 2003, v:22, n:1, pp:- [Journal]
   
10. Oukseh Lee, Hongseok Yang, Kwangkeun Yi
    Static insertion of safe and effective memory reuse commands into ML-like programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:141-178 [Journal]
    
11. Oukseh Lee, Kwangkeun Yi
    Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:4, pp:707-723 [Journal]
    
12. Jin-Woo Jeong, Kyung-Wook Park, Oukseh Lee, Dong-Ho Lee
    Automatic Extraction of Semantic Relationships from Images Using Ontologies and SVM Classifiers. [Citation Graph (0, 0)][DBLP]
    MCAM, 2007, pp:184-194 [Conf]
    
13. 
    Scalable Shape Analysis for Systems Code. [Citation Graph (, )][DBLP]