Oukseh Lee - RankMe

15 papers A* 2A 1B 5C 1Journal 5Unranked 1

Year	Rank	Type	Title / 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