Oukseh Lee

According to our database, Oukseh Lee authored at least 15 papers between 1998 and 2012.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2012

A divide-and-conquer approach for analysing overlaid data structures.

Oukseh Lee, Hongseok Yang, Rasmus Petersen

Formal Methods Syst. Des., 2012

2011

Program Analysis for Overlaid Data Structures.

Oukseh Lee, Hongseok Yang, Rasmus Petersen

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2008

Scalable Shape Analysis for Systems Code.

Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Automatic Extraction of Semantic Relationships from Images Using Ontologies and SVM Classifiers.

Jin-Woo Jeong, Kyung-Wook Park, Oukseh Lee, Dong-Ho Lee

Proceedings of the Multimedia Content Analysis and Mining, International Workshop, 2007

2006

A Practical String Analyzer by the Widening Approach.

Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh

Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005

Static insertion of safe and effective memory reuse commands into ML-like programs.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Sci. Comput. Program., 2005

Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Proceedings of the Programming Languages and Systems, 2005

2004

Experiments on the effectiveness of an automatic insertion of memory reuses into ML-like programs.

Oukseh Lee, Kwangkeun Yi

Proceedings of the 4th International Symposium on Memory Management, 2004

2003

Proofs of a Set of Hybrid Let-Polymorphic Type Inference Algorithms.

Hyunjun Eo, Oukseh Lee, Kwangkeun Yi

New Gener. Comput., 2003

Inserting Safe Memory Reuse Commands into ML-Like Programs.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Proceedings of the Static Analysis, 10th International Symposium, 2003

2002

A proof method for the correctness of modularized 0CFA.

Oukseh Lee, Kwangkeun Yi, Yunheung Paek

Inf. Process. Lett., 2002

Inserting Safe Memory Re-use Commands into ML-like Programs.

Oukseh Lee, Hongseok Yang, Kwangkeun Yi

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

An Effect System Combining Alias and Liveness for Explicit Memory Reuse.

Oukseh Lee

Proceedings of the Second Asian Workshop on Programming Languages and Systems, 2001

2000

A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms.

Oukseh Lee, Kwangkeun Yi

Proceedings of the First Asian Workshop on Programming Languages and Systems, 2000

1998

Proofs about a Folklore Let-Polymorphic Type Inference Algorithm.

Oukseh Lee, Kwangkeun Yi

ACM Trans. Program. Lang. Syst., 1998