Oukseh Lee

15 papers A* 2A 1B 5C 1Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2012 J jnl
A divide-and-conquer approach for analysing overlaid data structures.
Formal Methods Syst. Des.
Oukseh Lee, Hongseok Yang, Rasmus Petersen
2011 A* conf
Program Analysis for Overlaid Data Structures.
CAV
Oukseh Lee, Hongseok Yang, Rasmus Petersen
2008 A* conf
Scalable Shape Analysis for Systems Code.
CAV
Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn
2007 — conf
Automatic Extraction of Semantic Relationships from Images Using Ontologies and SVM Classifiers.
MCAM
Jin-Woo Jeong, Kyung-Wook Park, Oukseh Lee, Dong-Ho Lee
2006 B conf
A Practical String Analyzer by the Widening Approach.
APLAS
Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh
2005 A conf
Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.
ESOP
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2005 J jnl
Static insertion of safe and effective memory reuse commands into ML-like programs.
Sci. Comput. Program.
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2004 C conf
Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs.
ISMM
Oukseh Lee, Kwangkeun Yi
2003 B conf
Inserting Safe Memory Reuse Commands into ML-Like Programs.
SAS
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2003 J jnl
Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms.
New Gener. Comput.
Hyunjun Eo, Oukseh Lee, Kwangkeun Yi
2002 J jnl
A proof method for the correctness of modularized 0CFA.
Inf. Process. Lett.
Oukseh Lee, Kwangkeun Yi, Yunheung Paek
2002 B conf
Inserting Safe Memory Re-use Commands into ML-like Programs.
APLAS
Oukseh Lee, Hongseok Yang, Kwangkeun Yi
2001 B conf
An Effect System Combining Alias and Liveness for Explicit Memory Reuse.
APLAS
Oukseh Lee
2000 B conf
A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms.
APLAS
Oukseh Lee, Kwangkeun Yi
1998 J jnl
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm.
ACM Trans. Program. Lang. Syst.
Oukseh Lee, Kwangkeun Yi