Oukseh Lee

Publication Activity (10 Years)

Years Active: 1998-2012
Publications (10 Years): 0

Top Topics

Efficient Data Structures

Top Venues

Formal Methods Syst. Des.

Publications

Oukseh Lee, Hongseok Yang, Rasmus Petersen
A divide-and-conquer approach for analysing overlaid data structures. Formal Methods Syst. Des. 41 (1) (2012)
Oukseh Lee, Hongseok Yang, Rasmus Petersen
Program Analysis for Overlaid Data Structures. CAV (2011)
Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn
Scalable Shape Analysis for Systems Code. CAV (2008)
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)
Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh
A Practical String Analyzer by the Widening Approach. APLAS (2006)
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) (2005)
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. ESOP (2005)
Oukseh Lee, Kwangkeun Yi
Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs. ISMM (2004)
Hyunjun Eo, Oukseh Lee, Kwangkeun Yi
Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms. New Gener. Comput. 22 (1) (2003)
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
Inserting Safe Memory Reuse Commands into ML-Like Programs. SAS (2003)
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
Inserting Safe Memory Re-use Commands into ML-like Programs. APLAS (2002)
Oukseh Lee, Kwangkeun Yi, Yunheung Paek
A proof method for the correctness of modularized 0CFA. Inf. Process. Lett. 81 (4) (2002)
Oukseh Lee
An Effect System Combining Alias and Liveness for Explicit Memory Reuse. APLAS (2001)
Oukseh Lee, Kwangkeun Yi
A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. APLAS (2000)
Oukseh Lee, Kwangkeun Yi
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. ACM Trans. Program. Lang. Syst. 20 (4) (1998)