Oukseh Lee Assistant Professor Dept. of Computer Science & Engineering Hanyang University

Vita

• 2007.9-current: Assistant professor, Dept. of Computer Science & Engineering, Hanyang University
• 2010.7-2011.7: Researcher, Dept. of EECS, Queen Mary University of London
• 2004.9-2007.8: Lecturer, Dept. of Computer Science & Engineering, Hanyang University
• 2003.9-2004.7: Researcher, School of Computer Science & Engineering, Seoul National University
• 2003.8: Ph.D., Department of Computer Science, KAIST

Research Interests

shape analysis, clone checking, string analysis, modular analysis, compile-time gabage collection, type error message

Selected Publications

• Program Analysis for Overlaid Data Structures
  Oukseh Lee, Hongseok Yang, Rasmus Petersen
  International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Snowbird, UT, USA, Springer, July 2011.
• Scalable Shape Analysis for Systems Code
  Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter O'Hearn
  International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Princeton, NJ, USA, Springer, 5128:385-398, July 2008.
  [ pdf ]
• A Practical String Analyzer by the Widening Approach
  Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh
  Asian Symposium on Programming Languages and Systems, Lecture Notes in Computer Science, Sydney, Austrailia, Springer-Verlag, 4729:374-388, November 2006.
  [ pdf ]
• Automatic Verification of Pointer Programs Using Grammar-Based Shape Analysis
  Oukseh Lee, Hongseok Yang, Kwangkeun Yi
  European Symposium on Programming, Lecture Notes in Computer Science, Edinburgh, UK, Springer-Verlag, 3444:124-120, April 2005.
  [ pdf | slides.ppt ]
• Inserting Safe Memory Reuse Commands into ML-like Programs
  Oukseh Lee, Hongseok Yang, Kwangkeun Yi
  International Symposium on Static Analysis, Lecture Notes in Computer Science, San Diego, California, Springer-Verlag, 2694:171-188, June 2003.
  [ pdf | slides.ppt ]
• A Proof Method for the Correctness of Modularized 0CFA
  Oukseh Lee, Kwangkeun Yi, Yunheung Paek
  Information Processing Letters, Elsevier, 81(4):179-185, February 2002.
  [ pdf ]
• Proofs about a Folklore Let-Polymorphic Type Inference Algorithm
  Oukseh Lee, Kwangkeun Yi
  ACM Transactions on Programming Languages and Systems, ACM Press, 20(4):707-723, July 1998.
  [pdf ]

Activities

• SAS 2006 program committee member
• APLAS 2005 program committee member

Courses

• COE222 Introduction To Engineering Design, 2010 2009 2008
• ENE414 Principles of Programming Languages, 2010, 2009, 2008, 2007, 2006, 2005
• CSE309 Compiler Construction, 2009, 2008, 2007, 2006, 2005, 2004
• CSE874 Special Topics on Program Analysis, 2009
• CSE856 Semantics of Programming Languages, 2010, 2009, 2007, 2005
• GEN131 Computer Programming, 2008, 2007
• CIN869 Program Analysis, 2008, 2006
• ECC203 Advanced Programming, 2006, 2005
• CSE845 Principles of Programming Languages, 2005
• ELE427 Information Theory and Cryptography, 2004