Oukseh Lee
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
4
Active years
2000–2011
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | CAV | Program Analysis for Overlaid Data Structures. | Oukseh Lee, Hongseok Yang, Rasmus Petersen |
| 2008 | CAV | Scalable Shape Analysis for Systems Code. | Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn |
| 2006 | APLAS | A Practical String Analyzer by the Widening Approach. | Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh |
| 2005 | ESOP | Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis. | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2003 | SAS | Inserting Safe Memory Reuse Commands into ML-Like Programs. | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2002 | APLAS | Inserting Safe Memory Re-use Commands into ML-like Programs. | Oukseh Lee, Hongseok Yang, Kwangkeun Yi |
| 2001 | APLAS | An Effect System Combining Alias and Liveness for Explicit Memory Reuse. | Oukseh Lee |
| 2000 | APLAS | A Generalization of Hybrid Let-Polymorphic Type Inference Algorithms. | Oukseh Lee, Kwangkeun Yi |