- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j5 |      | Oukseh Lee, Hongseok Yang, Rasmus Petersen: A divide-and-conquer approach for analysing overlaid data structures. Formal Methods in System Design 41(1): 4-24 (2012) |
| 2011 | ||
| c10 | | Oukseh Lee, Hongseok Yang, Rasmus Petersen: Program Analysis for Overlaid Data Structures. CAV 2011: 592-608 |
| 2008 | ||
| c9 | | Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn: Scalable Shape Analysis for Systems Code. CAV 2008: 385-398 |
| 2007 | ||
| c8 | | Jin-Woo Jeong, Kyung-Wook Park, Oukseh Lee, Dong-Ho Lee: Automatic Extraction of Semantic Relationships from Images Using Ontologies and SVM Classifiers. MCAM 2007: 184-194 |
| 2006 | ||
| c7 | | Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh: A Practical String Analyzer by the Widening Approach. APLAS 2006: 374-388 |
| 2005 | ||
| j4 | | Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Static insertion of safe and effective memory reuse commands into ML-like programs. Sci. Comput. Program. 58(1-2): 141-178 (2005) |
| c6 | | Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP 2005: 124-140 |
| 2004 | ||
| c5 | | Oukseh Lee, Kwangkeun Yi: Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. ISMM 2004: 97-107 |
| 2003 | ||
| j3 | | Hyunjun Eo, Oukseh Lee, Kwangkeun Yi: Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. New Generation Comput. 22(1): 1-36 (2003) |
| c4 | | Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Reuse Commands into ML-Like Programs. SAS 2003: 171-188 |
| 2002 | ||
| j2 | | Oukseh Lee, Kwangkeun Yi, Yunheung Paek: A proof method for the correctness of modularized 0CFA. Inf. Process. Lett. 81(4): 179-185 (2002) |
| c3 |  | Oukseh Lee, Hongseok Yang, Kwangkeun Yi: Inserting Safe Memory Re-use Commands into ML-like Programs. APLAS 2002: 317-333 |
| 2001 | ||
| c2 | | Oukseh Lee: An Effect System Combining Alias and Liveness for Explicit Memory Reuse. APLAS 2001: 133-145 |
| 2000 | ||
| c1 | | Oukseh Lee, Kwangkeun Yi: A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. APLAS 2000: 79-88 |
| 1998 | ||
| j1 | | Oukseh Lee, Kwangkeun Yi: Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. ACM Trans. Program. Lang. Syst. 20(4): 707-723 (1998) |
Colors in the list of coauthors
Last update Sun May 19 09:35:44 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page